جستجوی استاد راهنمای دانشگاهی

• Software Engineering
• Information Security
• Computer Systems
• +۵ مورد دیگر

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.

Katsuro Inoueمشاهده پروفایل

استاد

• Software Engineering
• Program Analysis
• Code Clone Detection
• +۵ مورد دیگر

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

• Computer Architecture
• Parallel Computing
• Compiler Technology
• +۳ مورد دیگر

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
• +۲ مورد دیگر

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.

• Education History
• Japanese History
• Preparatory Schools
• +۶ مورد دیگر

Atsushi Mikami is a Professor at Waseda University's Faculty of Education and Integrated Arts and Sciences. Previously, he held academic positions at Hokkaido University of Education (2013–2023) and Aichi University of Education (2003–2013). His educational background includes a Ph.D. in Education from Hokkaido University (2002) and graduate studies in Education and Letters. Doctoral Degree: Hokkaido University (2002) Graduate School of Education: Hokkaido University (1996–2002) Faculty of Letters: Hokkaido University (1991–1993) Mikami's research focuses on Japanese educational history , emphasizing preparatory schools , night secondary schools , and entrance examination systems . His work explores non-formal education , educational journalism , and career design , particularly in pre-war and post-war Japan. He has authored key studies on institutions like the Kawaijuku and Telecommunications Training Schools . His 15 most recent articles span topics such as the evolution of nationwide preparatory schools, pandemic-era academic collaboration, and historical analyses of certification exams. These works often intersect with urban-rural educational disparities , vocational training , and governmental policies . Scientific awards include the 2012 Tetsushin Alumni Association Commemorative Award and the 2006 Ishikawa Kenji Award for Japanese Educational History Research. He has served on committees like Hokkaido Prefecture's History Compilation Committee and held leadership roles in the National Society for Local Educational History. 2012–2015: Director, National Society for Local Educational History 2006–2015: Committee Member, Nagoya Board of Education As a member of organizations such as the Railway History Society and Japan Society for the Promotion of Science , Mikami contributes to interdisciplinary studies. His teaching includes graduate-level courses on educational history and system analysis, reflecting his expertise in historical educational systems and non-formal learning .

• Quantum Computing
• Quantum Information Theory
• Quantum Algorithms
• +۶ مورد دیگر

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 Sumiiمشاهده پروفایل

استاد

• Programming Languages
• Type Systems
• Process Calculi
• +۳ مورد دیگر

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.

• Logic Programming
• Constraint Programming
• Hybrid Systems
• +۲ مورد دیگر

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 Todoمشاهده پروفایل

استاد

• Quantum Many-Body Physics
• Computational Physics
• Quantum Computing
• +۵ مورد دیگر

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.