Laure Daviaud


Personal profile

Academic Background

Theoretical Computer Science and Mathematics

For activities pre-2023, see cv

Key Research Interests

Formal Verification, Automata and Models of Computation, Logic, Automata Learning, Decidability

Postgraduate Research Opportunities

Prospective PhD students should contact me by email to discuss the project title, scope and how to apply.

Education/Academic qualification

Doctor of Philosophy, IRIF - CNRS/Université de Paris

Award Date: 22 Sep 2014

External positions

Visiting Research Fellow, City, University of London

1 Jun 2023 → …

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or