Eric G Mercer
Eric G Mercer
Associate Professor
Brigham Young University
Computer Science Department
3334 TMCB
(801) 422-4628
egm at cs byu edu


Ph.D., Electrical Engineering, University of Utah, 2002
M.S., Electrical Engineering, University of Utah, 1999
B.S., Computer Engineering, University of Utah, 1996

Research Interest

Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow in complexity and size, exhaustively checking a property on a transition graph becomes difficult. The focus of our research is the fundamental state explosion problem inherent in model checking that often prevents model checking from being applicable in real world design.

For a complete description of our group's research activities, please see our web site at You can also browse our publications for more information on our research.

Last updated 10-Apr-2013