Carsten Varming

Office: Wean Hall 8112
Mail address:
CMU CSD Wean Hall 4212
5000 Forbes Avenue
Pittsburgh PA 15213
USA
homepage
email: my email address as an image

Cell US: +1 412-805-2055
Phone DK: +45 46 94 93 44
Cell DK: +45 24 41 04 89

Personal

I am a second 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. Currently I am working on issues regarding total validity in concurrent separation logic. I have a short list of publications.

Collaborators

I have been working with

Pictures of mathematicians

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

Random stuff

Some of my friends have web sites:

I try to bike as much as possible either by myself or in the crowd of

I also participate in the ConCert Reading Group and in the Monday tea session organized by Kami Vaniea.

I have lived in Denmark most of my life and there are a few differences between Denmark and the US. Eg. the US lacks consumer protection. Here is a list of the annoying things.

In the department I am part of Dec Five and I refill the coke machine every second week.