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.