Circa 2015, Athens, Ohio, USA

Biography

I am a doctoral student (P.hD) at the University of Waterloo in the David Cheriton School of Computer Science, where I am tremendously lucky to be supervised by Vijay Ganesh. Previously, I received my masters (M.Math) in computer science from the University of Waterloo and a bachelors in Mathematics (B.S) and Computer Science (B.S) from Ohio University.

My current research focus is on Artificial Intelligence (AI) and its applications. I am particularly interested in engineering systems that dually leverage deductive reasoning tools with abductive and inductive reasoning tools. Specifically, my research focuses on:

1. Automated Reasoning: propositional satisfiability; satisfiability modulo theories; mixed-integer linear programming; and solvers

2. Machine Learning: Meta-learning; Algorithm Selection; Active learning; Machine teaching; Symbolic Regression;

3. AI Safety: Verification of Neural Networks

4. Applications of AI: Reinforcement Learning driven Fuzzing and Testing; Physics and Automating Scientific Discovery; Finance