Ryan Beckett

About

I am a researcher in the Azure for Operators OCTO group.  My research interests lie primarily at the intersection of programming languages and networks, and I am broadly interested in topics spanning compilers, verification, static analysis, distributed systems, and networks. I currently have been focused on improving network reliability through ideas from formal methods, high-level abstractions, and AI/ML.