Brian Zhengyu Li — Georgia Tech

Summary

Brian Zhengyu Li is a PhD candidate in Computer Science at Georgia Tech working on automated reasoning, SAT/SMT solvers, computer algebra systems, and machine learning.