The Programming Systems Lab at Saarland University led by Gert Smolka was founded in 1990 when Gert Smolka came to Saarbrücken as a research director at DFKI (until 1998) and a professor in Computer Science at Saarland University. We developed the programming systems Mozart (concurrent constraint programming) and Alice (concurrent functional programming) and contributed to the design of the Gecode Constraint Library. We also developed constraint-based methods and tools for the syntactic and semantic processing of natural language. Another important line of research has been the development and verification of computationally efficient tableaux systems for modal logics (PDL, CTL) and simple type theory. Since 2010 our focus has been on interactive theorem proving using the Coq system and formalization and verification in computational type theory.
Publications Teaching Software Formalizations
People who worked at the Programming Systems Lab (1990-2023)
Ondrej Bojar     | Chad E. Brown     | Thorsten Brunklaus     | Ralph Debusmann     |
Christian Doczkal     | Andrej Dudenhefner     | Denys Duchier     | Katrin Erk     |
Yannick Forster     | Seif Haridi     | Martin Henz     | Ute Hornung     |
Bärbel Hussung     | Jonas Kaiser     | Mark Kaminski     | Dominik Kirst     |
Leif Kornstaedt     | Marco Kuhlmann     | Fabian Kunze     | Didier Le Botlan     |
Moritz Lichter     | Michael Mehl     | Mathias Möhl     | Martin Müller     |
Tobias Müller     | Sandra Neumann     | Joachim Niehren     | Marek Paralic     |
Konstantin Popov     | Tim Priesnitz     | Andreas Rossberg     | Steven Schäfer     |
Ralf Scheidhauer     | Sigurd Schneider     | Thomas Schneider     | Christian Schulte     |
Jan Schwinghammer     | Kathrin Stark     | Gert Smolka     | Lutz Straßburger     |
Gábor Szokoli     | Guido Tack     | Tobias Tebbi     | Ralf Treinen     |
Ann Van de Veire     | Peter Van Roy     | Joachim P. Walser     | Jörg Würtz     |