Classes

Course Title Semester
C S 224-001 Computer Systems Winter 2019
C S 301R-001 Topics in Computer Science Winter 2019
C S 224-001 Computer Systems Spring 2019
C S 329-001 Test, Analysis, & Verification Fall 2019
C S 224-001 Computer Systems Winter 2020
C S 486-001 Verification and Validation Winter 2020
C S 224-001 Computer Systems Fall 2020
C S 301R-003 Topics in Computer Science Fall 2020
C S 329-001 Test, Analysis, & Verification Fall 2020

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.

Projects

netsec.jpg
Computer Networks, Systems, and Security

Students

Sean Brown
MS
Benjamin Ogles
CS Research Assistant
James Wasson
CS Research Assistant
Joshua David Hooker
CS Research Assistant