Kostas Ferles

Kostas Ferles is currently the Chief Research Officer at Veridise since June 2023. Before that, they were a Postdoctoral Fellow at The University of Texas at Austin from January 2021 to May 2022. Kostas also worked as a Ph.D Student at the same university from August 2015 to December 2020. In 2016, Kostas was a Research Intern at Microsoft for three months. Prior to that, they served as a Research Assistant at the University of Athens from November 2012 to June 2015. In 2013, Kostas worked as a Summer Intern at LogicBlox, where they designed and developed a framework for C/C++ program analysis.

Kostas Ferles attended the University of Texas at Austin but the specific start and end years are not provided. Kostas obtained a Bachelor of Science (B.Sc.) degree in Computer Science from Ethnikon kai Kapodistriakon Panepistimion Athinon, which they pursued from 2008 to 2012. Later, they pursued a Master of Science (M.Sc.) degree in Computer Systems Technology from the same university from 2012 to 2014.