SPLASH 2024 (series) / Loris D'Antoni
Registered user since Fri 10 Apr 2015
Name:Loris D'Antoni
Bio:
Loris D’Antoni is an Associate Professor in the Department of Computer Science and Engineering at UCSD. His research helps people write code they can trust. 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.
Country:United States
Affiliation:UCSD
Personal website: https://cseweb.ucsd.edu/~ldantoni/
X (Twitter): https://x.com/lorisdanto
Research interests:Programming languages, verification, synthesis, automata
Contributions
SPLASH 2024-profile
View general profile
View general profile