Peter Müller (informático)

Peter Müller (nacido en 1972) es un científico informático alemán y catedrático de Informática en la ETH Zúrich , donde dirige el Grupo de Metodología de la Programación. Su investigación se centra en la verificación de programas, los métodos formales y los lenguajes de programación.

Müller obtuvo su doctorado en 2001 en la Universidad de Hagen . Antes de incorporarse a la ETH Zúrich en 2003, trabajó en Microsoft Research en Redmond y en Deutsche Bank en Fráncfort. Fue ascendido a catedrático en 2008 y dirigió el Instituto de Lenguajes y Sistemas de Programación de 2017 a 2020. ^{[ 1 ]}

El trabajo de Müller es conocido por desarrollar el conjunto de herramientas Viper (Verification Infrastructure for Permission-based Reasoning), que automatiza las pruebas de corrección de software y se basa en la lógica de separación . ^{[ 2 ]} Müller es vicepresidente del Grupo de Trabajo 2.3 de IFIP sobre Metodología de Programación ^{[ 3 ]} y miembro fundador del grupo de trabajo 1.9/2.15 sobre Verificación de Software. ^{[ 4 ]} Forma parte del consejo editorial de ACM Transactions on Programming Languages ​​and Systems , Journal of Automated Reasoning, Science of Computer Programming y Software Testing, Verification and Reliability ^{[ 5 ]} También es cofundador y miembro del Consejo de Administración de Anapaya Systems, ^{[ 6 ]} que comercializa la arquitectura de Internet SCION.

• 2025: Miembro de la Association for Computing Machinery (ACM) ^{[ 7 ] [ 8 ]}
• 2025: Premio ETAPS a la trayectoria ^{[ 9 ] [ 10 ]}

• Grupo de Metodología de Programación de la ETH Zúrich
• Sistemas Anapaya