Ryan Doenges

Distinguished Research Fellow

Ryan Doenges
  • PhD in Computer Science, Cornell University 
  • BS in Mathematics, University of Washington 

Ryan Doenges is a distinguished postdoctoral fellow in the Khoury College of Computer Sciences at Northeastern University, based in Boston. 

Doenges joined Khoury College in 2023 to continue his research in programming language semantics and formal verification. In particular, he studies hardware design languages, which play a vital role in the development of computational accelerators and other emerging platforms. He works alongside other researchers, including Amal Ahmed, at Khoury College’s Programming Research Laboratory. 

Before Northeastern, Doenges was a graduate student at Cornell University, where he completed his thesis on the semantics of programming languages for computer networking.