Skip to main content

Laure Daviaud

Research Fellow

CS3.32
+44 24 765 24911
L dot Daviaud at warwick dot ac dot uk

About me...


I am currently working on the EPSRC project Solving Parity Games in Theory and Practice led by Marcin Jurdzinski and Ranko Lazic.

Research interests:

Verification, Logic, Game and Automata theory, Quantitative models - Probability and Optimisation, Transducers, Streaming models, Algebra and Topology for rational languages.

Previous positions:
  • Postdoctoral Research Fellow at the University of Warsaw working on the ERC project "A unified theory for finite state machines" led by Mikolaj Bojanczyk (2016-2017).
  • 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-Eric Pin (2011-2014).

Research


Program Committee:
Publications:
Talks:

Regular transductions: First order and regular list functions

  • Seminar LSC, april 2018 (Lyon-26/04/18) - slides - invited

Probabilistic automata and the containment problem

  • Seminar ENS Lyon (Lyon-23/04/18) - slides
  • Delta 2018 (Paris-27/03/18) - slides - invited

An introduction to the algebraic theory of rationnal languages (and a little bit of topology)

  • MFPS 2017 (Ljubljana-13/06/17) - slides - invited tutorial

Max-plus automata and tropical identities

  • Seminar University of Oxford (Oxford-01/02/18) - slides
  • Seminar IRIF (Paris-10/11/17)
  • Tropical Mathematics and its Applications 2017 (Birmingham-15/11/17) - slides - invited
  • Delta 2017 (Porquerolle-18/10/17) - slides - invited
  • MFCS 2017 (Aalborg-22/08/17) - slides

Comparison of max-plus automata and joint spectral radius

  • MFCS 2017 (Aalborg-22/08/17) - slides
  • Seminar Manchester University (Manchester-23/11/16) - slides
  • PGMO Days 2016 (Palaiseau-09/11/16) - slides - invited
  • Seminar Warsaw University (Warsaw-12/10/16)
  • Seminar ULB (Bruxelles-22/09/16)
  • ILAS 2016-minisymposium Tropical linear algebra and beyond (Louvain-12/07/16) - slides - invited

Classes of languages generated by the Kleene star of a word:

  • Conference Topology and Languages (Toulouse-23/06/16) - slides - invited
  • MFCS 2015 (Milan-27/08/15) - slides
  • AMS-EMS-SPM International meeting 2015 (Porto-11/06/15) - slides - invited

A generalised twinning property for minimisation of cost register automata:

  • Journées du GT ALGA (Marseille-12/04/16) - slides
  • Seminar LABRI (Bordeaux-09/02/16) - slides

Asymptotic behaviours of min-plus and max-plus automata

  • PhD defense (22/09/14) - slides
  • Seminar LIGM (Marnes-la-Vallée-27/05/14) - slides
  • Seminar LSV (Cachan-13/05/14) - slides
  • Groupe de travail FREC (Marseille-30/04/14) - slides

Max-plus automata and size-change abstraction:

  • Workshop DICE (Eindhoven-02/04/16) - slides
  • Journées du GT ALGA (Paris-30/03/15) - slides
  • Seminar LIP (Lyon-05/03/15) - slides
  • Seminar LACL (Créteil-26/01/15) - slides
  • Seminar LABRI (Bordeaux-16/12/14) - slides
  • MFCS 2014 (Budapest-26/08/14) - slides
  • HIGHLIGHTS of Logic, Games and Automata 2014 (Paris-04/09/14) - slides
  • Seminar LITIS (Rouen-24/10/13) - slides

Approximate comparison of min-plus automata:

  • Seminar I2M (Marseille-20/01/15)
  • Seminar LIF (Marseille-25/03/14) - slides
  • STACS 2013 (Kiel-02/03/13) - slides
  • HIGHLIGHTS of Logic, Games and Automata 2013 (Paris-19/09/13) - slides
  • Seminar Warsaw University (Warsaw-12/06/13)

Teaching


2017-2018
Previous
  • 2016-2017 - University of Warsaw: Complexity theory
    Class 1, Class 2, Class 3, Class 4, Class 5, Class 6, Class 7, Class 8, Class 9, Class 11, Class 12
  • 2011-2014 - Université Paris Diderot:
    • IO2 : Internet et Outils - chargée de TP, encadrement et évaluation projet
    • IF1 : Introduction à la programmation - chargée de TP
    • CI2 : Concepts en informatique - chargée de TD
    • TO2 : Types de données et objets - chargée de TD