Search people for 'all'
Philip Zucker
Draper
… A member of the formal methods group at Draper Labs, working on a constraint based compiler and binary verification using BAP. Interested in all things Datalog. …
Samuel Coward
Imperial College London, UK / Intel Corporation
… Hi, I’m currently an Imperial College London PhD student in the Circuits and Systems Group, under the supervision of Professor George Constantinides. My research looks at all aspects of numerical hardware design and how we can create fast …
Işıl Dillig
University of Texas at Austin
… all her degrees (BS, MS, and PhD) from Stanford University. …
Ankush Desai
Amazon Web Services
… (model checking), fuzzing, model based testing, and runtime verification across all …
Shiwei Liu
The University of Texas at Austin, Texas, USA
… ; and a PC member of almost all top-tier ML/CV conferences. Shiwei has co-organized …
Talia Ringer
University of Illinois at Urbana-Champaign
… is a future of verification that is accessible to all programmers, not just to experts. I …
Michel Steuwer
University of Edinburgh
… from the University of Münster in Germany.
I am interested in all aspects …
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. …
Saman Amarasinghe
Massachusetts Institute of Technology
… languages and compilers, all of which combine language design and sophisticated …