Computational Psychology Lab
Université Paris-Saclay · Laboratoire Méthodes Formelles (LMF)
This lab is still preparing its profile
Here's what we know so far. A fuller introduction is on the way.
- Department
- Laboratoire Méthodes Formelles (LMF)
- Professor
- Alain Finkel
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 PIOther labs in this department
- 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
- Model Checking and Synthesis Lab
Uli Fahrenberg
Formal models of computation, Games, Logic & decision problems, Expressiveness, Satisfiability/Realizability, Satisfiability modulo theories (SMT), Decidability/Complexity, Automated system design