Leonidas Lampropoulos

Leonidas Lampropoulos is an assistant professor of computer science with an appointment in the University of Maryland Institute for Advanced Computer Studies.

His research focuses on advancing secure software development through programming language abstractions, property-based random testing, and formal verification. Lampropoulos’s innovative work combines machine-discovery techniques with automated code testing to improve software security and reduce engineering costs.