People – Verification
More information about our group’s activities can be found on the official website.
Academic Staff
![]() |
Professor email Ashton 2.22 Research Groups: Verification Research Interests: Trustworthy Machine Learning Verification and Validation Model Checking |
![]() |
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 |
![]() |
Lecturer email Holt 2.01C Research Groups: ECCO Verification Research Interests: Game theory, specifically two player zero-sum games static analysis and evolutionary theoretical biology |
![]() |
Professor email Ashton 1.15 Research Groups: ARK Verification Research Interests: Description logics, ontologies, automated reasoning, temporal logic, specification and verification formalisms, proof complexity, deduction systems, and practical applications of formal methods |
![]() |
Lecturer email Research Groups: Verification Research Interests: Verification Formal Methods Security Applied Automated Reasoning Applied Machine Learning |
![]() |
Lecturer email Ashton 3.20 Research Groups: Verification ACTO Research Interests: automata weighted automata vector addition systems computer-aided verification |
![]() |
Professor email Research Groups: ACTO Verification Research Interests: Automata theory game theory (especially finite games of infinite duration) verification reinforcement learning temporal logic Markov games and decision processes control theory equilibria agent & game logics |
![]() |
Lecturer email Research Groups: Verification Research Interests: Trustworthy Machine Learning Verification and Validation Model Checking |
![]() |
Senior Lecturer email Ashton 3.19 Research Groups: Verification ACTO Research Interests: logics automata game theory computer-aided verification |
![]() |
Reader email Research Groups: ACTO ECCO Verification Research Interests: Probabilistic systems game theory coalition games control theory verification of embedded systems |
![]() |
Professor email Ashton 1.14 Research Groups: ARK Verification Research Interests: Knowledge Representation Reasoning and Logic in Computer Science |
Postdocs
![]() |
Postdoc Supervisors: Patrick Totzke Research Groups: ACTO Verification Research Interests: automata theory logic timed automata |
|
Supervisors: Sven Schewe Research Groups: Verification Research Interests: game theory |
![]() |
Supervisors: Sven Schewe Research Groups: Verification Research Interests: verification reinforcement learning |
Students
![]() |
Peter Austin PhD student Supervisors: Patrick Totzke and Sven Schewe Research Groups: Verification Research Interests: automata game theory |