Sven Schewe

Professor Sven Schewe is affiliated with the University of Liverpool, focusing on finite games of infinite duration and automata over infinite structures. He emphasizes collaborative research and teaching, though admits to challenges in maintaining web pages.

• EPSRC grant (2017-2021) for Parity Games
• EPSRC grant (2015-2019) for Energy Efficient Control
• DST (UK) grant (2018-2020) for AI Test Metrics
• EU grant (2017-2019) for Parametrised Verification
• Leverhulme Trust grant (2011-2012) for Probabilistic Systems
• EPSRC grant (2010-2013) for Markov Decision Processes

His research spans formal verification, game theory, probabilistic systems, and secure computation. Key publications include work on parity games, adversarial training, and multi-party querying. He serves as a reviewer for major conferences and journals, including ACM Transactions on Computational Logic and IEEE Symposiums.

Scientific awards include the Dr. Eduard Martin Preis (2009) and the GI Dissertation Award (2009). He supervises theses on topics like semantic testing for neural networks, symbolic discrete control, and power grid frameworks.

As PhD Admission Tutor for Computer Science, he contributes to academic governance. His recent articles highlight collaborations in AI security, chemical space exploration, and automata theory.