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 – Present
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