I am Tanmay Khandait, a PhD student in Computer Science at Arizona State University, researching at the intersection of Artificial Intelligence, Verification and Testing and Mathematical Optimization.

I have always been curious about how things work, be it academics, research, sports, or a simple board game. This has motivated me to explore area of research where theory meets application.

If you dont find me working, you will find me playing tennis, racket-ball, running, hiking, playing the drums or merrily skimming through research papers. Let's get in touch!

Tanmay @Grand Canyon