Stefan Leue

Registered user since Sun 30 Oct 2016

Name:Stefan Leue
Bio:

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

Country:Germany
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

Contributions

ProLaLa 2023 Formal Modeling and Analysis of Legal Contracts using ContractCheck
Show activities from other conferences

POPL 2023-profile
View general profile