Search people for 'all'
Marcel Moosbrugger
TU Wien
… are all around us and influence our daily lives. Using formal methods can not only …
Işıl Dillig
University of Texas at Austin
… all her degrees (BS, MS, and PhD) from Stanford University. …
Pavel Panchekha
University of Utah
… programming language techniques to meet challenges from all areas of computer science. …
Talia Ringer
University of Illinois at Urbana-Champaign
… is a future of verification that is accessible to all programmers, not just to experts. I …
Mooly Sagiv
Tel Aviv University
… automation, given a program and a requirement, automatically prove or disprove that all …
Shriram Krishnamurthi
Brown University
… 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 …
Emina Torlak
Amazon Web Services, USA
… is a solver-aided language that powers verification and synthesis tools for all …
Y. Annie Liu
Stony Brook University
… from Cornell University, all in Computer Science.
Annie Liu’s Design …
Viktor Kunčak
EPFL, Switzerland
… by thousands of students from all over the world. …
Drew Purves
Google DeepMind
… . * Fortune Magazine ‘Big Data All Star’ 2015; Wired Magazine ‘Smart List’ 2012; WEF …