PhD Candidate / Researcher / Assistent
Fakulteta za matematiko in fiziko
University of Ljubljana
Office 4.27
Jadranska 21, SI-1000 Ljubljana
philipp at haselwarter . org


My name is Philipp Haselwarter, I’m a doctoral student at the faculty of mathematics in Ljubljana. My advisor is Andrej Bauer. My research is about the interplay of type theory, proof assistants, and programming languages. During my PhD, I have 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.

Outside of research I like to climb plastic walls (no higher than four meters) and dance.

This site is under construction