Find Academic Supervisors

• 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.

• 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.

• Japanese Literature
• Classical Japanese Literature
• Waka Poetry
• +2 more

Nobuyuki Kanechiku is a Professor at the Faculty of Letters, Arts and Sciences and School of Humanities and Social Sciences of Waseda University , where he has served since 1986. He holds a Master's degree in Japanese Literature from Waseda University (1985) and has been actively involved in Japanese classical literature research and educational technology innovation. Education : Master of Arts in Japanese Literature, Waseda University (1985) Bachelor of Arts in Japanese Literature, Waseda University (1979) His research focuses on medieval Japanese waka poetry , classical textual studies, and digital humanities applications in preserving historical manuscripts. His recent publications examine Heian/Kamakura period poetic practices , manuscript authenticity, and educational technology integration in humanities teaching. Notable research projects include: 12-13th Century Waka Expression History : Collaborative analysis of Raisei Shūdan and Jakumon-in Shōkyōdai manuscripts. Enhanced Waka Title Database : Digital compilation of poetic themes and topics from the Kōsa Nikki to early modern periods. Professional Memberships : 早稲田大学国語教育学会 (Waseda University Japanese Language Education Society) 早稲田大学国文学会 (Waseda University Japanese Literature Society) 中古文学会 (Medieval Japanese Literature Society) 中世文学会 (Kamakura Period Literature Society) 和歌文学会 (Waka Literature Society) He contributes to public education through appearances on NHK Educational TV and has developed on-demand university courses for classical literature instruction.

• Quantum Computing
• Quantum Information Theory
• Quantum Algorithms
• +6 more

Seiichiro Tani is a Professor at Waseda University's Faculty of Education and Integrated Arts and Sciences since April 2024. He previously held prominent roles at NTT Communication Science Laboratories (2003-2024), including Leader of the Computing Theory Research Group and Project Manager of the Research Center for Theoretical Quantum Information. He has also served as a Visiting Professor at Tokyo Institute of Technology (2022-2024) and a researcher at JST's ERATO projects (2004-2009). His academic journey includes a Ph.D. in Computer Science from the University of Tokyo (2006), preceded by M.E. and B.E. degrees from the University of Tokyo and Kyoto University, respectively.

Eijiro SumiiView profile

Professor

• Programming Languages
• Type Systems
• Process Calculi
• +3 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.

• Chinese Literature
• Chinese Poetry
• Classical Chinese Literature
• +6 more

Akio Tsuchiya is a Professor at the Faculty of Law , Waseda University , specializing in Chinese Literature and Classical Chinese Poetry . His career spans multiple roles at Waseda University since 2006, including Assistant Professor, Full-time Lecturer, and current Professorship. Education: Master of Arts (Waseda University, 2008), Peking University studies (2006), and Waseda University PhD (2003) Research focuses on Mid-Tang literature , particularly Wei Yingwu , Bai Juyi , and Liu Yuxi , analyzing epitaphs, poetic theories, and Dezong-Zhenyuan period dynamics. Recent publications (2025-2022) examine textual analysis of Tang banquet poetry, Wei Yingwu's political career, and digital education frameworks. Professional Affiliations: Waseda University Law Association Institute of Chinese Ancient Texts and Culture Chinese Classical Literary Society Chinese Tang Dynasty Literature Association Chinese Linguistic Society of Japan Academic activities include organizing conferences, presenting at international symposia (Beijing, Fudan, Keio Universities), and leading research projects on Tang literature. He also contributes to digital language education through the Waseda Moodle platform.

• Logic Programming
• Constraint Programming
• Hybrid Systems
• +2 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)

Synge TodoView profile

Professor

• Quantum Many-Body Physics
• Computational Physics
• Quantum Computing
• +5 more

Synge Todo is a Professor in the Department of Physics, Graduate School of Science at the University of Tokyo , with joint appointments at the Mathematics and Informatics Center , Institute for Solid State Physics , Institute for Physics of Intelligence , Quantum Software Project , and Next-Generation AI Research Center . Born in 1968, he earned his B.Sc. and Ph.D. from the University of Tokyo and subsequently held post-doctoral positions at ETH Zürich. Education Ph.D. (Science), University of Tokyo, 1996 B.Sc. (Physics), University of Tokyo, 1991 Research Interests Todo’s research integrates quantum many-body physics , computational physics , and quantum computing . He develops advanced Monte-Carlo algorithms , tensor-network techniques , and renormalization group methods to study strongly correlated electron systems , lattice QCD , quantum phase transitions , and machine-learning applications in physics . His recent work explores fault-tolerant quantum computing architectures , non-variational quantum ground-state preparation , and universal scaling laws in deep neural networks . Scientific Awards Prizes for Science and Technology, The Commendation for Science and Technology by MEXT Japan (April 2019) Grants & Collaborations He currently leads several JSPS KAKENHI projects, including “ Quantum-circuit design for computational materials science ” (2023-26) and “ Enhancement of detailed-balance-violating MCMC methods ” (2020-24). He also co-leads interdisciplinary teams focusing on data assimilation for materials discovery and scalable high-performance computing . Laboratories & Software Todo heads research activities in the HΦ quantum lattice model solver and the MateriApps portal, providing open-source tools for large-scale simulations in condensed-matter and materials science.

• Parallel Processing
• Parallelizing Compiler
• Multicore Processor
• +3 more

Professor Hironori Kasahara serves as Professor in the Department of Computer Science and Engineering at Waseda University's Faculty of Science and Engineering. He currently directs the Advanced Multicore Processor Research Institute and has held significant leadership positions including Senior Executive Vice President for Research Promotion (2020-2022) and IEEE Computer Society President (2018). His research focuses on parallel processing systems, parallelizing compilers, multicore processor architecture, and green computing technologies . Professor Kasahara has pioneered advancements in compiler technology for high-performance computing systems and has been instrumental in developing energy-efficient computing solutions. His work bridges theoretical computer science with practical industrial applications, particularly in real-time control systems. Professor Kasahara has received numerous prestigious awards recognizing his contributions to computing, including IEEE Life Fellow status (2023), the SCAT President Grand Award (2021), and the Spirit of the IEEE Computer Society Award (2019). He has served on influential committees including the Japan Prize Selection Committee and the Frances E. Allen Medal Committee. IEEE Life Fellow (2023) SCAT President Grand Award (2021) Information Processing Society of Japan Contribution Award (2020) Spirit of the IEEE Computer Society Award (2019) IEEE Fellow (2017) His academic leadership extends to international collaborations, having served as General Co-Chair for ISCA 2025 and contributed to global computing initiatives through the World Economic Forum. Professor Kasahara maintains an active research program with 118 published papers (Scopus) and an h-index of 31 (Google Scholar), demonstrating sustained impact in computer architecture and parallel systems research.