Programming Systems Lab

Saarland University Computer Science

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.

Legal notice, Privacy policy