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

• S. Lösch and A. 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

• Trinity College Science Society symposium, Programming Language Semantics, March 2012
• Gates Scholars Internal Symposium, Programs That Cannot Exist, February 2012
• 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:

• Denotational Semantics in Lent 2012
• Types in Michaelmas 2011
• Semantics of Programming Languages in Lent 2011
• Types in Michaelmas 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