I am the Chief Research Officer at Veridise, Inc, where our goal is to harden blockchain security with formal methods.

I received my Ph.D. from the University of Texas, Austin (UT Austin) in December 2020. After graduating, I extended my stay at UT Austin for a brief postdoc position (until May of 2021). All my years at UT, I was working under the supervision of Işıl Dillig and was a member of the UToPiA group. Prior to UT Austin, I received my B.Sc. and M.Sc. degrees (both in C.S.) from the University of Athens, Greece. During my master’s, I was working as a research assistant under the supervision of Yannis Smaragdakis.

‍