JAIST Logic@JAIST

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/