
Registered user since Fri 10 Apr 2015
Loris D’Antoni is an Associate Professor in the Department of Computer Sciences at the University of Wisconsin-Madison. His research is centered around building fundamental verification and synthesis techniques that help programmers write software that meets their intent. He has won the Phillip R. Certain-Gary D. Sandefur Letters & Science Distinguished Faculty Award, an NSF CAREER Award, the Microsoft Research Faculty Fellowship, Google and Facebook Faculty Awards, and the Morris and Dorothy Rubinoff Dissertation Award. Loris received his Bachelor and master’s in computer science from the University of Torino in 2008 and 2010, respectively, and his PhD in Computer Science from the University of Pennsylvania in 2015.
Contributions
2023
Static Analysis Symposium
2022
SPLASH
2021
2020
PLDI
- Author of Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems within the PLDI Research Papers-track
- Author of Proving Data-Poisoning Robustness in Decision Trees within the PLDI Research Papers-track
- Committee Member in SRC Committee within the Student Research Competition-track
- Author of Detecting Network Load Violations for Distributed Control Planes within the PLDI Research Papers-track