Find Academic Supervisors

Professor Tomoji Kishi is a distinguished faculty member at Waseda University's School of Creative Science and Engineering, where he has been serving since 2009. Previously, he held academic positions at Japan Advanced Institute of Science and Technology (2003-2009) following a 21-year career at NEC Corporation (1982-2003). He earned his Ph.D. in Information Science from Japan Advanced Institute of Science and Technology in 2002, building upon his earlier engineering graduate studies at Kyoto University. Professor Kishi's research focuses on software engineering, particularly in software product line development, model checking, formal verification, and aspect-oriented modeling. His work bridges theoretical formal methods with practical applications in embedded systems, automotive software, and IoT technologies. He has made significant contributions to scalability challenges in model checking for configurable systems and has pioneered approaches to variability management and approximate modeling techniques. His publication record demonstrates remarkable consistency and evolution, with 42 papers and 153 citations according to Scopus data (h-index: 7), spanning from foundational work in software architecture in the 1990s to cutting-edge research on AI-enhanced verification methods in 2025. His recent work shows increasing application of machine learning techniques to traditional formal methods problems, particularly in the context of highly configurable systems and IoT applications. ITS Standardization Activity Merit Prize (2022) from Society of Automotive Engineers of Japan IPSJ/ITSCJ Standardization Contribution Award (2017) IPSJ/ITSCJ Project Editor Award (2016 and 2013) Information Processing Society of Japan Society Activity Contribution Award (2010) IPA/SEC Journal Best Paper Award (2007) Information Processing Society of Japan Yamashita Memorial Research Award (1998) Professor Kishi has led multiple JSPS-funded research projects, including recent work on 'variability management methods prioritizing usability through variability mining' (2020-2023) and 'utility-first modeling method' (2017-2020). His industry collaborations, particularly with automotive systems developers, demonstrate the practical impact of his research. He maintains active membership in major professional societies including IEEE Computer Society, ACM, and the Information Processing Society of Japan.

• Software Engineering
• Model Checking
• Formal Verification
• +4 more

Naoki Yamamoto is an Assistant Professor (non-tenure lecturer) at Waseda University's School of Fundamental Science and Engineering, Department of Computer Science and Engineering since April 2025. He also holds a part-time lecturer position at the University of Tokyo's College of Arts and Sciences (Junior Division) since October 2025. Previously, he served as a Research Associate at Waseda University from April 2022 to March 2025. He received his Doctor of Engineering from Waseda University in March 2025, following his Master of Engineering (2021) and Bachelor of Engineering (2019) from the same institution. Dr. Yamamoto's educational background is impressive, having earned his Bachelor's, Master's, and Doctoral degrees consecutively from Waseda University's School of Fundamental Science and Engineering. During his doctoral studies under Professor Kazunori Ueda, he focused on advanced topics in programming languages and graph theory. He was awarded the Outstanding Student Award (Dean's Award) from Waseda University in March 2019. His research interests center around graph-based programming language theory, with particular expertise in Graph Pattern Matching , Static Type Checking for complex data structures , and Graph Rewriting Languages . He has developed innovative approaches to handling graph structures that go beyond traditional algebraic data types like lists and trees. His work bridges theoretical computer science with practical implementation, focusing on how to safely manipulate complex graph structures in programming languages. His publication record demonstrates consistent advancement in graph-based type systems. Starting with foundational work on static type checking for graph operations (2019), he progressed to handling numeric constraints (2020), extending type expression power (2022), and developing grammar-based approaches for difference data structures (2024). His research shows a clear trajectory from theoretical foundations to practical applications, with increasing sophistication in handling complex graph structures. His work on LMNtal ShapeType represents a significant contribution to the field of graph rewriting languages. Outstanding Student Award (Dean's Award), Waseda University (2019) Dr. Yamamoto has been actively involved in teaching and research supervision, having served as a Teaching Assistant for 14 courses between 2018-2021. He currently teaches Introduction to C Programming and C Application Development at Waseda University, and Introduction to Algorithms at the University of Tokyo. He has received research funding through the Japan Society for the Promotion of Science Grants-in-Aid for Scientific Research, collaborating with Professor Kazunori Ueda on projects related to high-level languages with powerful data structures and concurrency. As a member of Ueda Laboratory at Waseda University, Dr. Yamamoto has contributed to the development of tools like Lambda Friends, a web-based interpreter for lambda calculus written in TypeScript. His research group focuses on advancing programming language theory, particularly in the areas of graph rewriting and type systems, with applications in both programming languages and modeling languages. His work demonstrates how graph rewriting languages can unify program execution and model checking functionalities while guaranteeing well-formedness of graph structures.

• Graph Pattern Matching
• Static Type Checking
• Graph Rewriting Languages
• +4 more

Eijiro Sumii is a Professor at the Graduate School of Information Sciences, Tohoku University, where he has been employed since May 2014. Previously, he served as an Associate Professor at the same institution from May 2005 to March 2014, and as an Assistant Professor in the Department of Computer Science at the University of Tokyo from April 2001 to March 2003. He has also held research positions at the University of Pennsylvania under Professor Benjamin C. Pierce. Dr. Sumii's research focuses on the theoretical foundations and practical applications of programming languages and type systems. His work spans multiple domains including process calculi, partial evaluation, security foundations, and functional programming. He has made significant contributions to the field through his development of MinCaml, an educational compiler, and his Japanese translation of the seminal work "Types and Programming Languages" by Benjamin Pierce. His recent publications demonstrate a consistent focus on programming language theory, with particular emphasis on type systems for security applications, partial evaluation techniques, and functional programming paradigms. The publications reveal a trajectory moving from foundational theoretical work toward more applied security and distributed systems research. Dr. Sumii is highly active in the academic community, having served on program committees for major conferences including ICFP, POPL, PLAS, and ESOP. He has organized numerous workshops and conferences, including serving as program chair for ICFP 2016 and FLOPS 2014. He is the organizer of the PEPT (Partial Evaluation and Program Transformation) mailing list, which serves as an important forum for researchers in this specialized area. His leadership extends to membership in the Global Young Academy since May 2015 and the Young Academy of Japan since November 2010, where he served as Secretary from February 2015.

• Programming Languages
• Type Systems
• Process Calculi
• +3 more

Kyoko Takahashi is a Professor at Waseda University's School of Political Science and Economics in Tokyo, Japan, where she has been teaching Journalism and Documentary Production since 2003. She holds a Master of Fine Arts from Columbia University's Graduate School of Arts, Film Division, which she completed in 1991 after entering the program in 1986. Prior to her academic career, Takahashi worked as a journalist at Business Week's Tokyo Bureau starting in 1982. Current Position: Professor at Waseda University Academic Background: Master of Fine Arts (Columbia University) Professional Experience: Journalist at Business Week (1982-1986) Additional Affiliations: Faculty of Science and Engineering, Faculty of Letters, Arts and Sciences, Global Education Center Professor Takahashi earned her Master of Fine Arts from Columbia University Graduate School of Arts, Film Division in 1991. Her educational background in film and visual media has directly informed her subsequent academic and professional trajectory in journalism and media studies, providing a strong foundation for her interdisciplinary approach to media education and research. Her research primarily focuses on Media Literacy Education, Journalism, Documentary Production, and Future Journalism. Takahashi investigates how citizens can develop critical thinking skills to navigate the complex media landscape, particularly in the "post-truth" era where misinformation proliferates. She has developed innovative approaches to media education for diverse age groups, including specialized workshops for senior citizens. Her work examines the evolving nature of journalism, particularly the rise of non-profit media organizations as alternatives to traditional journalism models. She has made significant contributions to understanding gender representation in news media through her involvement with the Global Media Monitoring Project. Her recent publications demonstrate a clear trajectory toward understanding media in the digital age, with increasing focus on media literacy as a citizen activity, post-truth challenges, and the future of journalism. The work shows interdisciplinary engagement across media studies, sociology, education, and political science, with particular attention to practical applications of media literacy concepts in real-world contexts. Japan Prize from the NHK Japan Prize International Contest for Educational Media (2011) Contributor to The Nikkei Newspaper with "Let's Rethink the Future of Journalism: Election Reporting in the Digital and AI Era" (2024) Professor Takahashi actively mentors students through various thesis supervision roles and specialized seminars. Her research projects, including the Media Literacy Project and preparation for the Global Media Monitoring Project 2025, demonstrate her commitment to developing practical media literacy education approaches. She has secured funding for multiple initiatives focused on creating media literacy workshops for different demographic groups and exploring new models for journalism education that address contemporary challenges. She leads the Media Literacy Project and has established partnerships with various organizations to implement media literacy workshops across Japan. Her work extends to international collaborations, including participation in the Global Media Monitoring Project, which involves over 100 countries analyzing news media through a gender lens. She serves as Director of both the Japan Media Literacy Research Institute and NPO FCT Media Literacy Institute, demonstrating her leadership in the field.

• Journalism
• Media Literacy Education
• Documentary Production
• +4 more

Shinya Sakano is Professor at Waseda University’s School of Commerce, teaching and researching in econometrics and economic statistics since 2009. Previously associate professor at Waseda and Niigata Universities and visiting researcher at Paris Dauphine, he holds a Ph.D. in Economics from Kyoto University (1999) and a B.A. from Waseda (1987). He is a member of the Japan Statistical Society and Japanese Economic Association, currently concurrent researcher at Waseda’s Center for Data Science and Research Institute of Business Administration. Education: Ph.D. Economics, Kyoto University, 1999 B.A. Economics, Waseda University, 1987 Research interests centre on theoretical and applied econometrics, especially time-series methods: unit-root and stationarity tests (ADF, ADF-GLS, HEGY, Canova-Hansen), VAR/ARMA modelling, test power and finite-sample properties, seasonal integration, and Monte-Carlo inference. Applied work covers Japanese macro-economic and financial data, infrastructure evaluation, and graduate employment surveys. His publications analyse the power and size of popular econometric tests, propose practical guidelines for empirical researchers, and develop Japanese-language teaching materials. A co-authored 2004 textbook Applied Econometrics III systematises advanced methods for Japanese students. Grants & projects: Principal investigator of JSPS KAKENHI-A project “Global Business & Accounting Systems” (2012-2016) which held international workshops on IFRS adoption, network analysis of accounting standards, and development-country field studies. Teaching & advising: In 2025 he offers 15 separate courses spanning introductory statistics, undergraduate econometrics, master-level time-series analysis and doctoral research seminars, emphasising hands-on empirical paper preparation and software (EViews) training. Affiliations & service: Faculty of Commerce (undergraduate) and Graduate Schools of Commerce & Economics; concurrent posts at Center for Data Science and Research Institute of Business Administration; organiser of the long-running “Friday Seminar” and annual Economics & Accounting Workshop.

• Econometrics
• Time-series analysis
• Economic statistics
• +3 more

Kazunori Ueda is a Professor at Waseda University's Faculty of Science and Engineering, with a career spanning over three decades in logic/constraint programming, hybrid systems, and concurrency. He has held visiting positions at the Egypt-Japan University of Science and Technology and part-time roles at the University of Tokyo. His research bridges theoretical advancements and practical implementations, focusing on languages like HydLa and LMNtal for hybrid and concurrent system modeling. Research Interests: Logic and Constraint Programming Hybrid Systems Modeling Concurrency and Parallelism Programming Language Design and Implementation Article Trends: Recent works emphasize symbolic simulation of hybrid systems, graph rewriting optimization, and distributed storage reliability. His work integrates interval arithmetic, constraint hierarchies, and formal verification techniques. Scientific Awards: Fellow, Japan Society for Software Science and Technology (2016) Fellow, Information Processing Society of Japan (2015) Basic Research Award, Japan Society for Software Science and Technology (2011) Multiple Best Paper and Encouragement Awards (1985–2010)

• Logic Programming
• Constraint Programming
• Hybrid Systems
• +2 more

Nobuhiro Inuzuka is a Professor in the Department of Information Engineering within the Faculty of Engineering at Nagoya Institute of Technology, specializing in intelligent informatics and data-driven applications. His research integrates theoretical informatics with practical implementations across diverse domains including social networks, robotics, and human behavior analysis. Education: Doctor of Engineering, Nagoya Institute of Technology Master of Engineering, Nagoya Institute of Technology His research focuses on intelligent informatics with emphases on machine learning for social network analysis, safe reinforcement learning, and data mining applications. Key areas include developing algorithms for community behavior modeling, martial arts evaluation systems using sensor data, and recommender systems incorporating social dynamics. His work bridges theoretical computer science with real-world implementations in counseling systems and robotics. Recent publications (2024) demonstrate consistent innovation in applying machine learning to complex human-centric problems, particularly in social network dynamics, safe robotics navigation, and evaluation systems that replicate human judgment. Trends show increasing integration of multi-relational data mining with reinforcement learning frameworks across retail analytics, sports science, and mental health informatics. Scientific Awards: 2019 JSAI National Conference Excellent Award 2013 IPSJ National Conference Student Encouragement Award 2011-2010 Information Science Workshop Awards (multiple) 1996 Tokai Branch Electrical Societies Encouragement Award Professor Inuzuka has secured significant research funding including a 4-year Grant-in-Aid for Scientific Research (C) on human relationship analysis algorithms (2015-2019) and multiple JST programs for data mining applications. His student advisees have received national recognition including the IPSJ Student Encouragement Award. Current projects focus on scientific methodology development for student counseling and knowledge discovery systems. He leads research within Nagoya Institute of Technology's Creative Engineering-Education Promotion Center, directing teams that develop data analysis systems for social networks, martial arts evaluation, and evacuation planning. His laboratory combines theoretical informatics with practical implementations using multi-relational data mining and machine learning frameworks.

• Intelligent Informatics
• Database Systems
• Theoretical Informatics
• +5 more

Yoichi ARAI is an Associate Professor at the School of Social Sciences, Waseda University, specializing in econometrics and applied economic analysis. He holds a Ph.D. in Economics from the University of California, San Diego, and has established himself as a leading researcher in regression discontinuity designs, cointegration analysis, and program evaluation methodologies. Dr. ARAI's educational background includes a doctoral degree from UC San Diego, one of the world's leading institutions for econometric theory. His academic journey has positioned him at the intersection of theoretical econometrics and practical policy evaluation. Dr. ARAI's research focuses on econometrics and applied econometrics , with particular expertise in regression discontinuity designs, bandwidth selection methods, cointegration testing, and program evaluation. His work bridges theoretical developments with practical applications in labor economics, education economics, and monetary policy. His research has significantly advanced methodological approaches for causal inference in non-experimental settings, particularly through innovations in regression discontinuity frameworks and treatment effect estimation. His contributions have been instrumental in developing more robust statistical tests for identifying assumptions in fuzzy regression discontinuity designs and optimizing bandwidth selection procedures for both sharp and fuzzy regression discontinuity estimators. Analysis of Dr. ARAI's publication record reveals a strong trajectory of methodological innovation in econometrics, particularly in regression discontinuity designs and cointegration analysis. His recent work (2020-2025) focuses on high-dimensional extensions of regression discontinuity methods, optimal bandwidth selection, and testing identifying assumptions. Earlier work (2000-2015) established foundational contributions to cointegration testing with structural breaks and time series analysis. His research demonstrates consistent contributions to both theoretical econometrics and applied policy evaluation, with particular relevance to Japanese economic issues including educational upgrading of youth and labor market dynamics. Dr. ARAI has received recognition through substantial research funding, including multiple Grants-in-Aid for Scientific Research from the Japan Society for the Promotion of Science (JSPS). His projects include "Development and Application of Policy Evaluation Methods Based on Dynamic Structural Models" (2024-2029), "Econometrics for Policy Evaluation and its Application" (2015-2019), and "Econometric Analysis of Program Evaluation and Its Application to Unemployment Insurance Policy" (2011-2015). As an educator, Dr. ARAI teaches advanced econometrics courses at both graduate and undergraduate levels, including "Research on Econometrics for Policy Evaluation," "Basic Data Analysis (Regression Analysis)," and "Applied Econometrics." His teaching emphasizes the practical application of econometric methods to real-world policy questions. He has supervised numerous research projects and contributes significantly to the academic community through committee memberships with the Japan Statistical Society, Japanese Economic Association, American Economic Association, and Econometric Society.

• Econometrics
• Applied Econometrics
• Regression Discontinuity Design
• +5 more

Nobuyuki Iwamoto is a Professor (non-tenure-track) at the Faculty of Science and Engineering , Graduate School of Advanced Science and Engineering , Waseda University. His work focuses on nuclear data evaluation, neutron capture reactions, and photonuclear studies, with significant contributions to JENDL-5 development and transmutation system design. Key affiliations: Waseda University (Faculty of Science and Engineering), J-PARC MLF (Materials and Life Science Experimental Facility) Education: PhD in Science from Tohoku University (2000) Research spans Nuclear Engineering , Neutron Physics , and Photonuclear Reactions , emphasizing experimental cross-section measurements and theoretical modeling. Recent projects include: High-accuracy $^{129}$I and $^{241}$Am neutron capture data Gamma-ray polarization studies in nuclear reactions IAEA Photonuclear Data Library contributions His 15 most recent articles (2017-2025) highlight advancements in neutron capture for nuclear waste transmutation, photonuclear data for heavy elements, and machine learning applications in nuclear data. Key trends include: Integration of experimental DDX (Double Differential Cross-section) data Improvements in resonance parameter analysis Development of JENDL/PD-2016 and JENDL-5 libraries Scientific recognition includes: 2025 Science and Technology Award (Development Division), MEXT 2024 Japan Atomic Energy Society Technical Prize Multiple Director's Awards from Japan Atomic Energy Agency Most Cited Article Award (2017) He contributes to international collaborations like OECD NEA WPEC and CIELO, advancing neutron cross-section evaluations for critical applications in nuclear energy and astrophysics.

• Nuclear Engineering
• Nuclear Physics
• Neutron Capture
• +3 more