Takahito Aoto

J-GLOBAL         Last updated: Nov 6, 2018 at 04:09
 
Avatar
Name
Takahito Aoto
URL
http://www.nue.ie.niigata-u.ac.jp/~aoto/
Affiliation
Niigata University
Section
Faculty of Engineering Department of Engineering
Job title
Professor
Research funding number
00293390
ORCID ID
0000-0003-0027-0759

Research Areas

 
 

Academic & Professional Experience

 
Apr 1997
 - 
Feb 1998
Assistant, School of Information Science, Japan Advanced Institute of Science and Technology
 
Mar 1998
 - 
Dec 2002
Assistant, Faculty of Engineering, Gunma University
 
Jan 2003
 - 
Feb 2004
Lecturer, Research Institute of Electrical Communication, Tohoku University
 
Mar 2004
 - 
Mar 2007
Associate Professor (as old post name), Research Institute of Electrical Communication, Tohoku University
 
Apr 2007
 - 
Sep 2015
Associate Professor, Research Institute of Electrical Communication, Tohoku University
 

Education

 
 
 - 
Mar 1992
Faculty of Engineering, The University of Tokyo
 
 
 - 
Mar 1997
Graduate School, Division of Information Science, Japan Advanced Institute of Science and Technology
 

Published Papers

 
Takahito Aoto, Yoshihito Toyama
ALP/HOA   114-128   1997   [Refereed]
Takahito Aoto, Yoshihito Toyama
J. UCS   3(11) 1134-1147   1997   [Refereed]
Some Characterizations of Implicational Formulas in the Intuitionistic Logic
Takahito Aoto
   Mar 1997
Takahito Aoto
PLILP/ALP   250-265   1998   [Refereed]
Takahito Aoto, Yoshihito Toyama
RTA   256-270   1998   [Refereed]

Misc

 
Takahito Aoto, Aart Middeldorp
Theor. Comput. Sci.   464 1-2   2012