Tatsuya Abe, Ph.D. stair_logo

Contact Information

Name in Japanese:
name
Office:
STAIR Lab, Chiba Institute of Technology, 275-0016, Japan.
E-mail:
The unique normal form of (λX.abe.XaXsuya@iX-chiba.ac.jp)t
Photos:
abe's photo at SC12
SC12 (Salt Lake City)
abe's photo at SPIN18
SPIN18 (Málaga)
abe's photo at STAIR25
at STAIR in 2025

Research Interests

Papers

Awards, Educations, Projects, and Services [researchmap]

Manuscript

  1. Split of Classical Logic [pdf]

Lecture Notes

  1. Introduction to Software Model Checking for Lazy Programmers (in Japanese) [pdf]

Links