Derek Egolf

(he/him/his)

PhD Student

Derek Egolf
  • Formal Methods
  • Synthesis of performant systems
  • Notions of approximate correctness
  • BS in Computer Science and Mathematics, Tufts University

Derek Egolf is a doctoral student at the Khoury College of Computer Sciences at Northeastern University, advised by Stavros Tripakis and Pete Manolios. His doctoral research, which he began in 2021 and expects to complete in 2026, focuses on formal methods.

Recognizing that automatic synthesis of correct-by construction programs often produces inefficient, unusable programs, Egolf is interested in synthesis algorithms that can produce correct and efficient systems. He is intrigued by approximate notions of correctness, which may make some of the problems more tractable.

Egolf has published multiple papers on formal methods with colleagues at Tufts University—one of which he presented at LangSec 2021—and is a member of Khoury College’s Formal Methods Group.