More information about our group’s activities can be found on the official website.

reset filter

Academic Staff

Lorenzo Gheri

Lecturer email Ashton G12c    

Research Groups:  Verification

Research Interests:  Programming LanguagesProof AssistantsConcurrency and distributed systems

Xiaowei Huang

Professor email Ashton 2.22    

Research Groups:  Verification

Research Interests:  Trustworthy Machine LearningVerification and ValidationModel Checking

Ullrich Hustadt

Reader email Ashton 1.03    

Research Groups:  Verification

Research Interests:  Resolution-based and tableaux-based decision procedures for decidable fragments of first-order logic, including fragments resulting from the relational, semi-functional and optimised functional translation of decidable propositional modal logics

Rasmus Ibsen-Jensen

Lecturer email Holt 2.01C    

Research Groups:  ECCOVerification

Research Interests:  Game theory, specifically two player zero-sum gamesstatic analysis and evolutionary theoretical biology

Boris Konev

Professor email Ashton 1.15    

Research Groups:  ARKVerification

Research Interests:  Description logics, ontologies, automated reasoning, temporal logic, specification and verification formalisms, proof complexity, deduction systems, and practical applications of formal methods

Alexei Lisitsa

Senior Lecturer email    

Research Groups:  Verification

Research Interests:  VerificationFormal MethodsSecurityApplied Automated ReasoningApplied Machine Learning

David Purser

Lecturer email Ashton 3.20    

Research Groups:  VerificationACTO

Research Interests:  automataweighted automatavector addition systemscomputer-aided verification

Module coordinator for:  COMP517

Sven Schewe

Professor email    

Research Groups:  ACTOVerification

Research Interests:  Automata theorygame theory (especially finite games of infinite duration) verificationreinforcement learningtemporal logicMarkov games and decision processescontrol theoryequilibriaagent & game logics

Friedrich Slivovsky

Lecturer email Ashton 2.02    

Research Groups:  Verification

Research Interests:  SatisfiabilityQuantified Boolean FormulasKnowledge Compilation

Module coordinator for:  COMP331 / COMP557

Tony Tan

Lecturer email

Research Groups:  Verification

Qiyi Tang

Lecturer email    

Research Groups:  Verification

Research Interests:  Trustworthy Machine LearningVerification and ValidationModel Checking

Patrick Totzke

Professor email Ashton 3.19    

Research Groups:  VerificationACTO

Research Interests:  game theorylogicsautomataverification

Dominik Wojtczak

Reader email    

Research Groups:  ACTOECCOVerification

Research Interests:  Probabilistic systemsgame theorycoalition gamescontrol theoryverification of embedded systems

Frank Wolter

Professor email Ashton 1.14    

Research Groups:  ARKVerification

Research Interests:  Knowledge RepresentationReasoning and Logic in Computer Science

Postdocs

Sougata Bose

Postdoc

Supervisors:  Patrick Totzke

Research Groups:  ACTOVerification

Research Interests:  automata theorylogictimed automata

Daniele Dell'Erba

Postdoc    

Supervisors:  Sven Schewe

Research Groups:  Verification

Research Interests:  game theory

Yong Li

Postdoc    

Supervisors:  Sven Schewe

Research Groups:  Verification

Research Interests:  verificationreinforcement learning

Soumyajit Paul

Postdoc

Supervisors:  Sven Schewe

Research Groups:  ACTOVerificationECCO

Research Interests:  game theoryverification

Di-De Yen

Postdoc

Supervisors:  Patrick Totzke

Research Groups:  Verification

Research Interests:  automata theory

Students

Peter Austin

PhD student

Supervisors:  Patrick Totzke and Sven Schewe

Research Groups:  Verification

Research Interests:  automatagame theory