2021 Phillip R. Certain & Gary D. Sandefur Distinguished Faculty Award recipient
Loris D’Antoni is an associate professor in the Department of Computer Sciences at the University of Wisconsin–Madison. There, he’s affiliated with the madPL (Madison Programming Languages) Group. His research is centered on building fundamental verification and synthesis techniques that help programmers write software that meets their intent. In particular, he’s currently focused on building practical and predictable program synthesis techniques that can be applied to computer networks, program repair, and machine learning. He has won an NSF CAREER Award, the Microsoft Research Faculty Fellowship, Google and Facebook Faculty Awards, and the Morris and Dorothy Rubinoff Dissertation Award. His papers were selected for special journal issues (TOPLAS, FMSD) and nominated for best paper awards (TACAS, ESOP). Loris received his Ph.D. in Computer Science from the University of Pennsylvania in 2015.
A word from Remzi Arpaci-Dusseau, Chair of Computer Sciences:
Loris’s research is in programming languages, focused on program synthesis to simplify and make efficient the process by which programmers can create programs that meet their intent. His work is highly recognized, as evidenced by his NSF Career award and Microsoft Faculty Research Fellowship (the first ever from the University of Wisconsin–Madison).