Michael Jones

Assistant Professor
Computer Science Department
Brigham Young University

RESEARCH

Verification and Validation Lab
Publications
Brief introduction to formal verification

CONTACT INFORMATION

email: jones@cs.byu.edu
Office phone: 801 422-2217
Office: 3328 TMCB

ACADEMICS:

PhD, U of Utah, Advisor: Ganesh Gopalakrishnan. Dissertation: Formal Verification of Parameterized Protocols on Branching Networks December 2001.
MS, CS, BYU. Advisor: Phil Windley. Thesis: Representing abstract theories using predicate types. August 1997.
BS, CS, Mathematics Minor, BYU. April 1995.

PERSONAL

short bio
Family photo album (Warning: boring to non-family members)
Recent family vacation (Warning: boring to non-family members)

updated August 2003