Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
People (4 results)
Isil Dillig

Isil 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. …

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