Vijay holds a PhD in computer science from Stanford University. He has worked at MIT, University of Waterloo, and is now a professor at Georgia Tech. Vijay’s area of research is the theory and practice of SAT/SMT solvers, and their application in AI, software engineering, security, mathematics, and physics. In this context he has led the development of many SAT/SMT solvers, most notably, STP, Z3str family of string solvers, AlphaZ3, MapleSAT, AlphaMapleSAT, and MathCheck. More recently he has started working on neurosymbolic AI, i.e., combinations of automated reasoning and machine learning.