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

Witty Picture of a Real Bug on a Page of Code
Computer Networks, Systems, and Security
Overview

Students

Hanson, Parker
MS
Yoon, Jeffry
Research Assistant, Entry
Fitzgerald, James
Research Assistant, Entry
Klabacka, Ty
Research Assistant, Entry