Classes

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

Biography

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.

Areas

netsec.jpg
Computer Networks, Systems, and Security

Students

Jason Anderson
MS
Parker Hanson
MS
Bryce Pierson
MS
Cassidy Waldrip
MS
Matthew Benjamin Peart
Research Assistant, Advanced