* '''Website''': [http://vv.cs.byu.edu/ vv.cs.byu.edu]
* '''Contact''': ''cs686ta at cs byu edu''
* '''Office''': 3334 TMCB
* '''Office Hours''': By appointment via email to ''cs686ta at cs byu edu''.
* '''Phone''': (801) 422-4628
* '''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 include software testing, analysis, verification, specification, timing analysis, real time semi-formal verification, and parallel algorithms.