Some information about me

I'm a PhD candidate at the University of Cambridge under the supervision of Prof Glynn Winskel and Prof Andrew M. Pitts. We are part of the Programming, Logic and Semantics Group in the Computer Laboratory. Furthermore, I am member of Trinity College, take part in its BA Society, and I am very grateful for being a Gates Cambridge Scholar.

My research lies somewhere in between concurrency, category theory, denotational semantics and nominal sets. In particular I am investigating a denotational semantics for the process language HOPLA enhanced with a name-generation construct.

I hold a BSc in Computer Science from Saarland University, where I worked in the MIA group, and I also hold a MPhil in Advanced Computer Science from Cambridge. Not to forget, I gratefully acknowledge the support I received from the Studienstiftungs des deutschen Volkes during both degrees.


Talks and Presentations


At the University of Cambridge: At Saarland University:

Contact Details

University of Cambridge
Computer Laboratory
15 JJ Thomson Avenue
Cambridge CB3 0FD
United Kingdom

Telephone: +44 (0)1223 3 34420

Email: Steffen [dot] Loesch [at] cl [dot] cam [dot] ac [dot] uk

Gates Profile
Facebook Profile
LinkedIn Profile
Xing Profile