School of Engineering
Showing 101-150 of 2,296 Results
-
Clark Barrett
Professor (Research) of Computer Science
Current Research and Scholarly InterestsAutomated reasoning; satisfiability modulo theories (SMT); formal methods;
formal verification; verification of smart contracts; verification of neural
networks; AI safety; security; hardware design productivity and verification. -
Gill Bejerano
Professor of Developmental Biology, of Computer Science, of Pediatrics (Genetics) and of Biomedical Data Science
Current Research and Scholarly Interests1. Automating monogenic patient diagnosis.
2. The genomic signatures of independent divergent and convergent trait evolution in mammals.
3. The logic of human gene regulation.
4. The reasons for sequence ultraconservation.
5. Cryptogenomics to bridge medical silos.
6. Cryptogenetics to debate social injustice.
7. Managing patient risk using machine learning.
8. Understanding the flow of money in the US healthcare system. -
Michael Bernstein
Associate Professor of Computer Science
BioMichael Bernstein is an Associate Professor of Computer Science at Stanford University, where he is a Bass University Fellow and STMicroelectronics Faculty Scholar. His research in human-computer interaction focuses on the design of social computing systems. This research has won best paper awards at top conferences in human-computer interaction, including CHI, CSCW, ICWSM, and UIST, and has been reported in venues such as The New York Times, Science, Wired, and The Guardian. Michael has been recognized with an Alfred P. Sloan Fellowship, UIST Lasting Impact Award, and the Patrick J. McGovern Tech for Humanity Prize. He holds a bachelor's degree in Symbolic Systems from Stanford University, as well as a master's degree and a Ph.D. in Computer Science from MIT.
