WELCOME TO MY WEBPAGE
Ph.D. graduate from IRIF in Paris
Under Benedikt Bollig and Arnaud Sangnier
SHORT BIO
From September 2019 to December 2023, I was a Ph.D. student at IRIF in Paris supervised by Benedikt Bollig and Arnaud Sangnier. I defended my Ph.D. on the 14th December 2023. Before that, I studied computer science at ENS Cachan (now ENS Paris-Saclay). More in the past, I studied pure mathematics at Orsay University (now Paris-Saclay University).
For more details, please see my CV (last updated 12th January 2024)
RESEARCH
INTERESTS
My main interest is the verification of distributed systems. It involves studying first order logic, logic with data, two variable logic, satisfiability problem, model checking, locality in logic. I am also interested in the domino problems and in Ehrenfeucht-Fraïssé games.
THESIS
Local First Order Logic with Data: Toward Specification of Distributed Algorithms [under revision], defended on 14th December 2023. (slides)
PUBLICATIONS (distinctions in orange)
- On the Satisfiability of Local First-Order Logics with Data, with Benedikt Bollig and Arnaud Sangnier, published in LMCS in 2024.
- On the Existential Fragments of Local First-Order Logics with Data, with Benedikt Bollig and Arnaud Sangnier, submitted to GandALF 2022. Invited for publication in LMCS special issues.
- Local First-Order Logic with Two Data Values, with Benedikt Bollig and Arnaud Sangnier, submitted to FSTTSC 2021.
TALKS
TEACHING
- 2022-2023 Université Paris Cité (192 hours):
- Introduction to operating systems (1st year of Bachelor)
- Project management (2nd year of Bachelor)
- Logical Tools: Propositional calculus (2nd year of Bachelor)
- 2021-2022 Université Paris Cité (64 hours):
- Principles of Computing Systems (2nd year of Bachelor)
- Introduction to Programming in Python (1st year of Bachelor)
- 2020-2021 Université de Paris (64 hours):
- Principles of Computing Systems (2nd year of Bachelor)
- Introduction to Programming in C (2nd year of Bachelor)
- 2019-2020 Université Paris-Diderot (64 hours):
- Introduction to HTML, CSS, Javascript and SQL (1st year of Bachelor)
- Project management (2nd year of Bachelor)
- 2016-2017, MEC (Mahindra École Centrale), India (64 hours):
- Introduction to Programming in Python (1st year of Bachelor)
- Probability theory (3rd year of Bachelor)
-
2015-2016 lycée Lakanal, Sceaux France (48 hours):
- Oral examination in mathematics (2nd year of Bachelor)
LOCATION |
|
| IRIF Université Paris Cité Bâtiment Sophie Germain, Case courrier 7014 8 Place Aurélie Nemours 75205 Paris Cedex 13 |
|