I am a Research Associate in the Programming Principles, Logic and Verification group (PPLV) at UCL’s Dept. of Computer Science, which I joined in January 2017. Since October 2018 I am a member of the IRIS project, working with David Pym and James Brotherston. I hold a PhD in Computer Science from the University of Lyon, under the supervision of Damien Pous.
My research focuses on theoretical aspects of software verification. More specifically I study the algebraic properties of various models of program behaviour. My interests also include logic, automata theory, mechanised proofs, concurrency theory and nominal mathematics. I have authored a number of papers in peer-reviewed international conferences and journals on some of these topics.
I have profiles on these websites:
My research interests include (but are not limited to) language theory, formal proofs, type theory, relation algebra, automata theory...
|[Full list of papers]|
My research is the result of collaborations with many friends and colleagues. I have in particular written papers together with these people:
CSL, Barcelona, January 2020
MOVE, Marseille, March 2017
I am a member of the PC of WoLLIC 2020.
I have been a subreviewer for the following conferences, workshops and journals:
MFCS, FSTTCS, JFLA, JLAMP, EXPRESS/SOS, ICALP, FoSSaCS, Petri Nets, ICFP, LiCS, CPP, FORTE, SoSyM, TDSC, CSR.
- MEng/BSc Computer Science, University College London
- Computability and Complexity Theory – problem classes (2017-2019) [More]
- Master program in ÉNS de Lyon
- Semantics and Verification – exercises (2016) [more]
- Master program in UCB Lyon 1
- Calculability and complexity – exercises (2014-2015)
- Bachelor degree in UCB Lyon 1
- Industrial Internship – reports (2014-2016)
- Theory of formal languages – exercises & project (2013-2015)
- Classical logic – exercises & project (2014-2015)
- Numeric Algorithms – exercises (2013)
- Algorithmics and Imperative programming – exercises & programming (2013-2014)