ÌÇÐÄTV

Skip to main content Skip to navigation

FoCS Archive News - Before Sept 20

Show all news items

Laure Daviaud joins the FoCS Division as a new Research Fellow

Laure DaviaudThe Theory and Foundations Division is welcoming , who will be the Research Fellow working with and on the .

Prior to coming to ÌÇÐÄTV, Laure was a postdoc on the ERC project (Uniwersytet Warszawski), as well as at (ENS Lyon) and (Université d'Aix-Marseille). She obtained her PhD at (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.

Mon 04 Sept 2017, 14:06

Let us know you agree to cookies