Jan Schwinghammer: Teaching

Programming Systems

Jan Schwinghammer

Publications

Teaching

Contact

Students

I'm happy to supervise Bachelor or Master's theses in the area of logics and semantics of programming languages. Please contact me if you're interested.

• Christian Doczkal, Master's Thesis Formalizing TT-lifting in Isabelle/HOL-Nominal
  [finished, June 2009. Christian is now a PhD student at the Programming Systems Lab]
• Christian Doczkal, Bachelor Thesis Strong Normalisation for CBPV Calculus
  [finished, Sept 2007. We wrote a short summary some time ago.]
• Esfandiar Mohammadi, Bachelor Thesis on Stratified Coherence Spaces
  [finished, Dec 2007. Esfandiar is now a PhD student at the Information Security and Cryptography group]
• Cătălin Hriţcu, Masters thesis A Step-indexed Semantic Model of Imperative Functional Objects
  [finished, May 2007, and awarded the Günter Hotz-Medal. Cătălin is now a PhD student at the Information Security and Cryptography group]
• Murat Baktiev, Masters thesis on Separation Logic
  [finished, Dec 2006]
• Dieter Brunotte, B.Sc. Thesis Subtyping and Computational Monads
  [finished, Oct 2006]

Courses

• Proseminar Funktionale Programmierung with Gert Smolka, Winter 2010/11, Saarland University.
• Proseminar Funktionale Programmierung with Gert Smolka, Winter 2009/10, Saarland University.
• Semantics (co-lecturing with Gert Smolka), Winter 2009/10, Saarland University.
• Proseminar Funktionale Programmierung with Gert Smolka, Winter 2008/09, Saarland University.
• Three lectures on minimal invariants, in Derek Dreyer's Typed Operational Reasoning course, Winter 2008/09.
• Seminar Advanced Topics in Semantics with Gert Smolka, Summer 2008, Saarland University.
• Semantics (co-lectured with Gert Smolka), Winter 2007/08, Saarland University.
• Seminar Theory of Communicating Systems (with Mark Kaminski and Gert Smolka), Summer 2007, Saarland University.
• Programmierung 1 (Gert Smolka), Winter 2006/07, Saarland University.
• Seminar Advanced Functional Programming (with Christian Lindig, Andreas Rossberg, Gert Smolka and Ralph Debusmann), Winter 2005/06, Saarland University.
• TA for Principles of Programming Languages (Dr. Bernhard Reus), Summer 2004, Univ. of Sussex.
• TA for Functional Programming (Dr. Luigi Liquori, Dr. Franco Barbanera), Spring 2004, Univ. of Sussex.
• TA for Principles of Programming Languages (Dr. Bernhard Reus), Summer 2003, Univ. of Sussex.
• TA for Functional Programming (Dr. Bernhard Reus), Spring 2003, Univ. of Sussex.
• TA for Computability and Complexity (Dr. Bernhard Reus), Spring 2003, Univ. of Sussex.
• TA for Principles of Programming Languages (Dr. Bernhard Reus), Summer 2002, Univ. of Sussex.
• TA for Semantics of Programming Languages (Prof. Gert Smolka, Prof. Andreas Podelski, Winter 2001, Univ. Saarbrücken
• TA for Programmiersprachen (Prof. Harald Ganzinger, Dr. Andreas Podelski), Summer 2001, Univ. Saarbrücken
• TA for Informatik 5 - Grundlagen zu Algorithmen und Datenstrukturen (Dr. Hannah Bast, Dr. Elmar Schömer), Winter 2000, Univ. Saarbrücken
• TA for Informatik 3 - Automata, Computability and Complexity (Prof. Raimund Seidel), Summer 1999, Univ. Saarbrücken
• TA for Informatik 1 - Programmierung (Prof. Gert Smolka), Winter 1998, Univ. Saarbrücken