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 automated reasoning systems that solve open Math and Physics problems. More concretely, one of my ongoing work is to combine SAT solvers' search capabilities with Computer Algebra Systems' mathematical domain knowledge to solve hard combinatorial problems.