Model Checking and Synthesis Lab
Université Paris-Saclay · Laboratoire Méthodes Formelles (LMF)
Graduate application deadlines
Laboratoire Méthodes Formelles (LMF)
Master in Computer Science
2027-28France Excellence Eiffel scholarship — internal deadline
Nov 26, 2026
Considering this lab for grad school?
Save it to compare side by side with other labs, and keep your contact prep in one place.
What to prepare before emailing a PIAbout
Prof. Uli Fahrenberg at Université Paris-Saclay Laboratoire Méthodes Formelles (LMF) lists Formal models of computation, Games, Logic & decision problems, Expressiveness, Satisfiability/Realizability, Satisfiability modulo theories (SMT), Decidability/Complexity, Automated system design as their registered research area.
Research keywords
Other labs in this department
- Computational Psychology Lab
Alain Finkel
- Test Formel et Monitoring Lab
Burkhart Wolff
- Modeling of Critical Systems Lab
Frédéric Boulanger
Model, System, Control, Verification, Validation, Diagnostic, Cyberphysical/Hybrid/Critical systems, Model-driven engineering, Domain Specific Languages, Semantics of Modeling Languages
- Topologie et applications informatiques Lab
Jean Goubault-Larrecq
- Biology Lab
Thomas Nowak