About:
Email: d.dellerba@mdx.ac.uk
Office address: TG11
Lecturer in Computer Science – Middlesex University
Honorary Fellow – University of Liverpool
Biography & Qualifications
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.
Research Interests
-
Formal methods
-
Automata theory
- Games on graphs
Publications Repository
No research outputs found on this page.