My research interests are deep learning for program synthesis, neural-symbolic reasoning, and adversarial machine learning. The goals of my research are to push forward the reasoning and generalization capabilities of neural networks, and empower more real-world deployment of deep learning techniques for challenging and security-critical applications. More information can be found in my Google Scholar page and personal website.
Learn more about how we do research
We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work