His research interests include multiple aspects of computer security, including systems assurance grounded on formal methods and security in the Internet of Things (especially devices for the Smart Grid and charging and discharging of electric vehicles). He received his PhD in Computer Sciences from Purdue University, and a dual B.S. in Computer Science and Mathematics from Heidelberg College.