Işil Dillig

As President and Co-Founder of Veridise, Dr. Dillig shapes the company’s strategic direction and technical vision. Her focus is on advancing rigorous methods to secure blockchain ecosystems, ensuring that smart contracts, wallets, protocols, and zero-knowledge applications meet the highest standards of correctness and reliability. By bringing academic innovation into practical security workflows, she helps Veridise develop tools that reshape the future of web3 security.

Research & expertise
Her academic work bridges formal methods, program synthesis, and security, with an emphasis on:

• Automated verification of software and smart contracts
• Synthesis of correct-by-construction code from diverse specifications
• Formal verification of zero-knowledge circuits and blockchain protocols

These research directions directly power Veridise’s methodology, where provable correctness and automation strengthen both the depth and scalability of our audits.

Selected achievements

• Author of over 100 peer-reviewed publications in top venues across programming languages, formal methods, and security.
• Regular invited speaker at international conferences and industry events on topics ranging from program verification to blockchain security.
• Recipient of the Alfred P. Sloan Research Fellowship and the Robin Milner Young Researcher Award, recognizing contributions to programming languages and verification.
• Principal Investigator on numerous NSF and DARPA projects advancing program synthesis, verification, and security.
• Multiple Best Paper Awards at flagship programming languages conferences, including POPL, PLDI, and OOPSLA.