Home    Schedule    Model Database    Paper Calls    Publications    Research   
People       Faculty       Undergraduates       Alumni

Peter Lamborn Micah Lewis


  • Micah Lewis
    • email: msl@.byu.edu
  • Academic Background
    • Pursuing M.S., Computer Science,
      Brigham Young University.
    • B.S., Computer Science,
      Brigham Young University, 2004.
    • No Picture available
  • Personal Bio
    • I'm the second of eight children. I like every sport except baseball (bad experience with little league), especially cycling. I also enjoy photography, drawing, and playing the piano and guitar.
  • Current Projects
    • Build a line-following robot using a M68HC11 micro-controller
    • Using live variable analysis on interrupt-driven code to prune the state space


  • Peter Lamborn
    • email: pcl@email.byu.edu
  • Academic Background
    • Pursuing M.S., Computer Science,
      Brigham Young University
    • B.S., Computer Science,
      Brigham Young University, 2003.
  • Personal Bio
    • I am from Colorado and enjoy skiing, reading, camping and long involved games of strategy.
  • Current Projects
    • Working on ways to extend Murphi Model Checker to do a best first search. Different methods are an IDA* search, an SMA* search, an A* search and a Bayesian approach to determining distance to goal.
  • Resume
  • Peter Lamborn is currently a PhD candidate at Mississippi State University


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

    Disclaimer