Holding a PhD on pushdown model checking from Université Paris 7, his research interests gravitate naturally towards automata theory and formal verification. He will contribute to the Spot team's projects, TickTac in particular.

The LRDE hosts a new member, Matteo Bovio, Master student intern from ESIEE Paris, who joins the Olena team. — 1 March 2019