Mr Daniele Dell'Erba

Mr Daniele Dell'Erba
NameMr Daniele Dell'Erba
Job titleLecturer in Computer Science
Research institute
Primary appointmentComputer Science
Email addressd.dellerba@mdx.ac.uk
ORCIDhttps://orcid.org/0000-0003-1196-6110
Contact categoryAcademic staff

Biography

Biography

My research focuses on theoretical computer science, precisely on formal methods. The majority of the effort aims at solving infinite-duration games on graphs, which can be used for formal verification (model checking and synthesis of multi-agent systems) and have applications in automata theory, machine learning, and control theory.

Teaching

Visual Data Analysis - CST4068

Supervision

Employment

Lecturer
Middlesex University
03 Nov 2025

Education and qualifications

Grants

Prizes and Awards

Research outputs

DFAMiner: an efficient tool for learning minimal separating DFAs from labelled samples

Dell’Erba, D., Li, Y., Schewe, S. and Turrini, A. 2026. DFAMiner: an efficient tool for learning minimal separating DFAs from labelled samples. Science of Computer Programming. https://doi.org/10.1016/j.scico.2026.103506

DFAMiner: mining minimal separating DFAs from labelled samples

Dell’Erba, D., Li, Y. and Schewe, S. 2024. DFAMiner: mining minimal separating DFAs from labelled samples. Platzer, A., Rozier, K.Y., Pradella, M. and Rossi, M. (ed.) 26th International Symposium on Formal Methods. Milan, Italy 09 - 13 Sep 2024 Cham Springer. pp. 48-66 https://doi.org/10.1007/978-3-031-71177-0_4

Priority promotion with Parysian flair

Benerecetti, M., Dell'Erba, D., Mogavero, F., Schewe, S. and Wojtczak, D. 2025. Priority promotion with Parysian flair. Journal of Computer and System Sciences. 147. https://doi.org/10.1016/j.jcss.2024.103580

Solving mean-payoff games via quasi dominions

Benerecetti, M., Dell'Erba, D. and Mogavero, F. 2024. Solving mean-payoff games via quasi dominions. Information and Computation. 297. https://doi.org/10.1016/j.ic.2024.105151

Smaller progress measures and separating automata for parity games

Dell'Erba, D. and Schewe, S. 2022. Smaller progress measures and separating automata for parity games. Frontiers in Computer Science. 4. https://doi.org/10.3389/fcomp.2022.936903
  • 63
    total views of outputs
  • 30
    total downloads of outputs
  • 3
    views of outputs this month
  • 0
    downloads of outputs this month