Section Algorithms and Logic
Department of Informatics and Mathematical Modelling
Technical University of Denmark
Bld. 321, Richard Petersens Plads
DK-2800 Kgs. Lyngby, Denmark

Office: 127 / Building 322
Tel: (+45) 45 25 33 76
Fax: (+45) 45 93 00 74

I am, therefore I think.