Carsten Varming
Office: GHC 6505
Mail address:
CMU CSD
5000 Forbes Avenue
Pittsburgh PA 15213
USA
homepage
email:
Cell US: +1 412-805-2055
Phone DK: +45 89 93 76 40
Cell DK: +45 52 60 66 05
Personal
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
.
Research
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.