Home

About me

I am a PhD student at the University of Pennsylvania, fortunate to be advised
by Benjamin Pierce. My
research interests span programming languages, language based security and
verification both in the form of formal proofs and especially random
testing. I am also a member of the Penn PL Club.

Before that I was an undergraduate student at the School of Electrical and
Computer Engineering at the National Technical University of Athens where I
worked with Prof. Kostis Sagonas on a tool for automated random testing of Web
Services.