The Programming Systems Lab was founded in 1990 when Gert Smolka came to Saarbrücken as a research director at DFKI 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.
Currently we are working on topics related to type theory and proof assistants, formal theory development, automated deduction, and compiler verification. For more information see our publications, formalizations, and software pages.