Aaron Gember-Jacobson View
Aaron Gember-Jacobson is an Assistant Professor of Computer Science at Colgate University. Aaron's research focuses on network configuration verification and synthesis. Aaron enjoys teaching Introduction to Computing, Operating Systems, Computer Networks, and a First Year Seminar entitled 'The Unreliable Internet.' Aaron received a Ph.D. and Master of Science in Computer Science from the University of Wisconsin-Madison and a Bachelor of Science in Computer Science from Marquette University. During his Ph.D., Aaron was awarded the Internet Engineering Task force (IETF) Applied Networking Research Prize (2015) and an IBM Ph.D. Fellowship.
Posts by Aaron Gember-Jacobson
The Verification-Synthesis Spectrum
In overview, research, network, verification, synthesis, By Aaron Gember-Jacobson, Aditya Akella, Aug 31, 2020
Talk to a network operator today!
Recently, we have seen significant advances in tools that bring formal methods to networking. These tools verify if a given network satisfies important properties, automatically repai...
In overview, research, network, verification, operators, By Aditya Akella, Aaron Gember-Jacobson, Jul 05, 2020