Search people for 'all'
Dimi Racordon
HES-SO Valais/Wallis
… , and actively maintain a handful of open source software libraries. Most (if not all) of my …
Işıl Dillig
University of Texas at Austin
… all her degrees (BS, MS, and PhD) from Stanford University. …
Samuel Coward
University College London (UCL)
… Hi, I’m currently an 1851 Research Fellow in the Programming Principles and Logic group at UCL Computer Science. My supervisor is Professor Alexandra Silva. My research looks at all aspects of numerical hardware design and how we can …
Pavel Panchekha
University of Utah
… programming language techniques to meet challenges from all areas of computer science. …
Mooly Sagiv
Certora, inc.
… automation, given a program and a requirement, automatically prove or disprove that all …
Ankush Desai
Snowflake
… (model checking), fuzzing, model based testing, and runtime verification across 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 …
Saman Amarasinghe
Massachusetts Institute of Technology
… languages and compilers, all of which combine language design and sophisticated …
Viktor Kunčak
EPFL, Switzerland
… by thousands of students from all over the world. …