Eric Mercer - BYU Research Development Skip to main content

Eric Mercer

Associate Professor
College of Physical and Mathematical Sciences, College of Physical and Mathematical Sciences: Computer Science

College: College of Physical & Mathematical Sciences
Department: Computer Science
3334 TMCB

Research Interests:
- Model Checking
- Software Verification
- Program Analysis
- Concurrency
- Message Passing Interface (MPI)