Home


Programming Languages Group

Department of Computer and Information Science

University of Pennsylvania

Levine Hall 513

Email: llamp at cis.upenn.edu

CV

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.