Проф. Петер Мюлер

Изследванията на проф. Петер Мюлер са фокусирани върху конструирането и анализа на надеждни и сигурни софтуерни системи. Той разработва теоретични основи, както и практически полезни техники и инструменти за писане, специфициране и проверка на програми. По-голямата част от работата му е фокусирана върху автоматизирана дедуктивна проверка, но той също така разработва и използва типови системи, статични анализи, автоматично генериране на тестови случаи и интерактивни теоремни доказателства. Неговата група е разработила инфраструктурата за проверка Viper за автоматизиране на доказателства в логиката на разделяне и я е използвала за разработване на зрели верификатори за Go, Python и Rust. Някои от тези инструменти се прилагат в мащабни проекти за проверка, например, проверката на SCION – интернет архитектура от следващо поколение.
Петер Мюлер е редовен професор по компютърни науки в ETH Zurich от 2008 г. Преди това е заемал длъжности в Microsoft Research, ETH Zurich и Deutsche Bank. Той е съосновател и член на Съвета на директорите на Anapaya Systems. Получава докторската си степен от University of Hagen. Петер Мюлер е заместник-председател на работната група 2.3 на IFIP за методология на програмирането и член-основател на работната група 1.9/2.15 за проверка на софтуер. Той е член на редакционния съвет на ACM Transactions on Programming Languages and Systems, Journal of Automated Reasoning, Science of Computer Programming и Software Testing, Verification and Reliability.