UC Santa Barbara
Santa Barbara, CA 93106
Chu's research interests include database systems, formal methods and applied cryptology. His dissertation focused on developed theories, algorithms, and systems for automated reasoning of database queries. This requires leveraging both interactive theorem prover and contraint solver techniques.
PhD Computer Science, University of Washington
BS Software Engineering, Wuhan University