Victor Basili Postdoctoral Fellow

Department of Computer Science

University of Maryland

University Of Pennsylvania

Email: leonidaslamp at hotmail.com


About me

I am currently pursuing a joint PostDoc between the University of Maryland, College Park, under the advice of Mike Hicks, and the University of Pennsylvania, under Benjamin Pierce. I'm also a Victor Basilic Postdoctoral fellow. My research interests span programming languages, random testing and verification.

I defended my PhD at UPenn in May 2018, fortunate to be advised by Benjamin Pierce, on Random Testing for Language Design. During my PhD I did an internship at Microsoft Research Cambridge under Dimitrios Vytiniotis and Aditya Nori, working on generating adversarial counterexamples for deep convolutional neural networks.

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.