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.abeX@sXair.cenXer)t
GnuPG publickey
Professional Memberships:
ACM Professional Member, IPSJ Member, and JSSST Member
Photos:
abe's photo at SC12
SC12 (Salt Lake City)
abe's photo at SETTA16
SETTA16 (Beijing)
abe's photo at HVC17
HVC17 (Haifa)

Research Interests

Educations, Employments, Referred Papers, and Grants

[ORCID]

Preprints

  1. Reducing state explosion for software model checking with relaxed memory consistency models. [arXiv]
  2. Split of classical logic. [pdf]
  3. Kripke and meta-logical completeness via Curry-Howard isomorphism. [pdf]

Softwares

See all softwares

Hide old softwares

Honor