معرفی
Ryan Doenges is a Distinguished Postdoctoral Fellow at Northeastern University working with Amal Ahmed. Previously, he completed his PhD at Cornell University under Nate Foster and was an undergraduate student with Zach Tatlock. His research focuses on making risky programming domains safer through types and formal verification techniques.
Dr. Doenges' research interests include:
- Verification of programming languages and systems
- Networking and distributed systems
- Type systems and program logics for resource management
- P4 network programming language
- Memory safety and interoperation between memory managers
- Categorical semantics for program logics
His publication record shows a clear trajectory from foundational work on P4 network programming (POPL 2021) through advanced verification frameworks (PLDI 2022, CPP 2023) to his current focus on categorical semantics for weakest preconditions (HOPE 2025). A consistent thread throughout his work is the application of rigorous formal methods to practical networking and systems problems, with increasing sophistication in the logical frameworks employed.
Scientific recognition:
- Distinguished Postdoctoral Fellowship at Northeastern University
Dr. Doenges has mentored multiple students including Tia Vu (supervised her Cornell MS thesis, now at MIT PhD), Rudy Peterson (Cornell BA to ETH Zürich PhD), and Amanda Xu (Cornell BS to UW Madison PhD). He has taught as a TA-Instructor for CS 3110 at Northeastern and leads undergraduate reading groups on PL and verification topics. His service includes program committee work for ESOP, LICS, and CPP conferences, plus community building through co-organizing LGBTea (2021-2023) and the Grad Seminar (2018-2019).
