Programming Systems Lab

Programming Systems Lab

ps.uni-saarland.de

Technology: AI / Machine Learning

We are working on topics related to type theory and proof assistants, formal theory development, automated deduction, and compiler verification.

Director: Prof. Dr. Gert Smolka