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