KAWAI, Tatsuji Assistant Professor
School of Information Science, Security and Networks Area, School of Information Science
◆Degrees
B.S. from Kyoto University (2006), M.S. from Japan Advanced Institute of Science and Technology (2012), Ph.D from Japan Advanced Institute of Science and Technology (2015)
◆Professional Experience
: INdAM-COFUND 2012 fellow: University of Padova (2016)
: Researcher at Network Applied Communication Laboratory Ltd. (2006), JSPS Research Fellow at Japan Advanced Institute of Science and Technology (DC2) (2013), Researcher at Japan Advanced Institute of Science and Technology (2015)
◆Specialties
Basic mathematics

■Publications

◆Published Papers
Equivalents of the finitary non-deterministic inductive definitions
Ayana Hirata, Hajime Ishihara, Tatsuji Kawai, Takako Nemoto
Annals of Pure and Applied Logic, -, 2019
On the commutativity of the powerspace constructions
Matthew de Brecht, Tatsuji Kawai
Logical Methods in Computer Science, 15, 3, 1-25, 2019
Principles of bar induction and continuity on Baire space
Tatsuji Kawai
Journal of Logic & Analysis, 11, FT3, 1-20, 2019
The principle of pointfree continuity.
Tatsuji Kawai, Giovanni Sambin
Logical Methods in Computer Science, 15, 1, -, 2019
Representing definable functions of HAω by neighbourhood functions.
Tatsuji Kawai
Ann. Pure Appl. Logic, 170, 8, 891-909, 2019

■Teaching Experience

Information Processing Theory(E), Software Design Methodology, 情報処理論(E), ソフトウェア設計論