Dr. Johan Glimming
Visiting Research Fellow (Postdoc), Programming, Logic,
and Semantics Group
Research Associate, Darwin College
Contact
Dr. Johan Glimming
University of
Cambridge
Computer Laboratory
William Gates Building
15 JJ Thomson Avenue
Cambridge CB3 0FD, UK
Office: FS15
Tel: +44 785 5280539 (main)
+46 70 6690966 (cellular, Sweden)
+46 18 460046 (home, Sweden)
Fax: +44 1223 334678
Email: Johan.Glimming at cl cam ac uk
PGP public key
Research
My postdoctoral research is funded by the Swedish Research Council (VR, the Swedish equivalent of EPSRC) and so follows a specific project plan). The hosts for this project are Prof. Andy Pitts and Dr. Marcelo Fiore.
Personal
I am a Swedish citizen and I received my Doctorate Degree from Stockholm University in January 2008. My examiners were Prof. Bjorn Lisper (MDH), Dr. Mads Dam (KTH), and Prof. Erik Palmgren (UU). My opponent at the public defence was Dr. John Power (Bath). I received my MSc from University of Oxford (Mathematics and the Foundations of Computer Science) and my
BSc from Uppsala University (Computer Science).
|
