Sven Schewe

Sven Schewe is a Professor in the Department of Computer Science at the University of Liverpool, affiliated with the School of Electrical Engineering, Electronics and Computer Science. He leads the AI Section and is a founding member and former leader of the Verification Group. He also has secondary affiliations with the Algorithms, Complexity Theory and Optimisation Group and the Institute for Risk and Uncertainty.

Research Interests:

His research centers on automata theory and game theory, particularly their applications in the verification and synthesis of reactive and safety-critical systems. He investigates infinite-duration games, automata over infinite words and trees, and develops algorithms and tools for automated verification, synthesis, and learning of optimal control strategies. His work extends to reinforcement learning with formal guarantees, cyber-physical systems, and AI safety.

Recent Research Trends:

His recent publications demonstrate a strong integration of formal methods with machine learning, particularly in adversarial training, neural network robustness, and model-free reinforcement learning under omega-regular objectives. He also applies formal reasoning to interdisciplinary domains such as chemical space exploration and materials science.

Scientific Awards:

• Finalist for the ERCIM Cor Baayen Award 2010
• Dr. Eduard Martin Preis 2009
• GI Dissertation Award 2008

Advising and Grants:

He actively supervises numerous PhD students and postdoctoral researchers. He is Principal Investigator (PI) or Co-Investigator (CI) on multiple major grants, including EPSRC Programme Grants, Royal Society Fellowships, and Horizon Europe projects. His funded research spans topics such as game theory, verification, synthesis, reinforcement learning, and risk analysis. He has hosted visiting researchers and collaborated internationally with institutions in Germany, France, India, Taiwan, and the US.

Labs and Teams:

He co-founded and led the Verification Group and previously led the AI Section at the University of Liverpool. These groups focus on formal methods, automata, games, and their applications in AI and safety-critical systems.