On September 1st, Prof. Dr. Michael Pradel joined the Department of Computer Science as head of the “Software Lab” at the Institute of Software Technology.
Prof. Pradel studied computer science and engineering at TU Dresden, ECP, and EPFL. He received his PhD degree at ETH Zurich, with his thesis about “Program Analyses for Automatic and Precise Error Detection”. Afterwards, he was a postdoctoral researcher at the University of California, Berkeley, USA, and became an Assistant Professor at TU Darmstadt in 2014.
Since September 1st, Prof. Pradel is in Stuttgart, where he is following Prof. Plödereder who recently retired.
In the upcoming semester, starting October 14th, Prof. Pradel will offer two lectures (“Programming Paradigms” and “Program Analysis”), an advanced seminar (“Machine Learning for Programming”), and a practical course („Machine Learning-based Code Analysis“).