Michael Pradel

Assistant Professor of Computer Science

Email: michael@binaervarianz.de
Phone: +49-6151-1622390

TU Darmstadt
Software Lab
Mornewegstrasse 32, Room 4.3.10
64293 Darmstadt, Germany

News


Research Interests

My research focuses on tools and techniques for building reliable, efficient, and secure software. To this end, I work on testing and analysis of complex software systems. As part of my research, I have contributed to techniques that detected thousands of bugs in widely used software. I'm particularly interested in JavaScript-based web applications, concurrency, and performance profiling.

Bio

I'm an assistant professor at TU Darmstadt. Previously, I was a postdoctoral researcher at the University of California, Berkeley and a lecturer and postdoctoral researcher at ETH Zurich, where I did my Ph.D. on program analyses for automatic and precise error detection. I have studied computer science at TU Dresden and engineering at Ecole Centrale Paris, and I visited EPFL for my master thesis. I have received the Software Engineering Award of the Ernst-Denert-Foundation for the best dissertation and the Emmy Noether grant (1.3 million Euro) by the DFG.

CV for download