Kostas works on security audits and combines latest academic research and industry experience, integrating these insights into our in-house tool development.
Prior AuditHub and Veridise, Kostas’ research goal has been to aid developers in writing correct and efficient code by using a combination of program analysis and program synthesis techniques.
Kostas Ferles earned his Ph.D. from the University of Texas, Austin in December 2020, followed by a brief postdoctoral work. Throughout his time at UT, he worked under Işıl Dillig’s supervision and was a member of the UToPiA research group.
Prior to UT Austin, he received his B.Sc. and M.Sc. degrees (both in C.S.) from the University of Athens, Greece. During his master’s, he was working as a research assistant under the supervision of Yannis Smaragdakis.
Get detailed case study showing how formal verification stopped production vulnerabilities
Each case study breaks down actual vulnerabilities we discovered in production code, the mathematical proofs we used to catch them, and the specific verification techniques that prevented exploitation. See the exact tools and methodologies our clients use to ship secure protocols.
“AuditHub has an amazing tool, Picus, which enables RISC Zero to verify and prove the determinism of our ZK circuits. AuditHub integrated into our CI/CD and performs automated checks while we continue making improvements to our code. Amazing work!”
CEO & Co-founder at RISC Zero
Get detailed case study showing how formal verification stopped production vulnerabilities
Each case study breaks down actual vulnerabilities we discovered in production code, the mathematical proofs we used to catch them, and the specific verification techniques that prevented exploitation. See the exact tools and methodologies our clients use to ship secure protocols.
“AuditHub has an amazing tool, Picus, which enables RISC Zero to verify and prove the determinism of our ZK circuits. AuditHub integrated into our CI/CD and performs automated checks while we continue making improvements to our code. Amazing work!”
CEO & Co-founder at RISC Zero
