Isil Dillig 是 Veridise 的联合创始人兼总裁。她是德克萨斯大学奥斯汀分校计算机科学教授.