People (5 results)
Işıl Dillig

Işıl Dillig

UT Austin

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

Jongeun Lee

Jongeun Lee

UNIST (Ulsan National Institute of Science and Technology), Korea

… Jongeun Lee received his B.S. and M.S. in Electrical Engineering, and his Ph.D. in electrical engineering and computer science all from Seoul National University, Korea. In 2009 he joined UNIST (Ulsan National Institute of 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

Michel Steuwer

Michel Steuwer

University of Glasgow

… ://www.wwu.de/en) in Germany.

I am interested in all aspects of parallel programming …