Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Jan Schwinghammer - Programming Systems Lab - Informatics - Saarland University

Jan Schwinghammer

Saarland University
Informatics
Programming Systems
Jan Schwinghammer

Research
Teaching
Miscellaneous
Coordinates

If you can read this, your browser provides insufficient support for style sheets. The visual presentation of this document will suffer.

I'm a researcher (wissenschaftlicher Mitarbeiter) at the Programming Systems Lab, Saarland University. I received my PhD from the University of Sussex, where Bernhard Reus was my supervisor.

research

My main interests are in logic and semantics of programming languages.

Here is a list of my publications and recent drafts

teaching

Courses

Summer 2007: Seminar Theory of Communicating Systems
Winter 2006/07: Programmierung 1
Winter 2005/06: Seminar Advanced Functional Programming
Previous semesters

Students

Catalin Hritcu, Masters thesis The Semantics of Imperative Objects
Esfandiar Mohammadi, Bachelor prep Seminar Programming Languages and Characterisations of Computational Complexity
Christian Doczkal, Bachelor prep Seminar Strong Normalisation Proofs
Murat Baktiev, Masters thesis on Separation Logic [finished, Dec 2006]
Dieter Brunotte, B.Sc. Thesis Subtyping and Computational Monads [finished, Oct 2006]

some links

Some more links

coordinates

Email: jan at ps.uni-sb.de
Phone: +49 (0) 681 302-5618
Office address: Universität des Saarlandes
Gebäude E 1.3, Raum 516
D-66123 Saarbrücken
Germany
Mail address: Programming Systems Lab
Universität des Saarlandes, Geb. E1.3
Postfach 15 11 50
D-66041 Saarbrücken
Germany

Jan Schwinghammer, February 2007