People who worked at the Programming Systems Lab (1990-2023)

Saarland University Computer Science
Programming Systems
Gert Smolka
Publications
Teaching
Software
Formalizations
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    


Legal notice, Privacy policy