所在地：上海上海市 入职年份： 资料待完善 学历： 硕士 毕业院校： 资料待完善 工作单位： 资料待完善
从事领域软件,人工智能
研究方向计算机软件与理论；人工智能，计算机软件方法，软件工程
2016,缪淮扣,男,1953年生,教授,博士生导师,中国计算机学会(CCF)高级会员,主要研究领域为形式化方法、软件工程.;LU Gong-Zheng,born in 1981,Ph.D.,lecturer.His current research interests include formal methods and software testing.;MIAO Huai-Kou,born in 1953,professor,Ph.D. supervisor. His current research interests include formal methods and software engineering2015,缪淮扣,男,1953年生,教授,博士生导师,CCF高级会员,研究方向为软件工程、软件形式化方法2014,缪淮扣(1953-),男,教授,博士生导师,主要研究方向为软件工程、软件形式化、软件测试、模型检验;2012,缪淮扣,男,1953年生,教授,博士生导师,研究方向为软件工程、软件形式化方法2011,缪淮扣,教授,博导,研究方向:软件工程、形式化方法,E-mail:hkmiao@shu.edu.cn2010,缪淮扣,教授,博导,研究方向:软件形式方法,E-mail:hkmiao@shu.edu.cn 通信作者2009,缪淮扣,教授,博导,研究方向:软件工程、软件形式方法、软件建模,E-mail:hkmiao@shu.edu.cn2008,缪淮扣(1953-),男,江苏淮阴人,1986年毕业于上海科技大学计算机科学系,获计算机应用工学硕士学位.目前是上海大学计算机学院副院长,教授,博士生导师,主要研究领域为软件工程,软件测试自动化等.2007,缪淮扣,通信作者,教授,博导,研究方向:软件形式方法、软件工程、软件测试,E-mail:hkmiao@shu.edu.cn2006,缪淮扣,教授,博导,研究方向:软件形式化方法、软件工程,E-mail:hkmiao@staff.shu.edu.cn2005,缪淮扣,通信作者,(1953～),男,教授,博士生导师,研究方向为软件工程.E-mail:hkmiao@mail.shu.edu.cn吴恒(1983-),男,博士,副研究员,CCF专业会员,主要研究领域为分布式系统,云计算.
