I am a Computer Scientist, interested in Logics (more broadly, Formal Methods) and Stochastic Systems.
I am a Research Fellow of the Alan Turing Institute of Data Science in London, affiliated with University of Warwick,
as well as Honorary Senior Research Associate in the PPLV group at UCL.
David Pym and I are leading the Logics for Data Science group at the Turing.
I have been researching on topics pertaining to Automata and Games for Program Verification, where the goal is to mathematically reason on computer programs to ensure
that they do what we want them to do.
I recently started looking at developing Formal Methods for the analysis of Machine Learning algorithms.
Find here a project I started working on at the Turing.
- Jan. 2017 -- now
- Research Fellow of the Alan Turing Institute of Data Science in London, affiliated with University of Warwick.
- Aug. 2016 -- Dec. 2016
- Research Fellow of the Semester Program Logical Structures in Computation in Berkeley.
- Nov. 2015 -- Aug. 2016
- Research Assistant in the Computer Science Department in Oxford.
- Sep. 2012 -- Oct. 2015
- Joint PhD between Université Paris 7 and University of Warsaw.
I defended my PhD
in October 2015. Find here
the page dedicated to my PhD and the defense.
: English version
, French version
. Latest update: April, 2017.