My specializations include Programming Languages, Machine Learning, and Robotics. I aim to utilize the rigorous theoretical tools developed for programming languages, to improve the robustness and compositionality of the state-of-the-art machine learning methods intended for solving difficult control problems. I am presently working with Renato Mancuso (my advisor), Kate Saenko, and Siddharth Mysore on power-efficient and performant attitude control on quadrotors through Reinforcement Learning.
I am interested in: Type Theory, Metaheuristics, Category Theory, Reinforcement Learning, Agent-Based Models, Control systems, and Differentiable Computation.