AI + SE Seminar Series: Michael Pradel
The incredible advances in AI/ML (Artificial Intelligence/Machine Learning) over the last few years are enabling the development of AI-enabled software systems. The trustworthiness and quality assurance of such systems remains a difficult challenge. At the same time, foundational models like Large Language Models (LLMs) show that various software development tasks (e.g., coding) can now be supported with AI-based suggestions (e.g., intelligent code completions)
The AI+SE seminar series invites speakers from academia and industry who are working at the intersection of AI and SE (SE = Software Engineering), such as the design of AI-enabled systems, quality assurance and testing of AI/ML models and their operationalization into software systems, as well as the modernization of traditional software development practices and works with ML-based techniques.
Learn more about the AI + SE Seminar Series.
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 (3x), ISSTA, ASE, and ASPLOS, and by being named an ACM Distinguished Member.
For more details, please visit: https://software-lab.org/people/Michael_Pradel.html