Professor Howard Straubing

straubin@cs.bc.edu
Computer Science Department
Boston College
Chestnut Hill, MA 02167
(617) 552-3977 (Voice)
(617) 552-2097 (Fax)

Schedule: Fall Semester, 2008

Office Hours:  Tuesday 1:00-3:00, Wednesday 10:30-12:00, and by appointment.

This semester I am teaching:

CS127: Introduction to Scientific Computing


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 in connection with tree automata and their connection to predicate and temporal logic.

Publications



Backlinks