-
EECS department, is affiliated with the Berkeley AI Research Lab, Computational Precision Health, and the Center for Human-Compatible AI. We develop AI methods for applications in the health and social
-
employ state-of-the art sequencing methods to profile somatic mutations across different primate species. There is a particular focus on structural variation and employing long-read sequencing methods
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions