I focus on making neural networks more secure and reliable guided by theory, verification, and static analysis. Currently, I am working on neural network verification and provably robust neural network training. I worked on the theory side of ensemble training, blackbox neural network attacks, applications of machine learning, and software testing. I have broad interests in theory, programming languages, machine learning, and software engineering.