Welcome
I am a senior researcher at the Logic and Semantics group of the Institute of Cybernetics in Tallinn, Estonia. My main research interests are functional programming, logic, type theory, and category theory. I am the main force behind the Grapefruit project. Please have a look at the list of my publications and talks and the software I am developing.