HOW TO APPLY

Home    Schedule    Model Database    Paper Calls    Publications    Research

If you are interested in doing research in Formal Methods and Model Checking please take a look at the requirements. We would love to have motivated people excited about Formal Verification.

BYU Students: Take the undergraduate verification class CS 486 Email Eric Mercer : egm.byu.edu or Mike Jones : jones.byu.edu

Non BYU Students Email Eric Mercer : egm.byu.edu or Mike Jones : jones.byu.edu