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 reckon the great mentorship and influence of several researchers: Florian Horn, Hugo Gimbert, Krishnendu Chatterjee, Olivier Serre, Jean-Eric Pin, Mikołaj Bojańczyk (PhD advisor), Thomas Colcombet (PhD advisor), Joël Ouaknine (post-doc advisor in Oxford), James Worrell (post-doc advisor in Oxford), and Prakash Panangaden (mentor in Berkeley).

Curriculum Vitae: English version, French version. Latest update: December, 2016.

News

March 2017
I am organising a workshop at the Turing on the interplay between Logics and Data Science in June. Website coming soon!
January 2017
Characterisation of an Algebraic Algorithm for Probabilistic Automata accepted to Theoretical Computer Science (TCS). Journal version of eponymous paper in STACS'2016.
December 2016
Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem (with Pierre Ohlmann, Joël Ouaknine, Amaury Pouly and James Worrell) accepted to STACS'2017.
Aug. -- Dec. 2016
Research Fellow of the Semester Program Logical Structures in Computation in Berkeley.
May 2016
I wrote a two pages general audience introduction to my PhD in French.
May 2016
Participant of the Semester Program on Complexity Theory in St Petersburg.
April 2016
The Bridge between Omega-Regular Languages and the Theory of Regular Cost Functions (with Thomas Colcombet) accepted to ICALP'2016.
April 2016
Invited speaker at Cassting'2016, affiliated workshop of FoSSaCS'2016.
March 2016
I wrote a non-technical summary of my PhD.
January 2016
My PhD dissertation got distinguished by the University of Warsaw.
January 2016
Demo page of Flides, which I develop and use to create HTML5 slides.
December 2015
Stamina is online. This is the first implementation (ever?) of an algorithm solving the star height problem.
December 2015
Trace Refinement in Labelled Markov Decision Processes (with Stefan Kiefer and Mahsa Shirmohammadi) accepted to FoSSaCS'2016.
December 2015
Characterisation of an Algebraic Algorithm for Probabilistic Automata accepted to STACS'2016.
October 2015
PhD defense.
October 2015
Online Space Complexity of Probabilistic Languages accepted to LFCS'2016.
May 2015
Invited speaker at AutoMathA final conference, for the European Science Foundation programme AutoMathA.
March 2015
Co-organiser of the GT ALGA annual meeting in Paris.

Latest technial reports

March 2017
A Logical Viewpoint on Probabilistic Bisimulation on Distributions with Bartek Klin.
March 2017
Expressiveness of Probabilistic Modal Logics, Revisited with Bartek Klin and Prakash Panangaden.
February 2017
Stamina: Stabilisation Monoids IN Automata theory with Hugo Gimbert, Edon Kelmendi and Denis Kuperberg.
July 2016
Lower Bounds for Alternating Online State Complexity (on ECCC).

Latest slides

02/03/2017
Bisimulation for Stochastic Systems, for the Short Talk series at the Turing, London.
09/02/2017
Bisimulation for Stochastic Systems, for the Computer Science department Seminar in Warwick.
07/11/2016
Bisimulation for Stochastic Systems, for the {Symmetry, Logic, Computation} workshop in Berkeley. See also the video!
10/07/2016
Pushdown Boundedness Games, for the SR'2016 workshop in New York.
11/04/2016
The Theory of Regular Cost Functions at No Extra Cost, for the GT-ALGA in Marseille.
02/04/2016
Boundedness Games, invited talk at CASSTING workshop in Eindhoven (affiliated workshop of FoSSaCS).
10/03/2016
Online Space Complexity for the 68NQRT seminar in Rennes.
18/02/2016
Characterisation of an Algebraic Algorithm for Probabilistic Automata for STACS'2016.
20/01/2016
Online Space Complexity for the Verification seminar in Oxford.
06/01/2016
Online Space Complexity of Probabilistic Automata for LFCS'2016.
16/10/2015
PhD defense.
23/09/2015
Irregular Behaviours for Probabilistic Automata for RP'2015.
17/09/2015
Online Complexity for Highlights'2015.
02/07/2015
Trading Bounds for Memory in Games with Counters for ICALP'2015.
07/05/2015
Probabilistic Automata, invited talk at AutoMathA.

Research Projects

GT ALGA, a part of GDR-IM, led by Anca Muscholl and Olivier Serre.
2015 -- 2017
EPSRC Counter Automata: Verification and Synthesis, led by James Worrell.
2014 -- 2018
ANR STOCH-MC, led by Blaise Genest.
Past
2012 -- 2015
ERC project GALE led by Thomas Colcombet.
2011 -- 2014
ERC project SOSNA led by Mikołaj Bojańczyk.
2011 -- 2013
ANR FREC.

Misc

Verification seminar in Oxford.
Automata seminar in LIAFA.
Automata seminar in the University of Warsaw.
I am boasting a slightly-above-average ha-index of 80, way below both my PhD advisors.
Being a Computer Scientist, I hike, climb and run.