Update 2025-02-06-michael-pradel.md

Author: joaomlneto

_events/2025-02-06-michael-pradel.md

@@ -1,15 +1,13 @@
 ---
 layout: event
-title: "SERG Seminar"
+title: LLM Agents for Program Repair and Project Setup
 categories: [events]
 start: "09:30"
 end: "10:30"
 speaker: Michael Pradel
 where: "Social Data Lab"
 ---
 
-# LLM Agents for Program Repair and Project Setup
-
 [Michael Pradel][pradel], Stuttgart University
 
 ### Abstract
@@ -26,4 +24,4 @@ Large language models (LLMs) are revolutionizing many aspects of software engine
 
 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. The has visited Facebook, UC Berkeley, and UCLA for sabbaticals. 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-symbolic 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), two ERC grants, best/distinguished paper awards at FSE (3x), ISSTA, ASE, and ASPLOS, and by being named an ACM Distinguished Member.
 
-[pradel]: https://software-lab.org/people/Michael_Pradel.html
+[pradel]: https://software-lab.org/people/Michael_Pradel.html