Stefan Leue

Registered user since Sun 30 Oct 2016

Name:Stefan Leue

since 2004: Full Professor and Chair for Software and Systems Engineering, Department of Computer Science, University of Konstanz, Germany

2000-2004: Professor of Computer Networks and Telematics, Department of Computer Science, University of Freiburg, Germany

1995-2000: Assistant Professor, Associate Professor (with tenure), Department of Electrical and Computer Engineering, University of Waterloo, Canada

1998: Member of Technical Staff, Bell Labs, Murray Hill, USA

1991-1995: PhD in Computer Science, Universty of Berne, Switzerland

1990: Diploma in Computer Science, University of Hamburg, Germany

Visiting Professor and Visiting Scholar: Université Joseph Fourier, Grenoble, France, ETH Zurich, Switzerland, New York University, USA, Vienna University of Technology, Austria

Affiliation:University of Konstanz
Research interests:ormal methods, model checking, causality checking, SMT solving, timed systems, automated repair, system safety, automotive software, machine learning, intelligent systems, legal tech


Show activities from other conferences

POPL 2023-profile
View general profile