GradNova

H

Howard Straubing

Professor

Computer Science, Boston College

Research Interests

Advanced Algebra and Logic

Computability, Logic, AI Algorithms

Formal Methods in Verification

Logic, Programming, and Type Systems

Semigroups and Automata Theory

Academic Metrics

Links

Grants