Brian Zhengyu Li

Georgia Institute of Technology

PhD Student in Computer Science
College of Computing
Georgia Institute of Technology
Office: Klaus 2319
Email:
Advisor: Vijay Ganesh

Research Interest: Formal Methods + Machine Learning, SAT/SMT Solvers, Logic in Computer Science, Graph Theory & Combinatorics