People – Verification

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

Academic Staff

	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 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
	Sven Schewe Professor email Ashton G.14 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
	Qiyi Tang Lecturer email Research Groups: Verification Research Interests: Trustworthy Machine Learning Verification and Validation Model Checking
	Patrick Totzke Senior Lecturer email Ashton 3.19 Research Groups: Verification ACTO Research Interests: logics automata game theory computer-aided verification Module coordinator for: COMP122 Object-oriented programming
	Dominik Wojtczak Reader email Holt 2.01C 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