Ryan Doenges
Ryan Doenges
Ryan Doenges
Ryan Doenges
Ryan Doenges
Pronouns: he/him
Bio
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.
Education
- PhD in Computer Science, Cornell University
- BS in Mathematics, University of Washington
Ryan Doenges
Pronouns: he/him
Bio
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.
Education
- PhD in Computer Science, Cornell University
- BS in Mathematics, University of Washington
© 2024 Northeastern University
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
x
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...
© 2024 Northeastern University
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
x
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...