Faculty Directory

Lampropoulos, Leonidas

Lampropoulos, Leonidas

Assistant Professor
Computer Science
Maryland Cybersecurity Center
UMIACS
5248 Iribe Center
Website(s):

EDUCATION

  • Diploma, National Technical University of Athens, 2012
  • Ph.D., University of Pennsylvania, 2018

BACKGROUND

Leonidas Lampropoulos is an assistant professor in the Department of Computer Science with a joint appointment in the University of Maryland Institute for  Advanced Computer Studies. He is a core faculty member in the Maryland Cybersecurity Center and co-director of the Lab for Programming Languages at the University of Maryland (PLUM). 

Lampropoulos's 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.

He previously completed an internship at Microsoft Research Cambridge working on generating adversarial counterexamples for deep convolutional neural networks.

Lampropoulos received his doctorate in computer science from the University of Pennsylvania. He completed a joint postdoctoral fellowship between the University of Maryland and the University of Pennsylvania. Lampropoulos was also a Victor Basili Posdoctoral Fellow.

  • Formal Verification
  • Random Testing
  • Programming Languages

Lampropoulos Receives NSF CAREER Award

The funding supports efforts to advance a randomized testing technique known as “fuzzing."

MC2 Kicks Off Third Year of Postdoctoral Fellowship Program

The fellowships offer an opportunity to work closely with MC2 faculty in multiple areas of cybersecurity.

Lampropoulos Receives $540K NSF Award to Advance Proof Engineering Software and Protocols

The project aims to advance the development and maintenance of large and evolving software verification projects that use proof assistants.

Maryland Cybersecurity Center Kicks Off Second Year of Postdoctoral Fellowship Program

The fellowship offers an opportunity to work closely with faculty and graduate students in the center.

New Faculty Member Brings Wide Range of Secure Software Development Skills

Leonidas Lampropoulos's research focuses on using programming language abstractions to make it easier to write, debug, and reason about software and their specifications

Graduating Students and Postdocs Affiliated with MC2 Accept Positions in Academia and Industry

Being hired by top universities and companies is a testament to their creativity, hard work and ambition.

Edit your faculty profile