Carsten Varming

Carsten Varming

Office: GHC 6505
Mail address:
5000 Forbes Avenue
Pittsburgh PA 15213
email: my email address as an image
Cell US: +1 412-805-2055
Phone DK: +45 89 93 76 40
Cell DK: +45 52 60 66 05


I am a forth year PhD Student in the POP group of the Computer Science Department at Carnegie Mellon University. I am advised by John C. Reynolds and Stephen D Brookes. I used to live in Copenhagen, Denmark where I am affiliated with DIKU and the PLS group at ITU. In 2004 I lived in Wellington, New Zealand studying at Victoria University of Wellington.


I am interested in Logic and Programming Languages with nice properties. I am truly happy when I see them together. I have a short list of publications.

Pictures of mathematicians

Sometimes it is nice to associate a name with a picture.

Valid XHTML 1.1! Valid CSS!