Curriculum Vitae Koki NISHIZAWA http://misc.kankyo-u.ac.jp/~koki/ February 1, 2010 - Contact Information Department of Information Systems, Faculty of Environmental and Information Studies, Tottori University of Environmental Studies, 1-1-1 Wakabadai-kita, Tottori City, Tottori Prefecture 689-1111, Japan Telephone & Fax: +81-857-38-6786 Email: koki AT kankyo-u DOT ac DOT jp - Employment I am a lecturer of Department of Information Systems, Faculty of Environmental and Information Studies, Tottori University of Environmental Studies. - Personal Details Born October 14, 1978, Tokyo, Japan. Male. Japanese Citizenship. Languages: Japanese (native), English (fluent). - Research Interests Multirelations and Kleene algebras. Multi-valued Logic. Semantics of Logic or Programming Languages, with special focus on modal fixed point logics and reactive systems. Categorical formulation of abstraction and refinement. Categorical notions of algebraic structure, i.e., Lawvere theory, Sketch, or Monad. Enriched category theory. Stone Duality. - Academic Qualifications Under the supervision of Prof. Masami Hagiya, I studied categorical semantics of modal fixed point logics and categorical formulation of abstraction and refinement. My Ph.D. thesis was examined by Associate Prof. Masahito Hasegawa (external examiner) and Prof. Akihiko Takano (internal examiner) et al. "Algebraic Structure for a Modal Fixed Point Logic and Abstract Interpretation", Ph.D. thesis, Department of Computer Science, Graduate School of Information Science and Technology, The University of Tokyo, March 23, 2006. "Manipulation and inference of linear context in logical framework", Master Thesis, Department of Computer Science, Graduate School of Information Science and Technology, The University of Tokyo, February 2003. "Linear higher-order pre-unification and linearization", Bachelor Thesis, Department of Information Science, School of Science, The University of Tokyo, February 2001. - Previous Employments Assistant professor of Graduate School of Information Sciences, Tohoku University, Augast 2007 - September 2008. Part-time lecturer of Kyoto University: "Practicals for Information Sciences"(summer,2007), "Fundamental Information Mathematics A"(summer,2007). Research staff of Research Center for Verification and Semantics (CVS), National Institute of Advanced Industrial Science and Technology (AIST), April 2006 - July 2007. Technical staff of Research Center for Verification and Semantics (CVS), National Institute of Advanced Industrial Science and Technology (AIST), April 2004 - March 2006. Technical staff of National Institute of Advanced Industrial Science and Technology (AIST), April 2003 - March 2004. - Teaching Assistant "Practice course of Algorithms and Data Structures (Scheme)", Second year Bachelor course at the University of Tokyo, winter, 2002. "Practice course of Algorithms and Data Structures (Scheme)", Second year Bachelor course at the University of Tokyo, winter, 2001. "Computer Programming 1 (Java)", First year Bachelor course at the University of Tokyo, winter, 2001. - Co-authors I have published papers with the following co-authors: Hitoshi Furusawa, Masami Hagiya, Dai Ikarashi, Yukiyoshi Kameyama, Yoshiki Kinoshita, John Power, Osamu Takaki, Makoto Takeyama, Yoshinori Tanabe, Norihiro Tsumagari and Hiroshi Watanabe. - Summer School Participation Summer School Marktoberdorf 2005, Logical Aspects of Secure Computer Systems, August 2 to August 14, 2005. - Award Paper Encouraging Award from the 10th JSSST Workshop on Programming and Programming Languages. 2008. Takahashi Encouraging Award from Japan Society for Software Science and Technology (JSSST), 2006. - Grant "Reuse of Abstraction in Model Checking" No.20700004. JSPS Grant-in-Aid for Scientific Research, 2008. - Refereed Papers Koki Nishizawa, Norihiro Tsumagari and Hitoshi Furusawa. "The cube of Kleene algebras and the triangular prism of multirelations". Relations and Kleene Algebra in Computer Science, RelMiCS/AKA, 2009, Lecture Notes in Computer Science 5827, pages 276--290, 2009. Koki Nishizawa. "Multi-valued modal fixed point logics for model checking". Proc. 39th International Symposium on Multiple-Valued Logics, IEEE CS Press, pages 109--113, 2009. Koki Nishizawa and John Power. "Lawvere Theories Enriched over a General Base". Journal of Pure and Applied Algebra, Volume 213, Issue 3, March 2009, Pages 377-386. Yoshiki Kinoshita and Koki Nishizawa. "An algebraic semantics of predicate abstraction for PML", Computer Software, Vol.26, No.2, pages 147--156, 2009. Hitoshi Furusawa, Koki Nishizawa, Norihiro Tsumagari. "Multirelational Models of Lazy, Monodic Tree, and Probabilistic Kleene Algebras". Bulletin of Informatics and Cybernetics, vol.41, pp.11--24, 2009. Hitoshi Furusawa, Norihiro Tsumagari and Koki Nishizawa. "A Non-Probabilistic Relational Model of Probabilistic Kleene Algebras". In R. Berghammer, B.Moller, and G.Struth, editors, Relations and Kleene Algebra in Computer Science, RelMiCS/AKA, 2008, Lecture Notes in Computer Science 4998, pages 110--122, 2008. Dai Ikarashi, Yoshinori Tanabe, Koki Nishizawa and Masami Hagiya. "Modal -calculus on min-plus algebra N". In Proceedings of The 10th JSSST Workshop on Programming and Programming Languages (PPL 2008). pages 216--230, 2008.(Paper Encouraging Award) Hiroshi Watanabe, Koki Nishizawa and Osamu Takaki. "A Coalgebraic Representation of Reduction by Cone of Influence". Electronic Notes in Theoretical Computer Science, Volume 164, Issue 1 , 20 October 2006, Pages 177-194, Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science (CMCS 2006). Koki Nishizawa. "Algebraic Structures for Cocomplete Fibrations and Fibred CCCs". In Peter Mosses, John Power, and Monika Seisenberger, editors, Selected Papers from the First Conference on Algebra and Coalgebra in Computer Science Young Researchers Workshop (CALCO-jnr 2005). University of Wales Swansea Computer Science Report Series CSR 18-2005, pages 55--69, 2005. - Not Refereed Papers Norihiro Tsumagari, Koki Nishizawa and Hitoshi Furusawa. "Multirelational Model of Lazy Kleene Algebra". In R. Berghammer, B.Moller, and G.Struth, editors, Relations and Kleene Algebra in Computer Science, PhD Programme at RelMiCS10/AKA5, 2008-04, Institut fur Informatik, Universitat Augsburg, Germany, 2008. Norihiro Tsumagari, Koki Nishizawa and Hitoshi Furusawa. "On Reflexive Transitive Closure of Binary Multirelations". In Participants' Proc. of Hinokuni Jouhou Symposium, Information Processing Society of Japan Kyushu Chapter. Nagasaki, Japan, March, 2008. (in Japanese). Yoshiki Kinoshita and Koki Nishizawa. "An algebraic semantics of predicate abstraction for PML", In Proc. of 24th Conference of Japan Society for Software Science and Technology. Nara, Japan, September 2007. Dai Ikarashi, Yoshinori Tanabe, Koki Nishizawa and Masami Hagiya. "Modal mu-calculus on min-plus algebra N and its applications". In Proc. of 24th Conference of Japan Society for Software Science and Technology. Nara, Japan, September 2007. (in Japanese). Koki Nishizawa. "Algebraic Structure for a Modal Fixed Point Logic and Abstract Interpretation". Programming Science Technical Report AIST-PS-2007-009, Research Center of Verification and Semantics (CVS), National Institute of Advanced Industrial Science and Technology (AIST), July 2007. Koki Nishizawa, Yukiyoshi Kameyama and Yoshiki Kinoshita. "Simulations of Multi-Valued Models for Modal mu-Calculus". Programming Science Technical Report AIST-PS-2007-005, Research Center of Verification and Semantics (CVS), National Institute of Advanced Industrial Science and Technology (AIST), April 2007. Yoshiki Kinoshita, Koki Nishizawa and Keishi Okamoto. "Formalising Coffman Conditions in First Order Modal mu Calculus (Extended Version)". Programming Science Technical Report AIST-PS-2006-010, Research Center of Verification and Semantics (CVS), National Institute of Advanced Industrial Science and Technology (AIST), October 2006. Yukiyoshi Kameyama, Yoshiki Kinoshita and Koki Nishizawa. "Weighted Kripke Structures and Refinement of Models". In Proc. of 23th Conference of Japan Society for Software Science and Technology. Tokyo, Japan, September 2006. (Takahashi Encouraging Award) Hiroshi Watanabe, Koki Nishizawa and Osamu Takaki. "A Coalgebraic Representation of Reduction by Cone of Influence". Programming Science Technical Report AIST-PS-2006-002, Research Center of Verification and Semantics (CVS), National Institute of Advanced Industrial Science and Technology (AIST), February 2006. Koki Nishizawa. "Algebraic Structures for Cocomplete Fibrations and Fibred CCCs". Programming Science Technical Report AIST-PS-2005-016, Research Center of Verification and Semantics (CVS), National Institute of Advanced Industrial Science and Technology (AIST), September 2005. Koki Nishizawa and Makoto Takeyama. "Algebraic Structure for a Fixed Point Logic and Abstract Interpretation". Programming Science Technical Report AIST-PS-2005-012, Research Center of Verification and Semantics (CVS), National Institute of Advanced Industrial Science and Technology (AIST), June 2005. Koki Nishizawa and John Power. "Lawvere Theories Enriched over a General Base". Programming Science Technical Report AIST-PS-2005-005, Research Center of Verification and Semantics (CVS), National Institute of Advanced Industrial Science and Technology (AIST), February 2005. Koki Nishizawa. "Some Category Theoretical Constructions in Abstract Interpretation". In Proc. of The Second Symposium on Science and Technology for System Verification. Osaka, Japan, February 2004. (in Japanese). Yoshiki Kinoshita and Koki Nishizawa. "Some Category Theoretical Constructions in Abstract Interpretation". In Proc. of 20th Conference of Japan Society for Software Science and Technology. Aichi, Japan, September 2003. (in Japanese). Koki Nishizawa and Masami Hagiya. "Formal verification of Local Model Checking by extended Linear Logical Framework". In Proc. of 19th Conference of Japan Society for Software Science and Technology. Tokyo, Japan, September 2002. (in Japanese). - Other Talks Koki Nishizawa and Norihiro Tsumagari and Hitoshi Furusawa. "A new characterization of closed type of multirelation". Workshop on Computer Science and Category Theory (CSCAT 2009). Chiba, Japan, March 2009. (In Japanese). Koki Nishizawa and Norihiro Tsumagari and Hitoshi Furusawa. "The cube of Kleene algebra and the triangular prism of multirelations". Mathematics for Pressing Problems in Computer Science. Kyoto, Japan, June, 2008. Koki Nishizawa and Norihiro Tsumagari and Hitoshi Furusawa. "Kleene algebras for multirelations". Workshop on Computer Science and Category Theory (CSCAT 2008). Sendai, Japan, March 2008. (In Japanese). Koki Nishizawa. "On Algebraic Properties of The Path Model". 18th Seminar on Algebra, Logic and Geometry in Informatics (ALGI). Kagoshima, Japan, September 2007. (In Japanese). Koki Nishizawa and Yukiyoshi Kameyama and Yoshiki Kinoshita. "Simulation Theorems in Multi-valued Modal mu-calculus". Workshop on Computer Science and Category Theory (CSCAT 2007). Kyoto, Japan, March 2007. (In Japanese). Koki Nishizawa and Yukiyoshi Kameyama and Yoshiki Kinoshita. "Simulation Theorems in Multi-valued Modal mu-calculus". 4th Workshop on Verification Technology (VERITE). Ishikawa, Japan, March 2007. (in Japanese). Yukiyoshi Kameyama, Yoshiki Kinoshita and Koki Nishizawa. "Weighted Kripke Structures and Refinement of Models". 17th Seminar on Algebra, Logic and Geometry in Informatics (ALGI). Nara, Japan, October 2006. (in Japanese). Koki Nishizawa and Makoto Takeyama. "Algebraic Structure for a Modal Fixed Point Logic and Abstract Interpretation". 2nd Workshop on Verification Technology (VERITE). Osaka, Japan, May 2006. Koki Nishizawa and Makoto Takeyama. "Algebraic Structure for a Modal Fixed Point Logic and Abstract Interpretation". Workshop on Computer Science and Category Theory (CSCAT 2006). Hiroshima, Japan, March 2006. (In Japanese). Koki Nishizawa and Makoto Takeyama. "Algebraic Structure for a Modal Fixed Point Logic and Abstract Interpretation". 16th Seminar on Algebra, Logic and Geometry in Informatics (ALGI). Fukuoka, Japan, October 2005. (in Japanese). Koki Nishizawa and Makoto Takeyama. "Algebraic Model of Property Preserving Abstractions". Workshop on Computer Science and Category Theory (CSCAT 2005). Tsukuba, Japan, March 2005. (in Japanese). Hiroshi Watanabe, Koki Nishizawa and Osamu Takaki. "A Coalgebraic Representation of (essence of) Cone of Influence Reduction". Workshop on Computer Science and Category Theory (CSCAT 2004). Amagasaki, Japan, March 2004. (in Japanese). Yoshiki Kinoshita and Koki Nishizawa. "Some Category Theoretical Constructions in Abstract Interpretation". Symbolic Logic and Computer Science (SLACS 2003). Tokyo, Japan, September 2003. (in Japanese). Koki Nishizawa. "Logical Framework for Formalization of Various Contexts: 2-level Linear LF". Symbolic Logic and Computer Science (SLACS 2002). Chiba, Japan, September 2002. (in Japanese). Koki Nishizawa. "An extension of LLF and M2+ for Verification of Tableau-style Deductive Systems". The Fourth JSSST Workshop on Programming and Programming Languages (PPL 2002). Short Presentation. Beppu, Japan, March 2002. (in Japanese). ------------------------