Show Info

1552 Brescia Avenue
Coral Gables, FL 33146-2438
305.243.4962
M-F 8:30 AM-5:00 PM

Fall 2026, Publications


NEW BOOK: An Introduction
to Theory of Computation
by Mitsu Ogihara

September 3, 2026

Core concepts like decidability, undecidability, and NP-completeness, to advanced topics like randomized complexity are featured in this book by IDSC Director of Workforce Development and Education, Dr. Mitsunori Ogihara. The book is a comprehensive introduction to the theory of computation for students in computer science and related disciplines, and includes end-of-chapter exercises, an appendix of major results, and a […]