School of Engineering
Showing 21-40 of 104 Results
-
Clark Barrett
Corbel 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)
On Partial Leave from 2026-07-16 To 2026-08-31Current 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.
