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  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:  First-order Logic  Resolution-based Reasoning  Tableaux Methods  Modal Logic  Temporal Logic
	Rasmus Ibsen-Jensen     Lecturer email Holt 2.01C         Research Groups:  EcCo  Verification Research Interests:  Game Theory  Static Analysis  Evolutionary Theoretical Biology  Strategy Complexity  Two-player Zero-sum Games  Programming Languages  Control Flow Graphs
	Boris Konev     Professor email Ashton 1.15       Research Groups:  KR  Verification Research Interests:  Ontologies  Temporal Logic  Verification Formalisms  Deduction Systems  Specification
	Alexei Lisitsa   Senior Lecturer email       Research Groups:  Verification Research Interests:  Verification  Formal Methods  Security  Applied Automated Reasoning  Applied Machine Learning  Encrypted Graph Databases  AI and Robotics
	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         Research Groups:  ACTO  Verification Research Interests:  Automata Theory  Game Theory  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
	Tony Tan   Lecturer email     Research Groups:  Verification Research Interests:  Satisfiability Testing  Dependency Quantified Boolean Formulas  Graph Neural Networks  Logic in Computer Science  Two-Variable Logic  DQBF Applications
	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  Infinite-state Systems  Temporal Or Probabilistic Modalities
	Dominik Wojtczak     Professor email         Research Groups:  ACTO  EcCo  Verification Research Interests:  Probabilistic Systems  Game Theory  Coalition Games  Control Theory  Verification Of Embedded Systems  Security  Reinforcement Learning
	Frank Wolter     Professor email Ashton 2.04       Research Groups:  KR  Verification Research Interests:  Knowledge Representation  Reasoning  Logic  Ontologies
	Shufang Zhu     Lecturer email Ashton 3.20     Research Groups:  Verification

Postdocs

	Michal Ajdarow Postdoc   Supervisors:  Patrick Totzke Research Groups:  Verification
	Soumyajit Paul   Postdoc   Supervisors:  Sven Schewe Research Groups:  ACTO  Verification  EcCo Research Interests:  game theory  verification
	Sam Thompson Postdoc email     Supervisors:  Tony Tan Research Groups:  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
	Sarvin Bahmani PhD student   Supervisors:  Sven Schewe Research Groups:  Verification Research Interests:  Automata Theory  Game Theory  Verification
	Yujian Cao PhD student   Supervisors:  Shufang Zhu Research Groups:  Verification
	Klara Rawska-Furman PhD student   Supervisors:  Louwe Kuijer Research Groups:  Verification