FormaliSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
co-located with ICSE 2024
Michael Pradel

Registered user since Fri 18 Jul 2014

Name:Michael Pradel
Bio:

Michael Pradel is a full professor at the University of Stuttgart, which he joined after a PhD at ETH Zurich, a post-doc at UC Berkeley, an assistant professorship at TU Darmstadt, and a sabbatical at Facebook. His research interests span software engineering, programming languages, security, and machine learning, with a focus on tools and techniques for building reliable, efficient, and secure software. In particular, he is interested in neural software analysis, analyzing web applications, dynamic analysis, and test generation. Michael has been recognized through the Ernst-Denert Software Engineering Award, an Emmy Noether grant by the German Research Foundation (DFG), an ERC Starting Grant, best/distinguished paper awards at FSE (2x), ISSTA, ASE, and ASPLOS, and by being named an ACM Distinguished Member.

Country:Germany
Affiliation:University of Stuttgart
Research interests:Software Engineering, Programming Languages, Program Analysis, Machine Learning

Contributions

Show activities from other conferences

ICSE 2024-profile
View general profile