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. 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.



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