People – Verification

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 Languages  Proof Assistants  Concurrency and distributed systems
	Xiaowei Huang   Professor email Ashton 2.22         Research Groups:  Verification Research Interests:  Trustworthy Machine Learning  Verification and Validation  Model 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:  ECCO  Verification Research Interests:  Game theory, specifically two player zero-sum games  static analysis and evolutionary theoretical biology
	Boris Konev     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
	Alexei Lisitsa   Senior Lecturer email       Research Groups:  Verification Research Interests:  Verification  Formal Methods  Security  Applied Automated Reasoning  Applied Machine Learning
	David Purser     Lecturer email Ashton 3.20         Research Groups:  Verification  ACTO Research Interests:  automata  weighted automata  vector addition systems  computer-aided verification Module coordinator for:  COMP517
	Sven Schewe     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
	Friedrich Slivovsky   Lecturer email Ashton 2.02           Research Groups:  Verification Research Interests:  Satisfiability  Quantified Boolean Formulas  Knowledge Compilation Module coordinator for:  COMP331 / COMP557
	Tony Tan Lecturer email   Research Groups:  Verification
	Qiyi Tang   Lecturer email     Research Groups:  Verification Research Interests:  Trustworthy Machine Learning  Verification and Validation  Model Checking
	Patrick Totzke     Professor email Ashton 3.19             Research Groups:  Verification  ACTO Research Interests:  game theory  logics  automata  verification
	Dominik Wojtczak     Reader email         Research Groups:  ACTO  ECCO  Verification Research Interests:  Probabilistic systems  game theory  coalition games  control theory  verification of embedded systems
	Frank Wolter     Professor email Ashton 1.14       Research Groups:  ARK  Verification Research Interests:  Knowledge Representation  Reasoning and Logic in Computer Science

Postdocs

	Sougata Bose   Postdoc   Supervisors:  Patrick Totzke Research Groups:  ACTO  Verification Research Interests:  automata theory  logic  timed 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:  verification  reinforcement learning
	Soumyajit Paul Postdoc   Supervisors:  Sven Schewe Research Groups:  ACTO  Verification  ECCO Research Interests:  game theory  verification
	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:  automata  game theory