Loris D'Antoni

Loris D'Antoni is an Associate Professor in the Department of Computer Science and Engineering at the University of California at San Diego (UCSD). He is also a Visiting Academic at Amazon Web Services (AWS). His research focuses on helping people write trustworthy software through techniques in program synthesis, formal verification, and machine learning robustness.

• Bachelor and Master in Computer Science from University of Torino (2008, 2010)
• PhD in Computer Science from University of Pennsylvania (2015)

His research integrates programming languages, automata theory, and formal methods to ensure software reliability. Recent work explores semantics-guided synthesis and specification-aligned LLMs, with applications in network security, machine learning fairness, and automated code repair.

Key trends in his publications include program synthesis, formal verification, and trustworthy AI systems. He has contributed to tools like AutomataTutor and SemGuS, a framework for customizable synthesis problems using constrained Horn clauses.

• Phillip R. Certain-Gary D. Sandefur Distinguished Faculty Award
• NSF CAREER Award
• Microsoft Research Faculty Fellowship
• Google and Facebook Faculty Awards
• Best Paper Award at ICDCN 2023
• Distinguished Paper Award at SBES 2021

D'Antoni actively contributes to academic community service as a committee member in PLDI, OOPSLA, POPL, and CAV. He leads the Programming Systems Group at UCSD and collaborates with SemGuS research team on synthesis frameworks.