Short Bio

2022-present: Professor at the Faculty of Informatics and Data Science, University of Regensburg
2018-present: Associate Professor at the Department of Information Technology, Uppsala University
2017: Docent (comparable to Habilitation) in Computer Science
2011-2018: Researcher (Assistant Professor) at the Department of Information Technology, Uppsala University
2009-2010: Research assistant at the Oxford University Computing Laboratory
2008-2009: Intern at Microsoft Research Redmond (for altogether 6 months)
2008: PhD in Computer Science
2004-2009: PhD student in Computing Science at Chalmers University and Gothenburg University, Gothenburg, Sweden. Graduated 12/2008 with PhD degree. Main supervisor: Wolfgang Ahrendt
2004: Diploma degree (equivalent to MSc) in Computer Science
1999-2004: Studies of Computing Science and Mathematics at University of Karlsruhe, Germany

Awards

2013: Oscarspris of Uppsala University, for contributions to the field of program correctness
2005: SAP Award, best Computer Science degree in 2004 at the University of Karlsruhe
1998: Award by Bosch Telecom GmbH for excellent results in natural sciences

2020-2024: UPDATE, a five-year project funded by the Knut and Alice Wallenberg Foundation (Project leader: Wang Yi)
2019-2022: Vetenskapsrådet grant (VR, the Swedish Research Council): "VeriDeep: Programverifiering med hjälp av Maskininlärning" (Projektbidrag)
2019-2021: Microsoft PhD grant: "Machine Learning for Program Analysis and Defect Prediction"
2018-2023: Swedish Foundation for Strategic Research (SSF): "WebSec: Säkerhet i webb-drivna system" (Project leader: Andrej Sabelfeld)
2015-2018: Vetenskapsrådet grant (VR, the Swedish Research Council): "Satisfiability modulo Theories and Quantifiers" (Projektbidrag)
2013-2016: Microsoft PhD grant: "First-Order Satisfiability Modulo Theories"
2011-2014: Vetenskapsrådet grant: "Scalable Floating-Point Reasoning for Embedded Systems Analysis" (Projektbidrag - Unga forskare)
2010: Microsoft Software Engineering Innovation Foundation (SEIF) Award "Testing Embedded Software with the Z3 SMT Solver"