缪淮扣

缪淮扣，教授、博士生导师。1986年毕业于上海科技大学计算机科学系，获计算机应用工学硕士学位；并继续留校工作。1987年任讲师；1990年晋升为副教授；1997年晋升为教授；1991年至1998年期间任计算机科学系副系主任；2005.3-2011.8任上海大学计算机工程与科学学院副院长，是享受政府特殊津贴的专家。

1992年10月至1995年1月由国家公派在英国York大学做访问学者。曾担任上海市南市区第四届科协常委、上海市南市区计算机学会理事长，上海市黄浦区第一届科协常委、上海市黄浦区计算机学会理事长。现任教育部软件工程专业教学指导分委员会委员、中国软件行业协会理事、中国计算机学会系统软件专业委员会委员、上海大学学术委员会委员。

研究方向：自动推理、软件形式方法、软件工程。先后主持完成了多项国家自然科学基金项目和国家高技术研究发展计划（863计划）、近20项上海市级科研项目和企业项目；参加国家973课题2个。1990年获上海市科技进步三等奖（第2完成人）；2003年获上海市科技进步三等奖（第1完成人）。发表论文200余篇，出版著作7部。是ICFEM2002和ICIS2009国际会议的程序委员会主席，多次担任国际和国内学术会议的程序委员和分会主席。已培养博士20人，硕士50人。1992年获国家教委颁发霍英东教育基金会优秀青年教师奖；1991年获上海市高校（首届）优秀青年教师称号；1999年、2001年两次获上海市“育才”奖； 2005年获宝钢教育基金优秀教师奖。