I teach functional programming and software engineering at the OST Eastern Switzerland University of Applied Science and am a co-organiser of ZuriHac.

I have an interest and background in programming languages, formal methods, logic, proof assistants and algorithm design. With regards to functional programming, I had been using SML and OCaml prior to switching over to Haskell.