Research keywords (12)：
model checking
, memory model
, garbage collection
, programming language
, 組込みシステム
, システムソフトウェア
, 仮想機械
, プログラミング言語処理系
, Embedded System
, System Software
, Virtual Machine
, Programming Language System
Research theme for competitive and other funds (8)：
2019 - 2022 Persistent Managed Heap on Non-Volatile Memory
2019 - 2020 Application-Specialised Memory Management for Embedded Systems
Collecting Type Information Using Unit Tests for Customization of JavaScript Virtual Machines
(14th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS 2019) 2019)
2002 - 2005 Kyoto University Department of Communications and Computer Engineering
- 2005 Kyoto University Department of Communications and Computer Engineering
2000 - 2002 Kyoto University Department of Communications and Computer Engineering
1996 - 2000 Kyoto University School of Informatics & Mathematical Science
Professional career (1)：
Informatics (Kyoto University)
Work history (5)：
2020/10 - 現在 The University of Tokyo The Graduate School of Information Science and Technology associate professor
2014/04 - 2020/09 Kochi University of Technology associate professor
2008/04 - 2014/03 The University of Electro-Communications Graduate School of Informatics and Engineering, Faculty of Informatics and Engineering Department of Communication Engineering and Informatics Assistant Professor
2005/04 - 2008/03 Kyoto University Graduate School of Informatics
2005 - 2008 Graduate School of Informatics, Kyoto University special-appointment assistant professor
Committee career (14)：
2017/04 - 現在 日本ソフトウェア科学会 編集委員
2017/04 - 現在 情報処理学会プログラミング研究会 編集委員
2020/12 - 2021/03 Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs 2021) PC member
