Associate Professor
Institute of Science Tokyo (formerly Tokyo Institute of Technology)
Associate Professor of Department of Mathematical and Computing, School of Computing. Area of Specialization: Theoretical Computer Science, Computational Complexity Theory, Algorithm Theory, Computational Learning Theory, Mathematical Logic, Formal language Theory, Software Verification, Programming Languages, Cryptography, Distributed Systems, etc.
Contact: Keisuke Tanaka, Professor, School of Computing, Institute of Science Tokyo (formerly Tokyo Institute of Technology) e-mail: keisuke@comp.isct.ac.jp.
Last updated: 2025-10-22 posted on 2025-10-17