Shortly before joining Carnegie Mellon, he received his PhD from the University of Wisconsin-Madison in 2015, where his research covered topics in privacy, security, formal methods, and program analysis. His work on privacy in personalized medicine won the best paper award at the USENIX Security Symposium in 2015, and in 2011 he was selected as a recipient of the Microsoft Research Graduate Fellowship.