Steffen Lösch

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.

Publications

• 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

Talks and Presentations

• Junior Category Theory Seminar, Approximation in Domain Theory, March 2013
• Trinity Mathematical Society Symposium, Programming Languages, Treated Formally, February 2012
• 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

Supervisions

At the University of Cambridge:

• 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

At Saarland University:

• 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

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