基本信息
浏览量:114
职业迁徙
个人简介
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 founder and CEO of Contemplate icon Contemplate Ltd, a spin-out technology company that is developing tools for programmers to improve the quality of software products.
研究兴趣
论文共 90 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Math. Struct. Comput. Sci.no. 6 (2022): 682-684
Springer eBookspp.205-218, (2021)
引用0浏览0引用
0
0
Undergraduate Topics in Computer ScienceIntroduction to Computationpp.51-59, (2021)
Undergraduate Topics in Computer ScienceIntroduction to Computationpp.169-176, (2021)
Undergraduate Topics in Computer ScienceIntroduction to Computationpp.33-41, (2021)
Undergraduate Topics in Computer ScienceIntroduction to Computationpp.81-88, (2021)
Undergraduate Topics in Computer ScienceIntroduction to Computationpp.43-50, (2021)
Springer eBookspp.1-6, (2021)
引用0浏览0引用
0
0
Undergraduate Topics in Computer ScienceIntroduction to Computationpp.303-322, (2021)
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn