He has 10 years of software verification experience in both industry and academia. Currently he is a Ph.D. student in computer science at the University of Missouri and received a B.S. in computer science from UIUC in 2007.