School of Engineering
Showing 141-160 of 2,138 Results
-
Clark Barrett
Mizuki Asano and Thomas McGrath Professor
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 and of Pediatrics (Genetics)
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. -
Younes Bensouda Mourri
Adjunct Lecturer, Computer Science
BioYounes was born and raised in Morocco. He currently teaches Artificial Intelligence on campus and online at Stanford University. He has worked on Coursera's #1 Course: Machine learning and #1 Specialization: Deep Learning. Younes co-created 3 Artificial Intelligence courses for graduate students at Stanford. He also designed and taught the Natural Language Processing Specialization on Coursera with Lukasz Kaiser.
