cv
Please contact me for my full resume/CV.
Awards and Recognition
- Distinguished Artifact Reviewer at ISSTA'2021
- Nominated for the Ernst Denert Software-Engineering-Preis 2020
- infos e.V. Award for outstanding Master Degree, 2017
- Scholarship ("Deutschlandstipendium") for talented and high-performing students by the German government, University of Stuttgart and industry partners (2012-2016)
Education
- Dr. rer. nat. (~ Ph.D.), Computer Science
2016 - 2020, Humboldt-Universität zu Berlin, Germany
Topic: Hybrid Differential Software Testing
Advisor: Prof. Lars Grunske
- Master of Science (M.Sc.), Software Engineering
2013 - 2016, University of Stuttgart, Germany
Thesis Title: Model Counting of String Constraints for Probabilistic Symbolic Execution
Advisor: Dr. Antonio Filieri
- Bachelor of Science (B.Sc.), Software Engineering
2010 - 2013, University of Stuttgart, Germany
Thesis Title: Graphical User Interface for the Analysis of Dependency Graphs
Advisor: Dr. Ivan Bogicevic
Working Experience
- Professor (Tenure-Track W2 to W3)
Jul 2024 - present, Ruhr University Bochum, Germany - Assistant Professor (Tenure-Track)
Aug 2023 - May 2024, Singapore University of Technology and Design, Singapore - Research Assistant Professor
Dec 2021 - Aug 2023, National University of Singapore, Singapore
- Postdoctoral Research Fellow
Sep 2020 - Nov 2021, National University of Singapore, Singapore
- Research Associate (Doctoral Student)
Apr 2016 - Sep 2020, Humboldt-Universität zu Berlin, Germany
- Visiting Researcher
Sep 2017 - Jan 2019, Carnegie Mellon University Silicon Valley, CA, USA
(two visits, in total 10 months)
- Working Student
Apr 2015 - Mar 2016, itestra GmbH, Stuttgart, Germany
- Software Development Intern
Oct 2014 - Mar 2015, itestra GmbH, London, UK
- Student Research Assistant
Apr 2013 - Mar 2014, University of Stuttgart, Germany
- Student Teaching Assistant
2012 - 2014, University of Stuttgart, Germany
- Junior Software Developer (Working Student)
2010 - 2011, CDA IT Systems GmbH, Backnang, Germany
Academic Genealogy
Check out my academic genealogy via the Mathematics Genealogy Project!