People – Verification

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

reset filter

Academic Staff

Xiaowei Huang

Reader 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

Lecturer email    

Research Groups:  Verification

Research Interests:  VerificationFormal MethodsSecurityApplied Automated ReasoningApplied Machine Learning

Sven Schewe

Professor email Ashton G.14    

Research Groups:  ACTOVerification

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

Patrick Totzke

Lecturer email Ashton 3.19    

Research Groups:  VerificationACTO

Research Interests:  logicsautomatagame theorycomputer-aided verification

Module coordinator for:  COMP122 Object-oriented programming

Dominik Wojtczak

Senior Lecturer email Holt 2.01C    

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

Marie Fortin

Postdoc    

Supervisors:  Frank Wolter

Research Groups:  Verification

Research Interests:  automata theorylogic