Return to Faculty Directory

Lampropoulos, Leonidas

Assistant Professor
5248 Iribe Center

Primary Areas 

Programming languages, random testing and formal verification.

Research Interests 

Using 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.

Clark School        UMIACS   CMNS