Classes

Course Title Semester
C S 486 Verification and Validation Winter 2021
C S 199R Academic Internship Spring 2021
C S 329 Test, Analysis, & Verification Fall 2021
C S 686 Advanced Model Checking Fall 2021
C S 486 Verification and Validation Winter 2022
C S 329 Test, Analysis, & Verification Fall 2022
C S 686 Advanced Model Checking Fall 2022

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

Tyler Dean
MS
Bryce Pierson
MS
Kyle Storey
MS
Cassidy Waldrip
Research Assistant, Entry