Ryan Beckett

About

I am a researcher in the Mobility and Networking 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 by both designing higher-level language abstractions for network automation as well as by applying ideas from formal methods to statically verify the correctness of network configurations.