People – Verification

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

Academic Staff

	Lorenzo Gheri Lecturer email Ashton G12c Research Groups: Verification Research Interests: Programming Languages Proof Assistants Concurrency and distributed systems
	Daniel Hausmann Lecturer email Holt 2.16b Research Groups: Verification Research Interests: fixpoint theory automata on infinite words infinite-duration games temporal logics modal logics
	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 Professor 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
	Shufang Zhu Lecturer email Ashton 3.20 Research Groups: Verification Module coordinator for: COMP392