Johan Glimming, Fil. Lic

Paradoxes are not only sources of frustration.
They can also lead to great insight. - Jon Barwise (1996)

How to reach me

Visiting: Room 1446, Osquars backe 2, KTH
Work: Johan Glimming Kungl Tekniska Högskolan NADA, CSC 100 44 Stockholm Sweden	Office: +46-8-7909289 Cellular: +46-70-6690966 Home: +46-18-460046 Work Fax: +46-8-7900930 Email: glimming-AT-kth.se (replace "-AT-" by "@") (PGP public key)

---

I am a PhD student in computer science in the theoretical computer science group at Nada, CSC.

Research area: mathematical semantics of programming languages (particularly domain theoretic and (co)algebraic); recursion principles on higher-order datatypes with applications to object-based programs

Capsule Biography: I received my MSc from University of Oxford, Maths Institute, and my BSc from Uppsala University. In 2002, I got a PhD position at Stockholm University and since then I have been conducting research in denotational semantics and (co)algebra, with supervisor Professor Karl Meinke. I received my Licentiate Degree (Fil. Lic.) in 2005 (opponent: Tarmo Uustalu), and have since then proceeded in my research towards the PhD, which is soon to be submitted.

Taught Courses: Advanced Functional Programming 2D1456 (graduate/D-level) January-March 2007 March-May 2006 April-May 2005 Previous courses: OAD 2003, Prutte 2004, etc.

Miscellaneous: Pendel: U→   ←S Seminars at NADA (also Uppsala) Logic seminars Uppsala/Stockholm Visiting etc: KTH campus map Uppsala map and daily photo

Valuta | People in Logic/CS | Google Scholar | Citeseer | Samsok | e-KTHB | Springer LINK | Science Direct/TCS | LNCS