Paul PATAULT


I am a PhD student since September 2023 under the supervision of Jean-Christophe Filliâtre and Andrei Paskevich in the Proof of Programs team of the Laboratoire Méthodes Formelles (LMF).

I am interested in programming languages, deductive verification and formal methods.

You can find my CV and a detailed summary of my subject following this link.

portrait

Research

Software/Programming

Interships

Talks

Service Work

Teaching (French)

Université Paris-Saclay

IUT Orsay

Miscellaneous

📄 CV en, fr
⌨️ Codeberg, Github
📽️ SensCritique
🔗 Random links