Skip to content. | Skip to navigation

Personal tools


You are here: Home


Welcome to the website of Wolfgang Jeltsch.

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.