Ryan Doenges

Ryan Doenges is a Distinguished Postdoctoral Fellow at Northeastern University in Boston, working with Amal Ahmed. He holds a PhD from Cornell University under Nate Foster and completed undergraduate studies with Zach Tatlock.

His educational background includes:

• PhD in Computer Science, Cornell University
• Bachelor's degree, institution unspecified

Doenges' research focuses on enhancing programming safety through type systems and verification, specializing in program logics for effects/resources like concurrency and memory. His doctoral work established formal semantics and verification frameworks for the P4 network programming language, ensuring termination and correctness.

His publications (2017-2025) show consistent advancement from distributed systems verification to network programming (P4) and foundational program logics, culminating in categorical semantics for separation logic. Key themes include certified equivalence, stateful packet processing, and fibrational weakest preconditions.

No scientific awards are documented in available sources.

He formally supervised Tia Vu's Master's thesis (Cornell MS, now MIT PhD) and informally mentored eight students including Rudy Peterson (ETH Zürich PhD) and Amanda Xu (UW Madison PhD). No grant details are provided.

Doenges collaborates with Amal Ahmed's group at Northeastern and previously worked in Nate Foster's Cornell research team focused on network programming languages.