Loris D'Antoni

Loris D'Antoni is an Associate Professor at the University of California San Diego, affiliated with the Programming Systems Group and serving as a visiting academic at AWS. Previously, he co-founded a research group at UW-Madison.

His research focuses on trustworthy software through

• Program synthesis (e.g., SemGuS toolkit)
• Formal verification of machine learning and network protocols
• Automata theory and symbolic constraints
• Trustworthy LLMs with grammar alignment

Recent work explores semantics-guided synthesis and unrealizability logic, with applications to decision trees, LSTMs, and network routing. Publications span top venues like PLDI, OOPSLA, NeurIPS, and CAV.

Notable scientific awards include

• Best Paper Award at ICDCN 23
• Distinguished Paper Award at SBES 21
• Oral Presentation at EMNLP 21
• Nomination for EAPLS Award (part of ESOP 20)

He teaches courses in programming languages (CS-536) and synthesis/verification (CS-703), and actively contributes to program committees at conferences like PLDI, CAV, and POPL.