Eric Mercer

Eric Mercer

Brigham Young University, Associate Professor

University of Utah

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.

Interests

  • Computer Networks
  • Computer Systems
  • Computer Security

Education

  • PhD in Electrical and Computer Engineering, 2002

    University of Utah

Publications