Brian Zhengyu Li

Georgia Institute of Technology

PhD Student in Computer Science
College of Computing
Georgia Institute of Technology
Office: Klaus 2319
Email:  zli3081@gatech.edu
Advisor: Vijay Ganesh

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

 

I am a PhD Student in Computer Science at Georgia Institute of Technology advised by Professor Vijay Ganesh. I hold a Bachelor of Science in Mathematics from the University of Toronto and a master degree in Computational Mathematics from the University of Waterloo.

I work on combining (logical) reasoning and (machine) learning to build systems that solve open Math and Physics problems.


Selected Publications

Citations: 102   Erdös #: 3  

2024

2022

2021


Awards and Honors More »

  • IJCAI Travel Grant - the 33rd International Joint Conference on Artificial Intelligence
  • Student Travel Scholarship - 36th International Conference on Computer Aided Verification
  • Resource Allocation Competitions ($18,841) - Digital Research Alliance
  • Best Speaker Award for Master Project Presentation - University of Waterloo
  • Ontario Graduate Fellowship - University of Waterloo
  • Dean's List Scholar - University of Toronto
  • Best VR/AR Application - HackWestern Hackathon 2020
  • Best Machine Learning Application Award - Hack the Six Hackathon 2019
  • Third Place - Scotiabank & University of Toronto Big Data & A.I. Competition 2019

Graduate Level Courses More »

  • CS 6515 Graduate Algorithms
  • CS 6601 Artificial Intelligence
  • CS 8903 Logic in Computer Science
  • STAT 940 Deep Learning
  • CM 730 Intro to Symbolic Computation
  • CM 762 Data Visualization
  • CM 740 Fundamentals of Optimization
  • CM 770 Numerical Analysis
  • QIC 710 Quantum Information Processing