缪淮扣

个人简介

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 engineering
2015,缪淮扣,男,1953年生,教授,博士生导师,CCF高级会员,研究方向为软件工程、软件形式化方法
2014,缪淮扣(1953-),男,教授,博士生导师,主要研究方向为软件工程、软件形式化、软件测试、模型检验;
2012,缪淮扣,男,1953年生,教授,博士生导师,研究方向为软件工程、软件形式化方法
2011,缪淮扣,教授,博导,研究方向:软件工程、形式化方法,E-mail:hkmiao@shu.edu.cn
2010,缪淮扣,教授,博导,研究方向:软件形式方法,E-mail:hkmiao@shu.edu.cn 通信作者
2009,缪淮扣,教授,博导,研究方向:软件工程、软件形式方法、软件建模,E-mail:hkmiao@shu.edu.cn
2008,缪淮扣(1953-),男,江苏淮阴人,1986年毕业于上海科技大学计算机科学系,获计算机应用工学硕士学位.目前是上海大学计算机学院副院长,教授,博士生导师,主要研究领域为软件工程,软件测试自动化等.
2007,缪淮扣,通信作者,教授,博导,研究方向:软件形式方法、软件工程、软件测试,E-mail:hkmiao@shu.edu.cn
2006,缪淮扣,教授,博导,研究方向:软件形式化方法、软件工程,E-mail:hkmiao@staff.shu.edu.cn
2005,缪淮扣,通信作者,(1953～),男,教授,博士生导师,研究方向为软件工程.E-mail:hkmiao@mail.shu.edu.cn吴恒(1983-),男,博士,副研究员,CCF专业会员,主要研究领域为分布式系统,云计算.