Isil Dillig 是 Veridise 的聯合創始人兼總裁。她是德克薩斯大學奧斯汀分校計算機科學教授.