Mathieu Baudet

(Former) PhD student

• Selected Publications

• PhD Defense

• A decision tool for deducibility and static equivalence (YAPA)

About LSV

• News
• People
• Research
• Seminars
• Teaching
• Contact

• École Normale Supérieure de Cachan
• Centre National de la Recherche Scientifique