[{'Position': 'Professor', 'Affiliation': 'Faculty of Humanities and Human Sciences, Hokkaido University', 'Time': 'Apr, 2024 - Present'}, {'Position': 'Associate Professor', 'Affiliation': 'Faculty of Humanities and Human Sciences, Hokkaido University', 'Time': 'Apr, 2019 - Mar, 2024'}, {'Position': 'Associate Professor', 'Affiliation': 'Graduate School of Letters, Hokkaido University', 'Time': 'Sep, 2016 - Mar, 2019'}, {'Position': 'Assistant Professor', 'Affiliation': 'School of Information Science, Japan Advanced Institute of Science and Technology', 'Time': 'Jul, 2011 - Sep, 2016'}, {'Position': 'Post-doc Researcher', 'Affiliation': 'Graduate School of Letters, Kyoto University', 'Time': 'Apr, 2011 - Jul, 2011'}, {'Position': 'JSPS Post-doctoral Fellow', 'Affiliation': 'Japan Society for the Promotion of Science (JSPS)', 'Time': 'Apr, 2008 - Mar, 2011'}, {'Position': 'Researcher (Industry-Government-Academia Collaboration)', 'Affiliation': 'Graduate School of Letters, Kyoto University', 'Time': 'Jul, 2007 - Mar, 2008'}, {'Position': 'Researcher (Academic Support)', 'Affiliation': 'Graduate School of Letters, Kyoto University', 'Time': 'Apr, 2007 - Jun, 2007'}, {'Position': 'Researcher (COE)', 'Affiliation': 'Graduate School of Letters, Kyoto University', 'Time': 'Apr, 2006 - Mar, 2007'}]
Background
Research Interests: Hybrid Logic, Dynamic Epistemic Logic, Alan Turing, Non-classical Logic, Modal Logic. Research Areas: Intelligent Informatics, Information Theory, Philosophy and Ethics.