Assistant Professor
University of Maryland, College Park
email: leonidas at umd.edu

About Me - CV

Since July 1st 2020, I'm an assistant professor at the University of Maryland, College Park and a proud member of the PLUM lab. My research uses programming language abstractions to make it easier to write, debug, and reason about software and their specifications, with a particular focus on random testing, formal verification, and their interplay. If you share the same interests, send me an e-mail! You can find more information about my current projects:


…or you can find more in the archives.