Technical Committee on Mathematical Foundations of Computing

The Technical Committee on Mathematical Foundations of Computing (TCMF) of the Computer Society focuses on the theory of computation. Theory of computation uses mathematical tools to model and analyze the power, complexity, and design of computing devices, algorithms, and programs. It also uses these mathematical tools to model and study natural and social phenomena through the computational lens.

The annual Symposium on Foundations of Computer Science (FOCS), which presents original research on the theory of computation, is the founding conference of the field and TCMF’s flagship activity which will celebrate its 60th anniversary next year. The TC also cosponsors in cooperation with ACM SIGLOG the annual Symposium on Logic in Computer Science (LICS) which has recently celebrated its 30th anniversary.

TC chair: Yuval Rabani

TC vice chair: Shang-Hua Teng

Former TC chair: Rafail Ostrovsky

FOCS steering committee: Avrim Blum, Shafi Goldwasser, Rafail Ostrovsky, Toniann Pitassi, Yuval Rabani, Shang-Hua Teng