Howard Straubing

Professor and Department Chair

straubin@cs.bc.edu
Computer Science Department
21 Campanella Way, Room 571
Boston College
Chestnut Hill, MA 02467
(617) 552-3977 (Voice)
(617) 552-2097 (Fax)

Research Interests

My area of specialization is the theory of computation. Most of my published 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. Most of my work since then has been in computational complexity theory---I am particularly interested in the application of the automata theory to circuit complexity, and in the connections to finite model theory. I have also published several papers on combinatorics. Recently I have returned to work on the algebraic theory of automata, this time applied to tree automata and their connection to predicate and temporal logic.

Publications



Backlinks