Associate professor in computer science, my interest goes from proof assistants to high level parallel programming languages design.
My main research activity is about using the Coq proof assistant to model functional parallel programs and reason on them.
over the past few years, I have enjoyed to teach at different level.
I have found this activity, which involves spreading knowledge and interacting with student, very rewarding.
Specialisations :
Scientific :
- Proof of programs
- Proof assistant
- Parallel programming
- Programming languages semantics
Communication :
- Technical and scientific works presentation
- Science popularization
- Project management