جست‌وجوی استاد و پژوهشگر

Naoki Yamamotoمشاهده پروفایل

استادیار

• Graph Pattern Matching
• Static Type Checking
• Graph Rewriting Languages
• +۴ مورد دیگر

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.

• Computational Biology
• Bioinformatics
• Privacy-Preserving Data Mining
• +۵ مورد دیگر

Kana Shimizu is a Professor at Waseda University’s Faculty of Science and Engineering, School of Fundamental Science and Engineering, and a leading authority on privacy-preserving algorithms for genome and biomedical data. Since obtaining her Dr.Eng. from Waseda, she has held positions at AIST and a visiting investigator role at Memorial Sloan-Kettering Cancer Center, advancing to full Professor at Waseda in 2018. Education: Dr.Eng., Waseda University M.Eng., Waseda University (Dept. of Information Science) B.Eng., Waseda University (School of Science and Engineering) Research Interests: Prof. Shimizu integrates cryptography with life-science data analytics, developing homomorphic encryption and secret-sharing protocols that enable secure genome search, private chemical database queries, and privacy-preserving machine learning. She also contributes to computational biology through algorithms for next-generation sequencing, structural bioinformatics, and prediction of intrinsically disordered proteins. Publication Trends: Her recent works (2022-2024) emphasize practical privacy technologies—secure range queries, function secret sharing, and gradient-clipping for synthetic genomes—while earlier high-impact papers established fast similarity search (SlideSort), binding-site databases (PoSSuM), and encrypted genomic search using the Burrows-Wheeler transform, collectively bridging algorithmic innovation and real-world biomedical privacy needs. Scientific Awards: KDDI Foundation Achievement Award 2022 MEXT Commendation for Science and Technology (Research) 2018 Multiple best-paper/demo awards at CSS, IIBMP, and domestic bioinformatics meetings Grants & Advising: She currently leads JSPS KAKENHI (S) on “Compressed Secure Computation for Large-Scale Data” and an AMED project on precise cancer-genome graphs. She serves as advisor/evaluator for JST PRESTO, AMED, NBDC, and the Tokyo High Court, and has supervised numerous bachelor theses at Waseda. Labs & Teams: Prof. Shimizu heads a laboratory within the School of Fundamental Science and Engineering at Waseda, collaborating with national centers (AIST, RIKEN) and international partners (MSKCC, Finland Tekes/AF), focusing on encrypted bioinformatics platforms and high-performance genomic algorithms.