Ishihara Laboratory

Our research area is an interdisciplinary area between mathematics and computer science. We have been especially focusing on the following subjects:

constructive mathematics,
mathematical logic,
theory of computation.

For more information, please visit our website:
https://www.jaist.ac.jp/is/labs/ishihara-lab/www/english/