Stanford University
Showing 961-980 of 2,183 Results
-
Anshul Kundaje
Associate Professor of Genetics and of Computer Science
Current Research and Scholarly InterestsWe develop statistical and machine learning frameworks to model gene regulation and decipher the genetic and molecular basis of disease
-
Hanna Lachnitt
Ph.D. Student in Computer Science, admitted Autumn 2020
BioI am a fourth year PhD student advised by Clark Barrett and part of the CENTAUR lab at Stanford University. My research interests lie in automated reasoning and formal verification. I am currently working on proofs for SMT solvers.