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.