Varmo Vene

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Varmo Vene

Varmo Vene Senior Researcher


Address:	Liivi 2, 50409 Tartu, Estonia
Office:	330
Phone:	+372 737 5429
Fax:	+372 737 5468
Email:	varmo@cs.ut.ee

I am a senior researcher in the Department of Computer Science at University of Tartu. On part-time basis, I am 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

EWSCS'05: 10th Estonian Winter School in Computer Science, Palmse, Feb 27 - March 4, 2005.
Teooriapäevad Kokel, Feb 4-6, 2005.
Teooriapäevad Veskisillal, Oct 1-3, 2004.
AFP'04: 5th Advanced Functional Programming Summer School, Tartu, Aug 14-21, 2004.
APPSEM'04: 2nd APPSEM II Workshop, Tallinn, April 14-16, 2004.
EWSCS'04: 9th Estonian Winter School in Computer Science, Palmse, Feb 29 - March 5, 2004.
Teooriapäevad Kokel, Jan 30 - Feb 1, 2004.
Teooriapäevad Pedasel, Oct 3-5, 2003.
EWSCS'03: 8th Estonian Winter School in Computer Science, Palmse, March 2-7, 2003.
Teooriapäevad Arulas, Feb 3-5, 2003.
Teooriapäevad Roostal, Oct 16-17, 2002.
EWSCS'99: 4th Estonian Winter School in Computer Science, Palmse, Feb 28 - March 4, 1999.
EWSCS'96: New Trends in Computer Science and Information Technology, Pühajärve, March 3-8, 1996.

Teaching

Last update 7 Feb 2004