基本信息
浏览量:109
职业迁徙
个人简介
Since August 2008 Peter Müller has been full Professor in Computer Science (since 2003 Assistant Professor for Software Component Technology) at ETH Zurich.
He was born in 1972 in Ingolstadt, Germany. In 1991 he started his studies in Computer Science at the Technical University of Munich, where he finished his undergraduate studies with a Diploma in Computer Science in 1996. From 1996 to 2001 he worked on his Ph.D. with Prof. Arnd Poetzsch-Heffter as supervisor, first at the Technical University Munich and later at the University of Hagen. In 2001 he received the title Dr. rer. nat. from the University of Hagen with a dissertation on "Modular Specification and Verification of Object-Oriented Programs". Before joining ETH, Peter Müller worked as an IT project manager at Deutsche Bank in Frankfurt. From June 2007 to July 2008, he held a position as Researcher at Microsoft Research, Redmond.
The objective of Peter Müller-s research is to enable programmers to develop correct software. To achieve this goal, he works on programming languages, methods, and tools.
研究兴趣
论文共 198 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Electronic Proceedings in Theoretical Computer Science (2024)
Proceedings of the ACM on Programming Languagesno. PLDI (2023): 1414-1437
引用0浏览0EI引用
0
0
PROCEEDINGS OF THE 2023 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2023 (2023): 1377-1391
CoRR (2023)
引用0浏览0EI引用
0
0
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn