Professor Computer Science Boston College Contact information, CV
Research interests: computational logic, programming languages theory.
