Faculty Profiles
Loris D'Antoni
Associate Professor, Computer Science & Engineering
Software, specification-aligned LLMs, semantics-guided synthesis, machine learning
D’Antoni focuses on helping people write software they can trust. His research combines formal techniques and machine learning approaches to generate computer programs that match human intents and to help people understand what the software they wrote does. His work has been applied to decision-making software, network configurations, and personalized education.
Capsule Bio:
Before joining UC San Diego in 2024, D'Antoni was an associate professor at the University of Wisconsin at Madison. He earned his Ph.D. at the University of Pennsylvania.
