Stefan Leue (Preferred)
Stefan Leue
Full Professor, Computer and Information Science, University of Konstanz
Joined
May 2021
Names
Emails
****@uni-konstanz.de (Confirmed)
Personal Links
Career & Education History
Full Professor
Computer and Information Science, University of Konstanz (uni-konstanz.de)
2004 – Present
Advisors, Relations & Conflicts
PhD Advisee
Raffael Senn
2022 – 2025
PhD Advisee
Martin Kölbl
2015 – 2023
Expertise
causality
, system safety
2010 – Present
software and systems engineering
1995 – Present
formal methods
, model checking
, temporal logic
1990 – Present
Publications
Co-Authors
- Adrian Beer
- Alan Khoja
- Albert Zündorf
- Alberto Lluch-Lafuente
- Alessandro Fantechi
- Alin Stefanescu
- Andreas Rausch
- Andy Schürr
- Armin B. Cremers
- Bahareh Badban
- Barbara Paech
- Bernd J. Krämer
- Bernhard Rumpe
- Bernhard Westfechtel
- Christian Dax
- Christian Schilling
- Christoph Lüth
- Christoph Scheben
- Claus Lewerentz
- Darren D. Cofer
- David Boetius
- Dimitar Simeonov
- Dragan Bosnacki
- Evghenia Stegantova
- Fabian Bauer-Marquart