I am an Assistant Professor in the Department of Computer Science at Vanderbilt University. I received my Ph.D. in Computer Science at the University of Virginia. My research is at the intersection of Machine learning, Formal Methods, and Cyber-Physical Systems. Specifically, my work integrates Formal Methods and Machine Learning, and applies the integrative solutions to build safe, robust, and reliable Cyber-Physical Systems, especially in areas of Smart Cities and Healthcare.