Scholar
Sven Schewe
Google Scholar ID: CG0CxlEAAAAJ
Professor of Computer Science, University of Liverpool
Citations & Impact
Citations
1,793
H-index
22
i10-index
47
Publications
20
Co-authors
41
list available
Publications
Resume (English only)
Academic Achievements
- Co-Investigator (CI) on the EPSRC Programme Grant 'Digital Navigation of Chemical Space for Function' (Dec 2021–May 2027)
- CI on EPSRC project 'Games for Good' (Mar 2024–Feb 2027), studying history determinism
- Host of Royal Society Wolfson Visiting Fellowship project with Ashutosh Trivedi: 'Correct-by-Construction Reinforcement Learning for Implantable Medical Devices' (Oct 2024–Sep 2026)
- Principal Investigator (PI) with Daniel Hausmann on Horizon Europe project 'Lazy Synthesis Techniques' (Sep 2024–Sep 2026)
- PI with Dominik Wojtczak et al. on EPSRC project 'TRUSTED: SecuriTy SummaRies for SecUre SofTwarE Development' (Sep 2023–Aug 2026)
- PI with Pierre Ohlmann on Horizon Europe project 'Valuation Structures for Infinite Duration Games' (from Dec 2023)
- PI with Yong Li on Horizon Europe project 'Reinforcement Learning for Finite Horizons' (Oct 2022–Oct 2024)
- PI on EPSRC New Horizons project 'Under the Branches of Universal Trees' (Apr 2023–Sep 2024), studying non-terminating games
- PI with Daniele Dell'Erba on Horizon 2020 project 'Synthesising Game Solving Techniques' (Jul 2021–Jul 2023)
Research Experience
- Worked as a Systems Engineer in the Command and Control Systems Command of the German Navy after 1997, focusing on analysis, construction, specification, quality assurance, and project management of safety-critical systems
- Joined the Reactive Systems Group at Saarland University in 2004, beginning his academic career
- Currently Professor at the School of Computer Science and Informatics, University of Liverpool, leading the Trustworthy Computing group
- Founding member and inaugural leader of the Verification Group at the University of Liverpool
- Also affiliated with the Algorithms, Complexity Theory and Optimisation Group and the Institute for Risk and Uncertainty
