2019年8月7-9日，杨子江教授在上海科技大学信息科学与技术学院讲授逻辑与形式化方法课程。该课程由中国计算机协会主办，上海科技大学与复旦大学联合承办，CCF形式化方法专委会提供支持。据悉，本次课程面向全国高等院校高年级本科生、研究生、青年教师和少量产业界人士进行招生，共有200名左右学员报名参加。
杨子江教授与课程学员合影留念（一排正中）
杨子江教授，深信科创创始人，曾分别从中国科学技术大学，美国赖斯大学(Rice University)及宾夕法尼亚大学(University of Pennsylvania)获得学士，硕士及博士学位。曾供职于NEC美国研究院及贝尔实验室。获得2018 ACM SIGSOFT Distinguished Paper Award, 2018 Google Engagement Award, 2010 PADTAD best paper award, 2008 ACM TODAES best paper award and the 2008 CEAS outstanding new researcher award等奖项。担任中美科学基金评委，美国能源部小企业基金评委，2019年IEEE软件测试验证会议主席等职。
随着信息技术的广泛应用，特别是信息技术与物理世界和人类社会的高度融合，整个社会的信息化程度不断提高，人们对计算机系统的可靠性与安全性提出了更高的要求。计算机系统的错误及安全隐患影响到生命财产安全。形式化方法是保证计算机系统正确性和安全性的一种重要方法，其采用数学（逻辑）证明的手段对计算机系统进行建模、规约、分析、推理和验证。在此背景下，中国计算机学会（CCF）特邀杨子江教授参与CCF龙星计划，讲授计划逻辑与形式化方法课程。CCF龙星计划，是中国计算机学会主办，不定期邀请在美国学术界已有一定成就的华人华侨，回国就某一领域系统地讲授一门美国研究生课程（每门课程15-30课时），同时就所讲课程的学术问题与国内相关领域研究人员共同探讨的系列活动。
