Find Academic Supervisors

Takuya OouraView profile

Assistant Professor

• Numerical Analysis
• Numerical Integration
• Algorithms
• +3 more

Takuya Ooura is an Assistant Professor at the Research Institute for Mathematical Sciences (RIMS) at Kyoto University, specializing in numerical analysis and mathematical software development. His work bridges theoretical mathematics with practical applications in scientific computing and software development. Dr. Ooura earned his educational credentials through a rigorous academic path: he graduated from Hokuriku High School in 1987; completed his undergraduate studies at Nagoya University's School of Science in 1992; earned his Master of Engineering from the Department of Applied Physics at the University of Tokyo in 1994; and completed his PhD (Engineering) from the same department in 1997. His academic journey continued with a Research Fellowship from the Japan Society for the Promotion of Science (1997) followed by a position as Research Associate at RIMS, Kyoto University (2000). Dr. Ooura's research focuses on numerical integration algorithms, particularly his groundbreaking double exponential formula for Fourier-type integrals, which has been incorporated into Mathematica's NIntegrate function. He has also developed a high-speed FFT library that's utilized in Google Chrome browser (visible in chrome://credits). His work on continuous Euler transformation for accelerating convergence of slowly decaying integrals represents significant innovation in numerical analysis. His research spans both theoretical development and practical implementation of mathematical algorithms with real-world applications. His publication record demonstrates consistent contributions to numerical analysis, with particular emphasis on quadrature methods, integral transforms, and high-precision computation. His work shows a clear progression from theoretical foundations to practical implementations, with several algorithms achieving widespread adoption in commercial and open-source software. Paper prize awarded by JSIAM (2000) for 'A continuous Euler transformation and its application to Fourier transforms of slowly decaying functions' Paper prize awarded by JSIAM (2001) for 'Improvement of the PI Calculation Algorithm and Implementation of Fast Multiple-Precision Computation' Paper prize awarded by JSIAM (2005) for 'An Improved Convergence Test for the Double Exponential Formula' Japan Society for Industrial and Applied Mathematics 4th Achievement Award (2014) for 'Pioneering and practical development of the double exponential numerical integration method' Dr. Ooura has developed several widely used mathematical software packages including the double exponential integral formula, Clenshaw-Curtis numerical integration rule, and a general-purpose FFT library. His FFT package is particularly notable for its speed and accuracy, with benchmark tests showing superior performance compared to other implementations. His software has been incorporated into major projects including Google Chrome and SETI@home, demonstrating the practical impact of his theoretical work. His future research directions include further development of numerical computation libraries and applying his methods to various computational problems.

• Human-robot interface
• Co-creative interface design
• Sports engineering
• +3 more

Shigeru Uesugi is Professor in the School of Creative Science and Engineering, Faculty of Science and Engineering, Waseda University. He directs interdisciplinary research that fuses mechanical engineering, human–robot interaction, and philosophy of technology to create co-creative interfaces, sports-assist devices, and mediated communication systems. Education: Ph.D. in Engineering, Waseda University Research Interests: Uesugi’s work centres on Human Interface & Interaction Design , Mediated Communication , and Being Design . He explores how technology can extend human bodily perception and foster co-creative relationships between users and machines, merging insights from robotics, sports science, and philosophy. Recent articles analyse embodied interaction in shared virtual spaces, remote collaboration via tangible interfaces such as networked “Lazy Susan” tables, and full-body rocking systems that create a sense of togetherness over distance. His publications reveal a steady focus on designing hardware–software hybrids that make remote partners feel co-present. Scientific Awards: 14th Okawa Thesis Award, Honorable Mention (2004) Human Interface Society Paper Award (2004) Grants & Projects: JSPS KAKENHI (A) “Comprehensive research on the relationship between scientific/technological innovation and human society” (2023-2026) JSPS KAKENHI Challenging Research “Transformations of intentionality and responsibility via artifacts” (2022-2025) JSPS KAKENHI “Fascia tension-propagation suit for motor-function enhancement” (2020-2023) Labs & Teams: He leads the Human-being Design Engineering Laboratory whose members develop co-creative interfaces, sports-training devices, and rehabilitation tools. The group maintains the website www.wesugi.mech.waseda.ac.jp and collaborates with the Waseda Research Institute for Science and Engineering.

• Soft Robotics
• Mechatronics
• Smart Materials
• +3 more

Akio Kodaira is affiliated with the Institute of Science Tokyo as a researcher. His work focuses on soft robotics, mechatronics, and advanced actuator design using materials like IPMC (Ionic Polymer-Metal Composites) and flexible fuel cells. Primary institution: Institute of Science Tokyo Research Interests Kodaira's research spans the development of soft robots, thin-film actuators, and bio-inspired mechanical systems. Key areas include IPMC fabrication techniques, energy-efficient actuators using Au/Pt electrodes, and 3D crafts using paper/fabric materials. Publication Trends Recent publications emphasize soft robotics, material hybridization (e.g., paper/fabric-assisted IPMC), and flexible fuel cell applications. His collaborations with researchers like Koichi Suzumori and Hiroyuki Nabae highlight interdisciplinary efforts in mechatronics and mechanical engineering. Collaborations Frequent co-authors include Koichi Suzumori (Professor, Institute of Science Tokyo), Kinji Asaka , and Hiroyuki Nabae . Projects involve thin-film robotics, McKibben muscles, and simulator-based navigation software.

• Optical fiber communication
• Space-division multiplexing (SDM)
• Wavelength-division multiplexing (WDM)
• +5 more

Itsuro Morita is Professor in the School of Fundamental Science and Engineering, Faculty of Science and Engineering, Waseda University, Tokyo. Before joining Waseda in 2022 he spent 23 years at KDDI R&D Laboratories, advancing from researcher to executive research fellow, and has been a visiting researcher at Stanford University. He is an IEEE Fellow and IEICE Fellow recognized for pioneering large-capacity, long-haul optical transmission systems. Education: 2004 – 2005 Tokyo Institute of Technology, Graduate School of Science & Engineering, Department of Electrical and Electronic Engineering (Doctoral coursework) 1990 – 1992 Tokyo Institute of Technology, Graduate School of Science & Engineering, Department of Physical Electronics (M.E.) 1986 – 1990 Tokyo Institute of Technology, School of Engineering (B.E.) Research Interests: Morita’s work sits at the intersection of optical fiber communication and software-defined networking. He explores ultra-high-capacity transmission via space-division multiplexing (multi-core/few-mode fibers), real-time MIMO digital signal processing for modal crosstalk mitigation, and SDN/NFV orchestration of disaggregated optical networks. Additional interests include quality-of-transmission estimation using machine learning, telemetry-enabled control planes (gRPC/gNMI), and metro-embedded edge/cloud architectures for IoT services. Publication Trends: Recent articles emphasize two converging themes: (i) petabit-per-second SDM/WDM experiments using novel fiber geometries and real-time DSP, and (ii) cloud-native SDN control frameworks that integrate machine-learning-based QoT prediction, YANG/NETCONF modeling, and open APIs (TAPI/OpenConfig) for multi-domain, partially disaggregated networks. These works collectively push both the physical capacity frontier and the agility of next-generation optical infrastructure. Scientific Awards: C&C Prize 2024 (NEC C&C Foundation) – contributions to WDM optical submarine cable systems IEICE Achievement Award 2021 – pioneering research on 10-Pbit/s ultra-large-capacity SDM transmission Telecom System Technology Award 2021 – 10.16-Pbit/s dense SDM/WDM transmission record IEEE Fellow (2021) – contributions to large-capacity high-speed transmission systems IEICE Fellow (2020) – research on trans-oceanic high-speed optical signal transmission Ichimura Industrial Award – Contribution Prize 2018 – development of terabit-class submarine cable systems Maejima Hisoka Award 2012 – proposal and demonstration of distributed-control soliton communication Minister of Economy, Trade and Industry Award for Advanced Technology 2006 – 160 Gbit/s ultra-high-speed optical transmission technology Advising & Grants: At Waseda University Morita advises graduate students on experimental photonic networking and leads externally funded projects on petabit SDM transmission and SDN orchestration. While specific grant numbers are not disclosed, his continuous industry-university collaborative testbeds (with KDDI, CTTC, and others) indicate substantial competitive funding. Labs & Teams: He heads the Optical Space-Division-Multiplexing Laboratory at Waseda, maintaining joint experimental facilities with KDDI Research and international partners (e.g., CTTC, Spain). The group operates real-time coherent MIMO testbeds, multi-domain SDN controllers, and fiber-level SDM prototypes capable of petabit-per-second demonstrations.

• Artificial Intelligence
• Multi-agent systems
• Machine learning
• +5 more

Toshiharu Sugawara is a Professor in the Department of Computer Science and Engineering at Waseda University's Faculty of Science and Engineering, School of Fundamental Science and Engineering, a position he has held since April 2007. With a Ph.D. in Engineering from Waseda University, his research spans multiple domains in artificial intelligence and multi-agent systems, maintaining active collaborations across international institutions and contributing significantly to the field through numerous publications and awards. Dr. Sugawara received his BS and MS degrees in Mathematics from Waseda University in 1980 and 1982, respectively, followed by his Ph.D. in 1992. Before joining Waseda University as faculty, he worked as a Research Scientist at NTT Laboratories from 1982 to 2007, with a visiting researcher position at the University of Massachusetts at Amherst in 1992-1993. He also held part-time lecturer positions at University of Electro-Communications (2003-2007), Waseda University (2004-2006), and Tokyo University of Agriculture and Technology (1990-1991). His research interests focus on artificial intelligence with particular expertise in multi-agent systems, machine learning, cooperation and coordination mechanisms, soft computing, computational social science, and social informatics. His work bridges theoretical foundations with practical applications in network management and information systems. Recent publications demonstrate a strong trajectory toward interpretable multi-agent reinforcement learning, efficient path planning algorithms, and modeling social behaviors in complex networks. His research group has made significant contributions to multi-agent path finding, cooperative task execution, and understanding virtual economies in social media platforms. Dr. Sugawara has received numerous prestigious awards including multiple Best Paper Awards at JAWS conferences (2014, 2015, 2018), ACM SAC 2015, and various research paper awards from Japanese academic societies. His work on multi-agent systems has been consistently recognized for its theoretical rigor and practical impact. As an advisor, Dr. Sugawara has mentored numerous students who have become prominent researchers in their own right, with many co-authoring papers that have received awards. His laboratory maintains strong collaborations with industry partners, particularly in the areas of network management and intelligent systems. Current research directions include developing interpretable multi-agent reinforcement learning frameworks, optimizing multi-agent coordination in constrained environments, and analyzing social dynamics in virtual economies.

• Biomaterials
• Biomedical Engineering
• Non-clinical testing methodology for Medical Devices
• +3 more

Professor Kiyotaka Iwasaki at Waseda University's Faculty of Science and Engineering is a leading figure in biomedical engineering with a focus on cardiovascular device development , tissue engineering , and regulatory science . His career spans over two decades at Waseda University, including roles as Associate Professor (2006-2014) and positions at Harvard Medical School's Laboratory for Tissue Engineering. Holding a Doctor of Engineering from Waseda, he serves on numerous international regulatory committees and has contributed to ISO/TC194 standards for medical devices. 1993-2002: Waseda University Education in Mechanical Engineering 2001-2004: Research Associate at Waseda University 2004: Research Scientist at Harvard Medical School 2018-Present: Professor at Waseda University His research interests include Non-clinical testing methodologies for medical devices Regulatory science frameworks Tissue engineering for ligament and cardiac applications Cardiovascular biomedical engineering His scientific contributions reveal through Development of decellularized tissue grafts for orthopaedic surgery Innovations in 3D cardiac tissue engineering using fibrin-based cell sheet stacking Pioneering bioresorbable stent technology with magnesium alloys Creation of biomechanical simulators for valvular disease modeling His awards span from the 2021 Japanese Ministerial Science Commendation 2020 JSME Standards Award 2018 ARIA Innovation Award 2001 ASAIO Fellowship While his publications demonstrate expertise in Vascular and cardiac device testing Bioresorbable stent evaluation Machine learning in medical device regulation Decellularized tissue applications

• Corpus Linguistics
• Educational Technology
• Natural Language Processing
• +5 more

Laurence Anthony is a Professor at Waseda University's School of Creative Science and Engineering, specifically affiliated with the Center for English Language Education in Science and Engineering (CELESE). He has held this position since 2009, having previously served as an Associate Professor at the same institution from 2004-2009. His academic journey began with a BSc from The University of Manchester (1991), followed by an MA (1997) and PhD (2002) from The University of Birmingham. Anthony's research centers on corpus linguistics, educational technology, and natural language processing applications in foreign language teaching. He is renowned for developing AntConc, a widely used freeware corpus analysis toolkit, along with numerous other educational software tools including AntWordProfiler, FireAnt, and ProtAnt. His work bridges linguistic theory with practical classroom applications, particularly in data-driven learning approaches for English as a Foreign Language contexts. His publication record is extensive with over 50 papers, 12,115 Google Scholar citations, and an h-index of 45. His recent work increasingly explores the intersection of corpus linguistics and artificial intelligence, examining how language models can enhance language teaching and analysis. Anthony's research has evolved from foundational corpus tool development to sophisticated applications in vocabulary profiling, writing analysis, and AI-assisted language learning. Among his notable recognitions are the Waseda University 6th e-Teaching Award (2018), the National Prize of the Japan Association of English Corpus Studies (2012), and the L'Oreal Art and Science of Color Gold Prize (2005). He serves on multiple editorial boards including for Studies in Corpus Linguistics, Journal of Asia TEFL, and Corpus Linguistics Research Journal. Anthony actively contributes to the academic community through numerous presentations at international conferences, recent ones including talks on AI integration with corpus methods at Corpus Linguistics 2025 and the LSP-Num Conference. His professional activities demonstrate ongoing engagement with both theoretical developments and practical applications in language education technology.

• Distributed Systems
• Embedded Systems
• Ubiquitous Computing
• +3 more

NAKAJIMA, Tatsuo serves as a Professor at Waseda University's School of Fundamental Science and Engineering, Department of Computer Network Engineering. Holding a Doctor of Engineering from Keio University, he has been affiliated with Waseda since 1999 after positions at Japan Advanced Institute of Science and Technology (1993-1999), Cambridge University, and Carnegie Mellon University. His academic profile shows substantial research output with 433 papers and 3,338 citations on Scopus, and 7,604 citations with an h-index of 42 on Google Scholar. Dr. Nakajima's research focuses on Distributed Systems, Embedded Systems, and Ubiquitous Computing, with particular emphasis on virtualization architectures for embedded environments. His work bridges theoretical computer science with practical applications in information appliances, operating systems, and persuasive computing technologies. He has developed innovative systems including SPUMONE (a composition kernel for multi-OS environments), SIGMA System, and SPLiT (a performance optimization library for multicore processors). Analysis of his 15 most recent publications reveals a consistent research trajectory centered on enhancing reliability, security, and performance of embedded and pervasive computing systems. His work shows increasing integration of human factors, particularly in sustainable behavior applications through persuasive technology. The research spans from low-level system architecture to user-centered applications, demonstrating both technical depth and practical relevance. Nokia Research Center, Visiting Research Fellow (2005.04) Dr. Nakajima's research has produced numerous practical frameworks including SPUMONE for multi-OS environments, SPLiT for performance optimization, and persuasive applications like EcoIsland for sustainable behavior. His work on kernel monitoring, anomaly detection, and self-healing systems demonstrates strong focus on system dependability. Current research appears directed toward integrating human factors with embedded systems, particularly in environmental sustainability applications. His laboratory work centers around the SPUMONE project, a virtualization layer for multi-core embedded systems that enables multiple operating systems to coexist with minimal engineering cost. This research environment supports exploration of resource management, security monitoring, and performance optimization in embedded contexts. The work has practical applications in information appliances, smart homes, and pervasive computing environments.

Katsuro InoueView profile

Professor

• Software Engineering
• Program Analysis
• Code Clone Detection
• +5 more

Katsuro Inoue is a Professor at Ritsumeikan University within the College of Information Science and Engineering. He holds a Dr. degree of Engineering from Osaka University (1984) and specializes in Software Engineering with a focus on Program Analysis , Code Clone Detection , Software Ecosystem Analysis , and Process Modeling . His work includes developing systems like CCFinder for code clone analysis and SPARS for software component significance ranking. Research Interests Program Analysis: Code Clone Analysis, Origin and Evolution Analysis, Software Ecosystems, Bug Detection, Analysis Tools and Algorithms Program Reuse: Code Search Engines, Program Archives, Searching Mechanisms Software Process: Process Modeling, Process Centered Environments, Process-Based Metrics, Quality Standards Key Publications Code Clone Analysis (2021), Library Dependency Updates (2018), Code Clone Tracking in Open Source (2012), Distributed Code Clone Detection (2007), Software Component Significance Ranking (2005), Compiler Garbage Collection (1991), Code History Tracking (2012) Professional Activities Program Committee Member in over 20 conferences (ICSE, IWPSE, PROFES) Editorial Board Member for IEEE Transactions on Software Engineering Co-Chair of multiple workshops (IWSC, IWPSE) Reviewer for SEC Journal Teaching Course: System Architect Course Developed course materials for Compiler Design and Language Processing Created exam problems and optimization examples for language processing courses

• Software Engineering
• Information Security
• Computer Systems
• +5 more

Hironori Washizaki is a Professor at Waseda University's School of Fundamental Science and Engineering, Department of Information and Computer Science, and serves as Director of the Global Software Engineering Laboratory. He also holds a visiting professorship at the National Institute of Informatics and serves as outside director at SYSTEM INFORMATION CO.,LTD. and eXmotion Co., Ltd. With a Doctorate in Information and Computer Science from Waseda University (2003), he has established himself as a leading researcher with 384 publications and an h-index of 36 according to Google Scholar. His research spans multiple domains including software engineering methodologies, security patterns, programming education, and the application of machine learning to software development. His work has significantly contributed to the fields of software patterns, quality assurance, and educational tools for programming. With over 20 years of academic experience, his career progressed from Research Associate (2002-2004) to Assistant Professor (2004-2008), Associate Professor (2008-2016), and Professor (2016-present). Washizaki's recent publications demonstrate a strong focus on applying AI and machine learning techniques to software engineering challenges, including prompt engineering patterns, program repair methods, and vulnerability assessment. His work bridges theoretical research with practical applications in both educational and industrial contexts, particularly in B2B software development and programming education for diverse age groups. KDDI Foundation Award (2022) Spirit of the Computer Society Award (2022) Distinguished Contributor, IEEE Computer Society (2022) IEEE Computer Society Golden Core Member (2022) Fellow, International Academy, Research, and Industry Association (2022) Computer Research Contribution Award, APSCIT (2016) Washizaki has served as chair of the IEEE CS Japan Chapter and SEMAT Japan Chapter, director of ACM-ICPC 2014 Asia Regional Tokyo Contest, and Convenor of ISO/IEC/JTC1/SC7/WG20. His editorial work includes positions at IEICE Transactions on Information and Systems and International Journal of Software Engineering and Knowledge Engineering. His leadership extends to programming education initiatives like SamurAI Coding, demonstrating his commitment to developing the next generation of software engineers.

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

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.

• Computer Architecture
• Parallel Computing
• Compiler Technology
• +3 more

Keiji Kimura is a Professor in the Department of Computer Science and Engineering at Waseda University's Faculty of Science and Engineering, School of Fundamental Science and Engineering. He earned his Doctor of Engineering from Waseda University and has held academic positions at the university since 1999, progressing from Research Associate to Assistant Professor (2004-2005), Associate Professor (2005-2012), and Professor (2012-present). He is affiliated with multiple professional organizations including ACM, IEEE Computer Society, The Institute of Electronics, Information and Communication Engineers, and Information Processing Society of Japan. His research focuses on computer architecture, particularly parallel computing systems and compiler technology. Kimura has made significant contributions to the development of the OSCAR (Optimally Scheduled Advanced Multiprocessor) automatic parallelizing compiler framework. His work spans multiple areas including multicore processor architecture, power reduction techniques for embedded systems, non-volatile memory systems, and parallelization methods for heterogeneous architectures. His research interests specifically include Multiprocessor Architecture and Parallelizing Compiler development, with applications in real-time systems and energy-efficient computing. Analysis of his recent publications reveals a strong focus on practical implementations of parallel computing technologies across diverse hardware platforms including RISC-V, ARM, and heterogeneous multicore systems. His work demonstrates a consistent trajectory from theoretical compiler development toward practical applications in embedded systems, security, and non-volatile memory technologies. The publications show increasing emphasis on RISC-V architecture, persistent memory programming, and power-efficient computing solutions. MEXT Award for Science and Technology (Research category), 2014.04 Ministry of Education, Culture, Sports, Science and Technology (MEXT) Kimura has served on numerous prestigious conference program committees including PACT, IPDPS, HPCA, and LCPC. His research has been supported through collaborations with major technology companies and government initiatives such as the METI/NEDO project entitled "Multicore Technology for Realtime Consumer Electronics." His work with the OSCAR compiler framework has demonstrated significant performance improvements and power reductions in real-world applications. He leads research in the APAL laboratory (http://www.apal.cs.waseda.ac.jp/) at Waseda University, focusing on advanced parallel processing technologies. His team works on compiler-directed approaches to solve challenges in heterogeneous multicore architectures, with particular emphasis on making parallel programming more accessible while optimizing for both performance and power efficiency. Current research directions include RISC-V secure boot verification, non-volatile memory systems, and GPU-based persistent memory solutions.

• Medical Informatics
• Statistical Science
• Bioinformatics
• +5 more

Dr. Masato Inoue is a Professor at the Faculty of Science and Engineering , School of Advanced Science and Engineering at Waseda University. He holds a Doctor of Medical Science from Kyoto University. Education: 2003 - Kyoto University Graduate School of Medicine 2003 - Kyoto University His research spans multiple disciplines at the intersection of Medical Informatics , Bioinformatics , and Statistical Mechanics . Key areas include: Medical Imaging : Developing Bayesian super-resolution algorithms and Prior Ensemble Learning for improved MRI reconstruction Voice Analysis : Creating innovative voice quality quantification systems for clinical diagnostics Genetic Analysis : Advancing haplotype inference methods and gene network modeling Signal Processing : Applying statistical mechanics to diverse problems from coding theory to neuroscience His recent publications (2021-2012) demonstrate consistent contributions to medical imaging algorithms , voice disorder classification , and genetic data analysis . Notable collaborations include work with Kyoto University researchers , Swedish medical institutions , and cross-disciplinary teams in bioengineering.

Naoki YamamotoView profile

Assistant Professor

• Graph Pattern Matching
• Static Type Checking
• Graph Rewriting Languages
• +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.

• Educational Technology
• Teaching Assistant
• Active Learning
• +5 more

Nozomi Fujikawa is a Research Associate at Waseda University's Center for Higher Education Studies, focusing on educational technology and teaching assistant (TA) support in active learning environments. Her research spans active learning methodologies , group discussion facilitation , and assistive technologies for accessibility. Education: PhD candidate at Waseda University Graduate School of Human Sciences (since 2022) Master's in Human Sciences, Waseda University (2020–2022) Bachelor's in Human Sciences, Waseda University (2013–2017) Research Themes: Fujikawa's work emphasizes enhancing TA roles in collaborative learning environments and developing smart systems for disability support, including parking and barrier-free infrastructure. Her publications in journals like Rehabilitation Engineering and conferences such as CSCL highlight her interdisciplinary approach. Recent Trends: Recent papers (2024–2025) focus on learning environment design processes , TA training frameworks , and technology-driven accessibility solutions . These reflect her dual expertise in educational innovation and inclusive technology development. Professional Contributions: She serves on the Japan Society for Educational Technology's Priority Areas Learning Environment Division (2023–2025) and participates in projects like W-SPRING's 2022–2024 study on TA practical knowledge. Teaching Experience: Fujikawa has served as a TA for courses like Data Literacy , Academic Writing , and Educational Technology Research Methods , demonstrating her commitment to pedagogical support and curriculum development.