SOFTWARE LAB

The Software Lab is a research group led by Michael Pradel in the Department of Computer Science at the University of Stuttgart . Our research focuses on tools and techniques for building reliable, efficient, and secure software. To this end, we work on testing and analysis of complex software systems. As part of our research, we have contributed to techniques that detected thousands of bugs in widely used software.

Primary location: Stuttgart Germany