Projects per year
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, Asymptotic Behaviour of Min-plus and Max-plus Automata, IRIF - CNRS/Université de Paris
Award Date: 22 Sept 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
Projects
- 1 Finished
-
Learning, Approximating and Minimising Streaming Automata for Large-scale Optimisation
Daviaud, L. (Principal Investigator)
Engineering and Physical Sciences Research Council
1/06/23 → 31/08/24
Project: Research
-
Extracting deterministic finite automata from RNNs via hyperplane partitioning and learning
Wickramasinghe, S., Howe, J. M. & Daviaud, L., 11 Feb 2026, (E-pub ahead of print).Research output: Contribution to conference › Paper › peer-review
Open AccessFile6 Downloads (Pure) -
Feasability of learning weighted automata on a semiring
Daviaud, L. & Johnson, M., 7 Aug 2025, In: Logical Methods in Computer Science. 21, 3Research output: Contribution to journal › Article › peer-review
Open AccessFile -
The big-O problem for max-plus automata is decidable (PSPACE-Complete)
Daviaud, L., Purser, D. & Tcheng, M., 15 Jul 2025, In: Logical Methods in Computer Science. 21, 3, p. 3:1–3-3:35 33 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Formal and Empirical Studies of Counting Behaviour in ReLU RNNs
El-Naggar, N., Ryzhikov, A., Daviaud, L., Madhyastha, P. & Weyde, T., 2023, The 16th International Conference on Grammatical Inference: ICGI 2023. Vol. 217. p. 199-222 24 p. (Proceedings of Machine Learning Research).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile4 Citations (Scopus)38 Downloads (Pure) -
The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)
Daviaud, L. & Purser, D., 14 Jul 2023, 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). The Institute of Electrical and Electronics Engineers (IEEE), (Proceedings - Symposium on Logic in Computer Science; vol. 2023-June).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile
Activities
-
Non-classical Models of Automata and Applications (NCMA) 2025
Daviaud, L. (Invited speaker)
21 Jul 2025Activity: Participating in or organising an event › Invited talk
-
Automata in the Wild 2025
Daviaud, L. (Invited speaker)
1 Apr 2025Activity: Participating in or organising an event › Invited talk
-
52nd EATCS International Colloquium on Automata, Languages, and Programming (ICALP) 2025
Daviaud, L. (Member of programme committee)
2025Activity: Participating in or organising an event › Participation in conference
-
28th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) 2025
Daviaud, L. (Member of programme committee)
2025Activity: Participating in or organising an event › Participation in conference
-
33nd EACSL Annual Conference on Computer Science Logic (CSL) 2025
Daviaud, L. (Member of programme committee)
2025Activity: Participating in or organising an event › Participation in conference