Broken links across staff profiles

Due to an ongoing technical issue, some links to publications and other resources in staff profiles may not always work. We apologise for the inconvenience and are working on a solution.

Mr Daniele Dell'Erba

Lecturer in Computer Science

Daniele Dell'Erba
  • School Faculty of Science and Technology

  • Department Computer Science

  • Location London

Research activities

Formal methods

Games on graphs

Automata theory


Current Teaching

Visual Data Analysis - CST4068


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.

Qualifications

Publications