School of Engineering
Showing 141-160 of 2,137 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.
