Ryan Wails

Computer Scientist
U.S. Naval Research Laboratory

ryan.wails [@] nrl.navy.mil

Ph.D. Student
Georgetown University

rsw66 [@] georgetown.edu
Picture of Ryan

About Me

I'm a computer scientist in the Formal Methods Section of the Center for High Assurance Computer Systems at NRL.
Our research group consists of Aaron Johnson, Rob Jansen, Paul Syverson, Matt Traudt, and me.

I'm also a Ph.D. student advised by Micah Sherr at Georgetown. Check out the Georgetown SecLab!

Download CV Google Scholar


Publications