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.
