Varmo Vene

Address: Liivi 2, 50409 Tartu, Estonia
Office: 215
Phone: +372 737 5870
Fax: +372 737 5468

I am a professor in the Department of Computer Science at University of Tartu. Until the end of 2011, I was also affiliated with the Institute of Cybernetics at Tallinn. From August 2001 to July 2002, I was on leave at the Computer Science Department of Trier University where I contributed to the Daedalus project.

My research interests include semantics of programming languages, methods of program construction and transformation, static analysis of programs, functional programming, type theory, category theory. My favourite programming language is Haskell.

Links to some of my publications appear on another page.

Professional activities


Last update 4 Sep 2014