Hello Y'all

I'm Kostas, thanks for dropping by. If you'd like to learn more about me, click the fancy arrow!

About Kostas

I am a Computer Science (C.S.) Ph.D. student at the University of Texas at Austin (a.k.a. UT). My advisor is Işıl Dillig and I am a member of the UToPiA research lab. My research field is Programming Languages, and specifically I work on static analysis and software verification. My current goal is to design and implement practical tools that detect bugs and security vulnerabilities in real‑world software applications. Prior to UT, 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. If you would like to find out more about me, you can download my CV.

List of Publications

Coming soon!


If you have something interesting to say just shoot me an email.
You can also follow me on your favorite social network!