University of California — Berkeley
Princeton University
Concurrency and Security Verification in Heterogeneous, Parallel Systems
Stanford University
Towards accurate and reliable artificial intelligence methods for medical image interpretation