Draft:Peter Müller
| Submission declined on 12 June 2024 by Aplucas0703 (talk). This submission's references do not show that the subject qualifies for a Wikipedia article—that is, they do not show significant coverage (not just passing mentions) about the subject in published, reliable, secondary sources that are independent of the subject (see the guidelines on the notability of people). Before any resubmission, additional references meeting these criteria should be added (see technical help and learn about mistakes to avoid when addressing this issue). If no additional references exist, the subject is not suitable for Wikipedia. The content of this submission includes material that does not meet Wikipedia's minimum standard for inline citations. Please cite your sources using footnotes. For instructions on how to do this, please see Referencing for beginners. Thank you.
Where to get help
How to improve a draft
You can also browse Wikipedia:Featured articles and Wikipedia:Good articles to find examples of Wikipedia's best writing on topics similar to your proposed article. Improving your odds of a speedy review To improve your odds of a faster review, tag your draft with relevant WikiProject tags using the button below. This will let reviewers know a new draft has been submitted in their area of interest. For instance, if you wrote about a female astronomer, you would want to add the Biography, Astronomy, and Women scientists tags. Editor resources
|  |
Comment: Please check notability guidelines before re-submission. Sources must be directly about the subject. aaronneallucas (talk) 03:05, 12 June 2024 (UTC)
Dr. rer. nat. Peter Müller | |
|---|---|
| Nationality | Swiss, German |
| Alma mater |
|
| Scientific career | |
| Fields | |
| Institutions | ETH Zurich |
| Thesis | Modular Specification and Verification of Object-Oriented Programs (2001) |
| Doctoral advisor | Arnd Poetzsch-Heffter |
| Website | https://www.pm.inf.ethz.ch/people/personal/pmueller-pers.html |
Peter Müller is a Swiss computer scientist and professor at ETH Zurich. He has been a Full Professor at the Department of Computer Science and head of the Programming Methodology group since 2008. His research focuses on languages, techniques, and tools for the development of correct software. Notable work includes Viper, an infrastructure for reasoning about the correctness of heap-manipulating programs. Previously, he held positions as Researcher at Microsoft Research in Redmond, Assistant Professor at ETH Zurich, and Project Manager at Deutsche Bank in Frankfurt.
Research[edit]
Peter Müller centers his research on modular specification and verification of heap-manipulating programs. Early work was on Chalice, a programming language and verifier for concurrent programs, which was developed together with K. Rustan M. Leino. Later on, Peter Müller worked on Viper[1], which got first published in 2016[2] and is actively maintained and regularly extended. In contrast to Chalice, Viper is an intermediate programming language aimed at verification and a suite of tools to verify Viper programs. By natively providing support for reasoning about mutable state using permissions or ownership (i.e. separation logic), Viper is designed to make it easy to implement verification techniques for sequential and concurrent programs with mutable state. In particular, Viper is used as a backbone in several program verifiers including Gobra[3] for Go, Nagini[4] for Python, Prusti[5] for Rust, and VerCors for C and Java.
References[edit]
- ^ "Viper". Retrieved 11 June 2024.
- ^ Müller, Peter; Schwerhoff, Malte; Summers, Alexander J. (2016). Viper: A Verification Infrastructure for Permission-Based Reasoning. Verification, Model Checking, and Abstract Interpretation (VMCAI). Springer-Verlag. pp. 41–62. doi:10.1007/978-3-662-49122-5_2.
- ^ Wolf, Felix A.; Arquint, Linard; Clochard, Martin; Oortwijn, Wytse; Pereira, João C.; Müller, Peter (2021). Gobra: Modular Specification and Verification of Go Programs. Computer Aided Verification (CAV). Springer International Publishing. doi:10.1007/978-3-030-81685-8_17.
- ^ Eilers, Marco; Müller, Peter (2018). Nagini: A Static Verifier for Python. Computer Aided Verification (CAV). Springer International Publishing. pp. 596–603. doi:10.1007/978-3-319-96145-3_33.
- ^ Astrauskas, Vytautas; Müller, Peter; Poli, Federico; Summers, Alexander J. (2019). Leveraging Rust Types for Modular Specification and Verification. Object-Oriented Programming Systems, Languages, and Applications (OOPSLA). Association for Computing Machinery. doi:10.1145/3360573.
Category: 1972 births Category:Living people Category:Swiss computer scientists Category:German computer scientists