People (8 results)
Işıl Dillig

Işıl Dillig

University of Texas at Austin

all her degrees (BS, MS, and PhD) from Stanford University. …

Pavel Panchekha

Pavel Panchekha

University of Utah

… programming language techniques to meet challenges from all areas of computer science. …

Talia Ringer

Talia Ringer

University of Illinois at Urbana-Champaign

… is a future of verification that is accessible to all programmers, not just to experts …

Mooly Sagiv

Mooly Sagiv

Tel Aviv University

… automation, given a program and a requirement, automatically prove or disprove that all

Shriram Krishnamurthi

Shriram Krishnamurthi

Brown University, United States

… I am the Vice President for Programming Languages at Brown University in Providence, RI, USA. I’m not, really, but that’s what it says on my business card.

I believe tropical fruit are superior to all

Y. Annie Liu

Y. Annie Liu

Stony Brook University

… from Cornell University, all in Computer Science.

Annie Liu’s Design …

Eason Chen

Eason Chen

Accord Project

… at 2023 Sep. I will finish all the credits I need to graduate before 2022 Jan …

Viktor Kunčak

Viktor Kunčak

EPFL, Switzerland

… by thousands of students from all over the world. …