Welcome to Philipp G. Haselwarter who joined the Department of Computer Science in June 2020 as a Postdoc. 

Philipp G. Haselwarter has PhD degree from University of Ljubljana (Slovenia) . His research is about the interplay of type theory, proof assistants, and programming languages, and more recently about proofs in cryptography. During his PhD, he has been developing the Andromeda prover, a proof assistant that lets the user define their own type theory, and write programs proving theorems in a meta language based on algebraic effects and handlers à la Eff. 

Philipp will join COBRA working with the project "Research in Designing and Formalizing Cryptographic Protocols" on design and formal verification of composible cryptographic protocols, including consensus protocols.