- Ph.D., Computer Science, University of California, Davis. December 1990. Dissertation: Equational Specification and Verification of Concurrent Systems. Advisors: Dr. Gene Fisher, Dr. Ron Olsson, and Dr. Myla Archer.
- Master of Science, Computer Science, San Jose State University. December 1985. Specialization: Microprocessors and Microcomputers. Thesis: RACL: A Threaded Interpretive Language for Robot Arm Control. Advisor: Dr. Rajinder Loomba.
- Bachelor of Science, Computer Science, California State University, Hayward. Minor in Mathematics. December 1982
- Lower-Division Study, Computer Science, Diablo Valley Community College, Pleasant Hill, California. 1978–1980