Vijay Ganesh
Professor of Computer Science
Georgia Tech
Participating universities
A collaboration of mathematicians, logicians, and computer scientists working across institutions to teach machines to reason.
Participating universities
Professor of Computer Science
Georgia Tech
Professor of Mathematics
Rutgers University
Associate Research Scholar
Princeton University
Research Scientist
Texas Advanced Computing Center,
UT Austin
Mathematician and Software Architect
Texas Advanced Computing Center,
UT Austin
Professor of Electrical & Computer Engineering
Georgia Tech
PhD Student in CS
Georgia Tech
PhD Student in CS
University of Pennsylvania
PhD Student in CS
Georgia Tech
MS Student in CS
Georgia Tech
MS Student in CS
Georgia Tech
PhD Student in ISyE
Georgia Tech
BS Student in CS & ME
Georgia Tech