Eric is a professor in the Computer Science department of Metropolitan College, Boston University. His main area of interest is software engineering in its ramifications for program correctness.