Michael Jones
I have taken a faculty position at Brigham Young University.
I can be found at
http://faculty.cs.byu.edu/~mjones/
My new contact information is:
jones@cs.byu.edu
801 378-2217 (work)
Research Assistant
Computer Science Department
University of Utah
about this picture
RESEARCH
Vita
Publications
SML/NJ library docs
Non-exclusive
Collection of interesting papers
Formal Verification at the U of Utah.
CONTACT INFORMATION
email: mjones@cs.utah.edu
Office phone: 801 585-7361
Home phone: 801 583-3621
ACADEMICS:
PhD Student, U of Utah, Advisor:
Ganesh
Gopalakrishnan. Probably June 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)
personal homepage
Brief, unauthorative guide to machine names in the UV lab.
updated February 2001