基本信息
浏览量:843
职业迁徙
个人简介
Research Interests
Specification and automated validation and verification of software systems.
Dwyer joined UNL in 2004. He was named a Distinguished Scientist by the ACM in 2007 and a Fellow by the IEEE in 2012.
Honors
Robert Thomson Distinguished Professor in Engineering and Applied Science, University of Virginia, 2020
- present
ACM Fellow, 2019
ACM SIGSOFT Distinguished Service Award, 2019
CICS Outstanding Alumni Achievement in Research Award, University of Massachusetts at Amherst, 2019
David Lorge Parnas Fellow, Lero - The Irish Software Research Centre, 2018
ACM SIGSOFT ESEC/FSE Test of Time Award, 2018
John C. Knight Faculty Fellow, University of Virginia, 2018 - 2020
ACM Distinguished Paper Award, SIGSOFT, ICSE, 2016
Leonard A. Lovell Professor of Engineering, University of Nebraska, 2014 - 2018
ACM Distinguished Paper Award, SIGSOFT, ISSTA, 2013
IEEE Fellow, 2013
Fulbright Research Scholar (University of Stellenbosch, South Africa), 2011
ACM SIGSOFT Impact Paper Award, 2010
International Conference on Software Engineering Most Influential Paper Award, 2010
ACM Distinguished Scientist, 2007
ACM Distinguished Paper Award, SIGSOFT, FSE, 2006
Henson Professor of Software Engineering, University of Nebraska, 2004 - 2014
NASA Turning Goals into Reality Award, for contributions to the Java PathFinder Model Checker, 2003
Research Excellence Award, College of Engineering, Kansas State University, 2000
NSF Faculty Early Career Development Award, 1997
University of Massachusetts at Boston, Computer Science Outstanding Graduate Student Award, 1989
Specification and automated validation and verification of software systems.
Dwyer joined UNL in 2004. He was named a Distinguished Scientist by the ACM in 2007 and a Fellow by the IEEE in 2012.
Honors
Robert Thomson Distinguished Professor in Engineering and Applied Science, University of Virginia, 2020
- present
ACM Fellow, 2019
ACM SIGSOFT Distinguished Service Award, 2019
CICS Outstanding Alumni Achievement in Research Award, University of Massachusetts at Amherst, 2019
David Lorge Parnas Fellow, Lero - The Irish Software Research Centre, 2018
ACM SIGSOFT ESEC/FSE Test of Time Award, 2018
John C. Knight Faculty Fellow, University of Virginia, 2018 - 2020
ACM Distinguished Paper Award, SIGSOFT, ICSE, 2016
Leonard A. Lovell Professor of Engineering, University of Nebraska, 2014 - 2018
ACM Distinguished Paper Award, SIGSOFT, ISSTA, 2013
IEEE Fellow, 2013
Fulbright Research Scholar (University of Stellenbosch, South Africa), 2011
ACM SIGSOFT Impact Paper Award, 2010
International Conference on Software Engineering Most Influential Paper Award, 2010
ACM Distinguished Scientist, 2007
ACM Distinguished Paper Award, SIGSOFT, FSE, 2006
Henson Professor of Software Engineering, University of Nebraska, 2004 - 2014
NASA Turning Goals into Reality Award, for contributions to the Java PathFinder Model Checker, 2003
Research Excellence Award, College of Engineering, Kansas State University, 2000
NSF Faculty Early Career Development Award, 1997
University of Massachusetts at Boston, Computer Science Outstanding Graduate Student Award, 1989
研究兴趣
论文共 264 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
CoRR (2024)
引用0浏览0EI引用
0
0
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGYno. 3 (2024): 76:1-76:36
2024 IEEE International Symposium on Biomedical Imaging (ISBI)pp.1-5, (2024)
ICSE '24 Proceedings of the IEEE/ACM 46th International Conference on Software Engineeringpp.1-13, (2024)
Proceedings of the ACM on Software Engineeringno. FSE (2024): 859-881
ICSE '24 Proceedings of the IEEE/ACM 46th International Conference on Software Engineeringpp.1-13, (2024)
International Conference on Tools and Algorithms for Construction and Analysis of Systemspp.24-44, (2024)
ACM Transactions on Software Engineering and Methodologyno. 3 (2023): 1-48
2023 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, ICRApp.901-908, (2023)
加载更多
作者统计
#Papers: 266
#Citation: 12839
H-Index: 49
G-Index: 106
Sociability: 6
Diversity: 2
Activity: 35
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn