基本信息
浏览量:27
职业迁徙
个人简介
Donald Sannella received his B.S. from Yale University in 1977, his M.S. from the University of California at Berkeley in 1978 and his Ph.D. from Edinburgh University in 1982, all in Computer Science. Since 1981 he has been employed by Edinburgh University, until 1985 as a Research Fellow at the Department of Computer Science, from 1985 to 1989 as Lecturer at the Departments of Computer Science and Artificial Intelligence, from 1989 to 1998 as Reader at the Department of Computer Science and since 1998 as Professor of Computer Science in the Laboratory for Foundations of Computer Science within the School of Informatics. From January to September 1990 he was a Professor at Universität Bremen. From October 1992 to September 1997 he held a 5-year EPSRC Advanced Fellowship which relieved him of his teaching and administrative obligations to allow him to concentrate on research, and during 1998 he held a similar 1-year fellowship from the Royal Society of Edinburgh.
His research interests include functional languages (development of HOPE and Standard ML), algebraic specification languages (CLEAR, ASL, Extended ML, CASL), mechanised reasoning, foundations for algebraic specification and formal software development including correctness of modular systems, and applying these foundations to the practical development of modular software systems from specifications. His recent research has focused on security and static analysis with a specific emphasis on resource certification for mobile code. He is a director of Contemplate Ltd, a spin-out technology company that is developing tools for programmers to improve the quality of software products.
He has published more than 60 papers in journals and international conferences and has held a series of grants since 1985 for research projects in the area of verification and formal development of programs. He has served on the programme committee of 45 international conferences and was programme chair of ESOP'94 and track B of ICALP 2004, and general chair of CAAP/ESOP/CC'94 and ETAPS 2005 in Edinburgh. He is editor-in-chief of the journal Theoretical Computer Science (responsible for part B: Logic, Semantics and Theory of Programming) and an editor of Electronic Notes in Theoretical Computer Science. He is Vice President of the European Association for Theoretical Computer Science and represents EATCS on the steering committee of the ETAPS conference series, having served as ETAPS steering committee chairman from its inception in 1995 until 2001 and then treasurer until 2008. Sixteen Ph.D. theses have been completed under his supervision; two of these won the British Computer Society's prestigious Distinguished Dissertation award. From 1996 to 1999 he was Director of LFCS and he is a founding member of IFIP WG1.3 "Foundations of System Specification". He is currently Head of the Informatics Graduate School in Edinburgh with overall responsibility for PhD education.
研究兴趣
论文共 102 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
user-5e9d449e4c775e765d44d7c9(2018)
引用0浏览0引用
0
0
semanticscholar(2018)
引用13浏览0引用
13
0
semanticscholar(2017)
引用0浏览0引用
0
0
semanticscholar(2016)
Lecture Notes in Computer Science (2015): 361-379
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technologyno. 3-5 (2014): 252-273
Specification, Algebra, and Softwarepp.66-91, (2014)
加载更多
作者统计
#Papers: 104
#Citation: 3744
H-Index: 30
G-Index: 60
Sociability: 5
Diversity: 2
Activity: 0
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn