Cesare Tinelli
6 posts
Cesare Tinelli
@cesare_tinelli
Automating reasoning since 1999
Katılım Haziran 2020
21 Takip Edilen60 Takipçiler
Congratulations @cesare_tinelli and Aaron Stump. This is very well deserved.
CAV@confCAV
Congratulations to the 21 recipients of the 2021 CAV Award! #21in21 🎉 The award recognizes their "pioneering contributions to the foundations of the theory and practice of satisfiability modulo theories (SMT)." #cav21
English
@Jim_in_Oregon This is a sad day for the whole automated verification community. Ed truly was one of the great ones. I feel privileged to have know him. My heartfelt condolences.
English
My father, Edmund M Clarke, passed away from Covid today. He won the 2007 Turing Award for computer science. While he always had high expectations when it came to academic success, he also taught me to hit baseballs, to fish, and to travel worldwide. I will miss him dearly.
English
Cesare Tinelli retweetledi
Hello World! I'm on twitter. And I want to tell you about my favourite thing about formal methods tools.
It's not the formal guarantees. It's the logos! Here's my top 10.
English
@ShriramKMurthi Shriram, I agree whole-heartedly with your views on this matter. Before I share your blog post in other places, are you going to add you name on it eventually? 🙂
English
I decided to write up some of my thoughts about this.
parentheticallyspeaking.org/articles/pls-n…
Shriram Krishnamurthi (primary: Bluesky)@ShriramKMurthi
Respectfully disagree. This is the basis of my "PL semantics as natural science" work and talks. We invented *some* things, but a lot of phenomena were not anticipated (and hence not "invented"). Knowing the atoms doesn't enable you to predict all the behaviors of all molecules.
English