I am a senior researcher at the Logic and Semantics group of the TTÜ Küberneetika Instituut 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 on functional reactive programming (FRP) and its theoretical foundations.
9 Pushouts in the category of adjunctions Jan 22 '14
6 product operation: name and notation Aug 11 '12
1 Exponentials in functor categories Aug 6 '12
0 Notable mathematics during World War II Aug 29 '12