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.

- PhD Thesis: Program Equivalence in Functional Metaprogramming via Nominal Scott Domains, submitted May 19th, 2014
- Steffen Lösch and Andrew M. Pitts, Denotational Semantics with Nominal Scott Domains, Journal of the ACM (JACM), July 2014, Volume 61 Issue 4, pages 27:1-27:46
*(ACM, 2014. This is the authors version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution.)* - Steffen Lösch and Andrew M. Pitts, Full Abstraction for Nominal Scott Domains, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2013), January 2013, Rome, Italy, pages 3-14
*(ACM, 2013. This is the authors version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution.)* - Steffen Lösch and Andrew M. Pitts, Relating Two Semantics of Locally Scoped Names, Proceedings of the 20th Conference on Computer Science Logic (CSL 2011), September 2011, Bergen, Norway, pages 396-411
- MPhil Thesis: The Semantics of Functions with Locally Scoped Names, submitted June 8th, 2010
- BSc Thesis: Depth from Blur - Combining Image Deblurring and Depth Estimation, submitted July 24th, 2009

- Dagstuhl Seminar: Nominal Computation Theory, Concurrent Domain Theory with Nominal Sets, October 2013
- Junior Category Theory Seminar, Approximation in Domain Theory, March 2013
- Trinity Mathematical Society Symposium, Programming Languages, Treated Formally, February 2013
- Joint Mathematics and Computer Science Seminar, Introduction to Domain Theory, February 2013
- 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2013), Full Abstraction for Nominal Scott Domains, January 2013
- Leicester Computer Science PhD Seminar, Semantics for a Pure, Functional Programming Language with Names, November 2012
- Computer Laboratory Semantics Lunch, Full Abstraction for PCF with Names, November 2012
- Leicester Computer Science PhD Seminar, Semantics for a Pure, Functional Programming Language with Names, November 2012
- Fraenkel-Mostowski Methods Reading Group, FM Models in Computer Science, November 2012
- Trinity College Science Society symposium, Programming Language Semantics, March 2012
- Gates Scholars Internal Symposium, Programs That Cannot Exist, February 2012
- Conference on Computer Science Logic (CSL 2011), Relating Two Semantics of Locally Scoped Names, September 2011
- Computer Laboratory Semantics Lunch, Relating Two Semantics of Locally Scoped Names, August 2011
- Oregon Programming Languages Summer School Student Session, Denotational Semantics for Concurrency, June 2011

- Topics in Concurrency in Lent Term 2013
- Semantics of Programming Languages in Easter Term 2012
- Denotational Semantics in Lent Term 2012
- Types in Michaelmas Term 2011
- Semantics of Programming Languages in Lent Term 2011
- Types in Michaelmas Term 2010

- Differential Equations in Image Processing and Computer Vision in SS 2009
- Mathematics for Computer Scientists 1 in WS 2008/09
- Mathematics for Computer Scientists 2 in SS 2008
- Programming 1 in WS 2007/08

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