Laure Daviaud


MIMUW, Banacha 2,
02-097 Warszawa, Poland

I am now a research fellow at the University of Warwick.

I was a Postdoctoral Research Fellow at the University of Warsaw (2016-2017), working on the ERC project "A unified theory for finite state machines" led by Mikolaj Bojanczyk.

Previous positions:

  • Postdoctoral Research Fellow at LIP (Laboratoire d'Informatique et du Parallélisme, ENS Lyon) in the Plume team (2015-2016).
  • Postdoctoral Research Fellow at LIF (Laboratoire d'Informatique Fondamentale, Université d'Aix-Marseille) in the MOVE team (2014-2015).
  • PhD at LIAFA (Laboratoire d'Informatique Algorithmique: Fondements et Applications, Université Paris Diderot, CNRS) in the Automata and applications team, co-advised by Thomas Colcombet and Jean-Éric Pin (2011-2014).

Researh interests:

    Automata theory, verification, logic, quantitative models and transducers, weighted automata, streaming models, algebraic language theory and topology, tropical algebra and semigroup of matrices