Loris D'Antoni
@lorisdanto
Followers
8K
Following
6K
Media
1K
Statuses
10K
A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
San Diego, CA
Joined January 2010
Isil has been one of my very top role models in academia since I was a PhD student. When reading this I thought "Wait, I assumed she had already won Milner".
Just learned that @IsilDillig won the #SIGPLAN Robin Milner Junior researcher award this year! 🎈 🍾 The award goes to one outstanding mid-career PL researcher each year, and it’s hard to think of a more deserving candidate for it. Congratulations, Isil!
0
1
23
Growing fresh tomatoes is hard work, but it really pays off once your 1yo picks them up when you are not watching and squishes them into flat mush.
0
0
17
RT @awsTO: Here's a paper describing quantum computing using standard programming constructs, w/o linear algebra! . Goal: demystify quantu….
0
55
0
I can see why the student though I always wear "the hooded blue long-sleeve shirt"
0
0
1
The last question for my Software Foundations final was “Draw a comic about anything we learned in this class (e.g., Proving theorems with Coq, types, functional programming, Loris, etc.)” .Here are the best ones. 1/
3
7
154
When I moved to UCSD last year, Sorin was instrumental in making it all possible. He is a person who listens, cares, and gets stuff done. Good job Cornell on hiring the very top Dean.
NGL more than a little sad that my oldest colleague and friend at @ucsd_cse is off starting an exciting new adventure - but trust me @CornellCIS you could not have asked for a better new dean! Congratulations and all the very best Sorin!
1
3
34
RT @jeanfrancois287: @icmlconf .I just tried to upload my camera-ready version to OpenReview; however, the edit button is gone, even though….
0
4
0