Toshiyasu Arai
Use attributes for filter ! | |
Gender | Male |
---|---|
Born | Tokyo |
Japan | |
Spouse | Noriko H. Arai |
Date of Reg. | |
Date of Upd. | |
ID | 3793416 |
Toshiyasu Arai Life story
Toshiyasu Arai received a PhD from Tsukuba University. His thesis was on an extension of G. Takeuti's consistency proofs. He got positions in Nagoya University, Hiroshima University, Kobe University, Chiba University, and University of Tokyo. His research interest is in proof theory. ...