Scholar
Benjamin Lucien Kaminski
Google Scholar ID: KEt1bfkAAAAJ
Professor of Computer Science at Saarland University and Lecturer at University College London
Citations & Impact
Citations
1,279
H-index
22
i10-index
30
Publications
20
Co-authors
32
list available
Publications
Resume (English only)
Academic Achievements
- Awards: Distinguished Paper at POPL 2021, Best Paper Award at LOPSTR 2020, Ackermann Award for outstanding dissertations 2020, Nomination for the GI Dissertation Award 2020, Borchers Badge for doctoral degrees with distinction 2019, Best Paper Award at SUM 2018, Nomination for EATCS Best Paper Award at ETAPS (ESOP) 2018, EATCS Best Paper Award at ETAPS (ESOP) 2016. Teaching Awards Nominations: Nomination for Teaching Award at RWTH Aachen 2019, 2015. Other Honors: FITWeltweit Scholarship of the DAAD 2016, Select Attendee of 7th Heidelberg Laureate Forum.
Research Experience
- Current PhD Students: Tobias Gürtler, Lena Verscht, Anran Wang, Linpeng Zhang. Current Undergraduate Students: Fabian Fries, Lucas Kehrer. Former Students include Philipp Schröer, Lena Verscht, Lutz Klinkenberg, Kevin Batz, Yannik Schnitzer, Clara Scherbaum.
Education
- PhD Thesis: On weakest-precondition-style probabilistic program verification, which won the Ackermann Award for outstanding dissertations by the European Association for Computer Science Logic (EACSL) in 2020.
Background
- Research Interests: Quantitative aspects of formal verification, semantics and formal verification of probabilistic and quantum programs, non-classical models of computation, etc. Brief Introduction: Professor at Saarland University, Lecturer at University College London, Head of the Examination Board.
Miscellany
- Participates in program committees for several international conferences such as CAV 2024 & 2021, CONCUR 2024 & 2020, CSL 2024, ESOP 2023, ICALP 2022, LAFI 2024, LICS 2022, etc.
