Home    Schedule    Model Database    Paper Calls    Publications    Research    Software
People       Grad Students       Undergraduates       Alumni

Eric Mercer Mike Jones


  • Mike D Jones
    Assistant Professor
    Brigham Young University
    Computer Science Department
    3328 TMCB
    PH: (801) 422-2217
    Fax: (801)
    email: jones@cs.byu.edu
  • Academic Background
    • Ph.D., Computer Science, University of Utah, Dec 2001.
      Advisor: Ganesh Gopalakrishnan
      Dissertation: Formal Verification of Parameterized Protocols on Branching Networks
    • M.S., Computer Science, Brigham Young University, Aug 1997.
      Advisor: Phil Windley
      Thesis: Representing abstract theories using predicate types
    • B.S., Computer Science, Brigham Young University, April 1995
  • Research Interests
    • Apply methodical quantitative reasoning to the problem of extending model checking capacity. In particular, extend the capacity of disk-based, parallel and guided model checking

  • Personal Homepage


  • Eric G Mercer
    Assistant Professor
    Brigham Young University
    Computer Science Department
    2216 TMCB
    PH: (801) 422-4628
    Fax: (801) 422-0169
    email: egm@cs.byu.edu
  • Academic Background
    • Ph.D., Electrical Engineering, University of Utah, 2002.
    • M.S., Electrical Engineering, University of Utah, 1999.
    • B.S., Computer Engineering, University of Utah, 1996
  • Research Interests
    • The verficiation and validation research vision is to optimize explicit state model checking to find and interpret errors in real world design while retaining the ability achieve exhaustive coverage.

  • Personal Homepage


Validation and Verification • 3325 Talmage • Brigham Young University • Provo UT

Disclaimer