معرفی
Dr Laure Daviaud is a Lecturer in Computer Science at City, University of London, affiliated with the CitAI research center specializing in artificial intelligence. Her research focuses on verification, logic, game and automata theory, quantitative models, and algebraic/topological approaches to rational languages. She leads the EPSRC-funded project on streaming automata optimization (EP/T018313/1, 2020-2023). Dr Daviaud has supervised PhD student Alex Dean and postdoc Andrew Ryzhikov. She actively participates in program committees for conferences like ICLA, FSTTCS, and LICS, and serves as an editor for AEJM. Her work spans theoretical computer science, with contributions to probabilistic automata, max-plus automata, and tropical algebra.
Qualifications include a PhD from University Paris VII (2011-2014) supervised by Thomas Colcombet and Jean-Eric Pin. Postdoctoral roles included the University of Warwick (2017-2019), University of Warsaw (2016-2017), and ENS Lyon (2015-2016).
