Robert holds a Ph.D. and an M.S. in Computer Science from the College of William and Mary where he completed his dissertation work on Formal Verification of Firewall Policies. He holds a B.A. in Computer Science and a B.A. in Mathematics from Washington and Lee University.