Skip to main content
What types of page to search?

Popular pages: Undergraduate Postgraduate PhD Accommodation Research International students

Alternatively use our A-Z index.

Automata and games

Automata are formal acceptors of specification languages like Linear Temportal Logic, regular expressions, and omega-regular expressions, while formal games occur in the qualitative and quantitative analysis of formal games for model checking and synthesis games, including emptiness and acceptance games for automata. Liverpool is internationally leading in research on automata and games.

Opportunities

We welcome opportunities to engage with students, researchers, and industry partner:

  • PhD opportunities: please contact us if you are interested in pursuing a PhD in automata and/or games
  • Consultancy and research collaborations: we welcome partnerships, consultancy, and knowledge exchange projects with academic, industry, and government partners.

Contact Us

Please discuss with relevant academic staff if you are interested in their research.