School of Engineering
Showing 21-40 of 103 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.
