About
I am a PhD student in the Department of Computer Science at UPEC and also in a Joint PhD (cotutelle) program with UDS (Université de Sherbrooke). My work focuses on building a method for specifying system ensuring both functional and time-related requirements.
Before starting my PhD, I completed a Master’s degree in software verification, where I worked on projects related to formal methods.
Research
My current research explores how to design models that are both accurate and understandable to humans. I am particularly interested in:
- Event-B theory plugin
- Time Algebraic State Transition Diagrams
- Clock Constraints Specification Language
I am in the early stages of my PhD and do not have published articles yet. However, I am actively working on:
- Project 1: Creating a method for specifying an executable system ensuring both functional and time-related properties based on Event-B and CCSL.
- Project 2: With University of Namur : composing a Bach agent with Event-B actions enabling a verification process.
Teaching & Mentoring
I enjoy teaching and sharing knowledge. I have contributed as:
- Teaching assistant (TA) for "Introduction à Python" (Licence 1 - UBX)
- TA for "Introduction à l'assenbleur NASM" (Licence 1 - UPEC)
- TA for "Architecture matérielle" (Licence 1 - UPEC)
- TA for "Représentation des données" (Licence 1 - UPEC)
- TA for "Logique et mathématiques discrètes" (Licence - UDS)
- Corrector for "Méthodes formelles en génie logiciel" (Master/PhD - UDS)
CV
A detailed CV is available upon request or can be downloaded here: (PDF - french) (PDF - english) .
Education
PhD in Computer Science, UPEC / UDS, 2024–present
Master's degree in fundamental computer science, University of Bordeaux, 2022–2024
Licence in Computer Science, University of Bordeaux, 2019–2022
Skills
Ocaml, Python, Java, C, Coq/Rocq, Assembly, Formal methods (logics, verification, proof/model cheking)
Contact
The best way to reach me is by email.
- Email: firstname.lastname@[u-pec.fr|usherbrooke.ca]
- Office: D6-0054, Faculty of Science, University of Sherbrooke, Canada