Loris D'Antoni
Loris D'Antoni
Associate Professor, Computer Science and Engineering, University of California, San Diego
- Joined July 2019
Names
Emails
****@cs.wisc.edu (Confirmed)
, ****@ucsd.edu (Confirmed)
, ****@amazon.com (Confirmed)
Personal Links
Career & Education History
Associate Professor
Computer Science and Engineering, University of California, San Diego (ucsd.edu)
2024 – Present
Assistant Professor
Computer Sciences, University of Wisconsin, Madison (wisc.edu)
2015 – 2024
PhD student
CS, University of Pennsylvania (upenn.edu)
2010 – 2015
Advisors, Relations & Conflicts
PhD Advisee
Kanghee Park
2021 – Present
PhD Advisee
Anna Meyer
2020 – Present
PhD Advisee
Yuhao Zhang
2018 – Present
PhD Advisee
Jinwoo Kim
2018 – Present
Expertise
formal methods
Present
programming languages
Present
program synthesis
Present