Me

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 semantics, domain theory, nominal sets, concurrency and category theory. In particular I am investigating the domain theory of 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.


Publications


Talks and Presentations


Supervisions

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

LinkedIn Profile
Xing Profile
Gates Cambridge Profile