Michael Pradel

Kurzbiografie

Prof. Dr. Michael Pradel ist Tenured Faculty am CISPA Helmholtz-Zentrum für Informationssicherheit und Professor an der Universität Stuttgart, die er nach seiner Promotion an der ETH Zürich, einer Postdoktorandenstelle an der University of California, Berkeley, und einer Assistenzprofessur an der TU Darmstadt aufgenommen hat. Er war für Sabbaticals bei Facebook, der UC Berkeley und der UCLA tätig. Seine Forschungsinteressen umfassen Softwaretechnik, Programmiersprachen, Sicherheit und maschinelles Lernen, mit einem Fokus auf Methoden zum Entwickeln zuverlässiger, effizienter und sicherer Software. Besonders interessiert er sich für neural-symbolische Softwareanalyse, die Analyse von Webanwendungen, dynamische Analysen und Testgenerierung. Michael wurde unter anderem mit dem Ernst-Denert-Preis für Softwaretechnik, einem Emmy-Noether-Stipendium der Deutschen Forschungsgemeinschaft (DFG), zwei ERC-Förderungen, Best-/Distinguished-Paper-Awards bei FSE (3x), ISSTA, ASE, ASPLOS und MSR ausgezeichnet sowie als ACM Distinguished Member geehrt.