Leonidas Lampropoulos


About Me

I am a PhD student at the University of Pennsylvania, advised by Benjamin Pierce. My research interests span programming languages, language based security and verification both in the form of formal proofs and 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.



Last updated: November 23rd, 2013