3334 TMCB
Office Hours: By appointment
Phone: 801-422-4628
egm@cs.byu.edu
Course | Title | Semester |
---|---|---|
C S 329 | Test, Analysis, & Verification | Winter 2023 |
C S 486 | Verification and Validation | Winter 2023 |
C S 329 | Test, Analysis, & Verification | Fall 2023 |
C S 686 | Advanced Model Checking | Fall 2023 |
C S 329 | Test, Analysis, & Verification | Winter 2024 |
C S 486 | Verification and Validation | Winter 2024 |
C S 236 | Discrete Structure | Fall 2024 |
C S 329 | Test, Analysis, & Verification | Fall 2024 |
Eric Mercer is an Associate Professor in Computer Science at Brigham Young University in Provo, Utah. He received the Ph.D. degree in Electrical Engineering from the University of Utah in 2002. His interests are in software verification with a particular emphasis on symbolic execution, partial order reduction, and SMT-based solutions.