Invited Speaker---Dr. Norihiro Kamide, Associate Professor


Associate Professor, Department of Information and Electronic Engineering, Teikyo University, Japan


Biography: Norihiro Kamide is an associate professor of Teikyo University, Faculty of Science and Engineering, Department of Information and Electronic Engineering. He received his Ph.D. in Information Science from Japan Advanced Institute of Science and Technology in 2000. His main research areas are Logic in Computer Science, Mathematical Logic and Philosophical Logic. He is interested in non-classical logics, including paraconsistent, temporal, description, and substructural logics, and their applications to Software Science and Artificial Intelligence. He is now especially interested in paraconsistent logics and their applications to model checking, logic programming, and knowledge representation.

Research Interests: paraconsistent logics and their applications to model checking, logic programming, and knowledge representation