- Computer Science Department
- 21 Campanella Way, Room 571
- Boston College
- Chestnut Hill, MA 02467
- (617) 552-3977 (Voice)
- (617) 552-2097 (Fax)
I am on sabbatical during the Spring, 2013 semester.
My area of specialization is the theory of computation. Most of my
work prior to 1989 consists of fundamental contributions to the theory
of finite semigroups, and the relationship of this theory to the study
of finite automata and the languages they accept. Much of my research
then was devoted to computational complexity theory, particularly the
interplay among small-depth circuit complexity, automata, and finite
theory. In the past several years, I have returned to work on the
theory of automata, this time applied to tree automata and their
connection to predicate and temporal logic.