Leonidas Lampropoulos

Leonidas Lampropoulos is an Assistant Professor of Computer Science at the University of Maryland, with an appointment in the University of Maryland Institute for Advanced Computer Studies (UMIACS). He leads research in Programming Languages and Software Engineering, focusing on formal verification, proof assistants, and scalable software development methodologies. His work addresses challenges in formalizing security properties, optimizing proof workflows, and advancing verified software for critical systems like distributed systems and autonomous vehicles.

He received the NSF CAREER Award in 2022 and co-led a $540K NSF-funded project (2021) to improve proof engineering tools and protocols. His academic contributions span programming language design, type systems, and testing frameworks, with notable collaborations through the Maryland Cybersecurity Center (MC²).

• Advised PhD students: Segev Elazar Mittelman, Alperen Keles, Oliwia Kempinski, Jacob Prinz, Finn Voichick.
• Key honors: NSF CAREER Award (2022), NSF Award for Proof Engineering (2021).
• Research partnerships: Collaborates with institutions like the University of Texas at Austin on proof assistant scalability.

His grants emphasize bridging software engineering practices with formal verification to enhance reliability in large-scale projects. Current efforts include improving proof assistant usability and integrating formal methods into mainstream software development.