The Theory and Foundations Division is welcoming Dr Laure Daviaud, who will be the Research Fellow working with Dr Marcin Jurdzinski and Dr Ranko Lazic on the EPSRC project on Parity Games.

Prior to coming to Warwick, Laure was a postdoc on the ERC project Lipa (Uniwersytet Warszawski), as well as at LIP (ENS Lyon) and LIF (Université d'Aix-Marseille). She obtained her PhD at LIAFA (Université Paris Diderot, CNRS).

Laure's research interests include automata theory, verification, logic, quantitative models and transducers, weighted automata, streaming models, algebraic language theory and topology, tropical algebra and semigroup of matrices.