Isil Dillig
Isil Dillig is a computer science professor at the University of Texas at Austin, where Dillig leads the UToPiA research group, and co-founded the blockchain security company Veridise. Dillig researches programming languages and formal methods, including program synthesis, software verification and techniques for checking zero-knowledge circuits.