He received his doctorate from The University of Texas at Austin. He has over seven years of industry experience including internships at Microsoft and Google and partially overlapping seven years of teaching experience. His areas of research are automatic software verification and parallel algorithms. Nadeem Zahid