People at the Programming Systems Lab

Saarland University Computer Science
Programming Systems
Gert Smolka
Publications
Teaching
Software
Formalizations

Head

Gert Smolka    

Researchers

Chad E. Brown     Mark Kaminski     Jan Schwinghammer    

Secretary

Sandra Neumann    

Previous Members

Ondrej Bojar     Thorsten Brunklaus     Ralph Debusmann     Denys Duchier    
Katrin Erk     Martin Henz     Bärbel Hussung     Leif Kornstaedt    
Marco Kuhlmann     Didier Le Botlan     Michael Mehl     Mathias Möhl    
Martin Müller     Tobias Müller     Joachim Niehren     Marek Paralic    
Konstantin Popov     Tim Priesnitz     Andreas Rossberg     Ralf Scheidhauer    
Christian Schulte     Lutz Straßburger     Gábor Szokoli     Ralf Treinen    
Ann Van de Veire     Peter Van Roy     Joachim P. Walser     Jörg Würtz    
Guido Tack    


Legal notice, Privacy policy