163 reputation
bio website wolfgang.jeltsch.info
location Tallinn, Estonia
visits member for 3 years
seen Feb 19 '14 at 15:20
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 Votes Cast

all time   by type  
9 up 1 question
0 down 8 answer