Computing That Serves

Eric Mercer

Professorial Status:
Associate Professor
Office Phone:
(801) 422-4628
3334 TMCB (Office Hours: By Appointment )

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. 

Research Interests:

Software engineering is perhaps one of the most important problems yet to be adequately solved in computer science. It is still common for software, at all levels, to arrive late, over budget, and not adequately tested, and this despite the pervasive presence of software in everyday life. As a result, life is often inconvenienced in sometimes profound ways by software.

My research hopes to address test and verification in software engineering by pursuing automatic techniques for program verification for concurrent and sequential systems. I have particular interest in ways to explore relevant schedules for concurrent systems and ways to automatically derive test sets for sequential systems. I specialize in model checking as applied to program verification with extensive experience using the Java Pathfinder tool, and I am actively pursuing ways to integrate model checking with recent advances in SMT solvers; especially as it relates to MPI program verification. I am currently working on tools and techniques to automatically verify Habanero Java programs. This new research is funded by NSF CCF-1302524. Further details regarding publications, active and past research, can be found on my lab webpage.