Jonathan Bright
0000-0001-5348-3374
Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Formal Methods in Verification
(3)
Distributed systems and fault tolerance
(3)
Algorithms and Data Compression
(3)
Parallel Computing and Optimization Techniques
(2)
Computer Graphics and Visualization Techniques
(2)
Affiliations
AT&T (United States)
Johns Hopkins University
Sabre (United States)
University of California, Berkeley