沈恩绍 教授

沈恩绍，上海交通大学计算机系教授，博士生导师。曾主持二项国家自然科学基金项目：“分划逻辑在计算机科学中的应用”，1995年至1997年，1998年结题时被基金委信息学部专家组评为特优项目；“一类新的时态逻辑框架”，曾在多家著名刊物上发表众多文章。主要研究计算机科学中的逻辑，长期担任ACM班《集合论与数理逻辑》和《计算理论》的主讲教师。