Isil Dillig is the Co-Founder & President at Veridise.She is a Professor of Computer Science at The University of Texas at Austin.