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

• Bioimaging
• Bioluminescence
• Molecular Biology
• +۴ مورد دیگر

Takeharu Nagai is a Professor at Hokkaido University's Research Institute for Electronic Science, leading the Nagai Laboratory in the Department of Biomolecular Science and Engineering. His research integrates bioimaging technologies with molecular biology to explore fundamental questions about life and develop practical applications. Ph.D. from The University of Tokyo (1998) Professor, Hokkaido University (2022-present) Visiting Professor, Nara Institute of Science and Technology (2022) Vice Director, Osaka University SANKEN (2020-2022) Research Interests: Focus on Singularity Biology to study outlier cells' impact on biological systems, trans-scale imaging technologies (e.g., AMATERAS 3.0), and autoluminescent plants for sustainable lighting. Key methodologies include fluorescent/bioluminescent protein development and super-resolution imaging. Publication Trends: Recent works span cellular thermodynamics , water quality monitoring , synaptic plasticity , and trans-scale analytical systems . Collaborative projects address kidney injury mechanisms, plant biotechnology, and medical diagnostics. Scientific Recognition: 44th Shimadzu Prize (2024) 15th Nakatani Award Grand Prize (2023) Japanese Society of Microscopy Award (2020) 38th Japanese Society for Bioimaging Research Paper Award (2023) Grants & Collaborations: Recipient of JST ERATO grants and a Takeda Science Foundation grant (2021) for trans-scale life imaging. Collaborates with RIKEN, JST PRESTO, Health Sciences University of Hokkaido, and Kyushu Institute of Technology. Lab Overview: The Nagai Lab maintains active international partnerships (Indonesia University, Emory University) and hosts students through Osaka University's Frontier Bio program. Technical staff and research associates support projects in bioluminescent reporter systems and cellular logic.

• Mathematical Logic
• Computer Science
• Proof Theory
• +۵ مورد دیگر

Kazushige Terui is an Associate Professor at the Research Institute for Mathematical Sciences (RIMS), Kyoto University. His research focuses on mathematical logic and its applications to computer science, particularly proof theory, computational complexity, and nonclassical logics. He investigates proof normalization complexity, algebraic reformulations of proof-theoretic techniques, and logical foundations of computation. Terui maintains an active research group at RIMS and teaches courses including Mathematical Logic and Computer Science Fundamentals. Research Interests: Terui's work spans: Proof-theoretic aspects of nonclassical logics (linear logic, substructural logics) Computational complexity of proof normalization in lambda calculus Algebraic reformulation of logical techniques (cut-elimination, interpolation) Denotational semantics approaches to complexity characterization Effective proof discovery methods based on programming language theory Publications: His recent articles primarily explore proof theory, computational complexity, and logical foundations, with frequent focus on lambda calculus, linear logic, and type systems. Works frequently bridge theoretical computer science and mathematical logic. Education & Outreach: Authored the book Can Computers Become Mathematicians? (2015) for general audiences and maintains extensive lecture materials on mathematical logic and computer science foundations.

• Cognitive science
• Philosophy of Mind
• Philosophy of Perception
• +۷ مورد دیگر

Tony Cheng is an Associate Professor (non-tenure-track) at Waseda Institute for Advanced Study, Waseda University since April 2024. His interdisciplinary research bridges philosophy, cognitive science, and neuroscience with particular emphasis on the philosophical foundations of perception, consciousness, and bodily awareness. Cheng maintains an active research program with significant publications in top journals across multiple disciplines. Education Background: MSc in Psychology and Neuroscience of Mental Health from King's College London (2019-2021) PhD from University College London, Department of Philosophy (2015-2019) MPhil from University College London, Department of Philosophy (2012-2014) MA from City University of New York, Graduate Center, Department of Philosophy (2010-2012) Cheng's research focuses on transcendental arguments, bodily awareness, attention, consciousness, and perception. His work uniquely combines rigorous philosophical analysis with empirical cognitive neuroscience, creating a bridge between abstract philosophical concepts and measurable cognitive phenomena. He has made significant contributions to understanding perspectival shape perception, the relationship between tactile and visual cognition, and the epistemological foundations of consciousness studies. His recent publications reveal a clear trajectory toward increasingly interdisciplinary work that integrates philosophical methodology with empirical neuroscience. Cheng's research shows particular strength in examining Molyneux's question from both historical and contemporary perspectives, investigating how perspectival properties are represented across sensory modalities, and developing frameworks for understanding the relationship between artificial intelligence and human cognition. Scientific Awards: Scholarly Monograph Award in the Humanities and Social Sciences (2022.12) from Academia Sinica Cheng actively participates in academic leadership as Director of Logic, Methodology and Philosophy of Science and Technology (LMPST) since January 2025, and previously served as Supervisor (2022.02-2024.12) and Academic Committee Member for the Center for Traditional & Scientific Metaphysics. His teaching includes courses on Mind and Consciousness at both undergraduate and graduate levels in Waseda's School of Fundamental Science and Engineering and Graduate School of Fundamental Science and Engineering.

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

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.

• Cultural Studies
• Intellectual History (Meiji/Taisho Periods)
• Academic Writing
• +۴ مورد دیگر

Mayuko Sakamoto is an Associate Professor at the Global Education Center of Waseda University , with a Doctor of Letters from Nagoya University (2012). She specializes in Cultural Studies , Intellectual History of the Meiji and Taisho Periods , Academic Writing , and Writing Instructor Training . Education: PhD in Japanese Language and Cultural Studies from Nagoya University's Graduate School of Languages and Cultures. Professional Memberships: Japan Society for Child Sociology, Japan Society for Children's Literature, Japan Society for Remedial Education, Kanto Engineering Education Association. Her research focuses on linguistic appropriateness in writing , visualization of language sense , and evolution of moral education materials through historical analysis of fables and textbooks. She also investigates effective feedback mechanisms in academic writing courses. Key trends in her recent work include: Quantitative analysis of writing support systems using factor analysis and data science techniques ; Comparative studies of face-to-face vs. online writing centers ; Development of indirect learning programs for logical text creation; Historical analysis of children's representations in Meiji/Taisho moral texts . She has received multiple accolades, including the Waseda University Presidential Teaching Award (2020) and the Japan Society for Remedial Education Paper Award (2019) . Her contributions extend to course design at Waseda's School of Fundamental Science and Engineering , where she teaches Written Expression and Academic Writing in Japanese .

• Public Administration
• Public Policy
• Policy Evaluation
• +۲ مورد دیگر

Harunori Yamada is a Professor at Waseda University's Faculty of Political Science and Economics and Graduate School of Political Science. With a Master of Public Policy from Georgetown University, he specializes in public administration, policy evaluation, and evidence-based policymaking within the Japanese governmental context. His research critically examines how evidence informs policy decisions and the challenges of implementing effective evaluation systems in Japan's unique administrative environment. Master of Public Policy, Georgetown University Graduate School of Public Policy (1993) Bachelor's degree, Waseda University Faculty of Political Economics (1983) Professor Yamada's research focuses on public administration, policy evaluation, and evidence-based policymaking (EBPM) in Japan. He critically examines the limitations of evidence in policy processes, the relationship between New Public Management and civil servant ethics, and practical implementation of policy evaluation systems. His work investigates how evaluation findings translate into actual policy improvements, moving beyond technical methods to consider organizational and political dynamics within Japanese governance. Analysis of Professor Yamada's publications reveals consistent focus on evidence-based policymaking with increasing attention to practical implementation challenges in Japan. His work demonstrates methodological sophistication, blending theoretical frameworks with empirical investigation. A notable trend is his critical examination of how evaluation results are actually used in policy formation, with emphasis on the 'comparison-improvement' cycle and evaluation culture development. Japan Public Policy Association Japan Academy of Public Administration Professor Yamada's research has been supported by multiple grants from the Japan Society for the Promotion of Science. His current projects focus on evidence quality in EBPM, contemporary accountability issues, and the relationship between new public governance and policy evaluation. He teaches graduate courses including 'Policy Making' and 'Quantitative Analysis for Policy Evaluation,' demonstrating his commitment to training future policy analysts in both theoretical frameworks and methodological skills.

• Semantics of Programming Languages
• Categorical Logic
• Fixpoint Theory

Zeinab Galal is an Assistant Professor at the Research Institute for Mathematical Sciences (RIMS) at Kyoto University. Her research focuses on semantics of programming languages , categorical logic , and fixpoint theory . For direct contact, her email is zgalal@kurims.kyoto-u.ac.jp .

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

Takayuki Kiharaمشاهده پروفایل

دانشیار

• Computability Theory
• Descriptive Set Theory
• Mathematical Logic
• +۳ مورد دیگر

Takayuki Kihara is an Associate Professor at the Department of Mathematical Informatics, Graduate School of Informatics, Nagoya University, Japan. His research focuses on computability theory, descriptive set theory, and their interactions with mathematical logic and topology. He co-organizes international seminars such as the Computability Theory and Applications Online Seminar and has launched the Logic Winter School in Japan series. His work bridges foundational mathematics with computability, addressing topics like Borel functions, Wadge reducibility, and Turing degrees in Polish spaces. He actively participates in conferences like CiE and CCR, and serves on program committees for CCC, CCA, and other leading venues. Kihara’s contributions include organizing RIMS Symposia and international workshops on proof theory and computability. His research also extends to reverse mathematics, algorithmic randomness, and constructive mathematics, with notable collaborations on degree structures and effective topology. He maintains the Nagoya Logic Seminar and has hosted visiting scholars through JSPS programs.

• Computer Science
• Theory of Computing
• Programming Languages
• +۹ مورد دیگر

HAGIYA Masami is a Senior Professor at the Graduate School of Information Science and Technology , University of Tokyo. His research spans theoretical and practical aspects of computing, including software verification, molecular robotics, and DNA computing. Specialty : Computer science Research Themes : Analysis, verification, and synthesis of computational models Research Interests focus on bridging formal methods with biochemical computation systems. His work integrates software engineering and mathematical logic to develop novel approaches in symbolic execution and runtime verification , while pioneering research in molecular robots and DNA-based computing architectures. Scientific Awards include multiple Japanese government grants across diverse domains: Grant-in-Aid for Scientific Research (C) (2020-2022) Challenging Research (Exploratory) (2017-2020) Scientific Research on Innovative Areas (multiple projects 2012-2016) Scientific Research (B) (2014-2016)

• Theoretical Computer Science
• Programming Languages
• Semantics of Programming Languages
• +۳ مورد دیگر

Masahito Hasegawa is a Professor at the Research Institute for Mathematical Sciences (RIMS), Kyoto University, specializing in foundational aspects of computation and programming language theory. His core research domains include: Theoretical Computer Science (mathematical foundations of computation) Programming Languages (design and analysis) Semantics of Programming Languages (operational and denotational approaches) Category Theory (categorical models for computation) Type Theory (logical frameworks for programming) Lambda Calculi (formal systems for functional computation) Professor Hasegawa's work bridges abstract mathematical structures with practical programming language implementation, particularly advancing functional programming paradigms through rigorous semantic modeling. His research integrates category-theoretic methods to solve fundamental problems in language design and execution. He maintains active research collaboration through RIMS, a premier mathematical research institute in Japan, and communicates through his institutional profile and publications.

• Business Model
• Entrepreneurship
• Competitive Strategy
• +۲ مورد دیگر

Tatsuhiko Inoue is a Professor at Waseda University's School of Commerce, where he holds multiple teaching positions including Business Model and Competitive Strategy, Business Model Design, and Entrepreneurship courses for both undergraduate and graduate programs. He also maintains an affiliation with Waseda's Global Education Center and School of Political Science and Economics. His academic journey began at Yokohama National University's Faculty of Management (Accounting) and culminated with a Ph.D. in Business Administration from Kobe University in 1997. Before joining Waseda, Professor Inoue served as Associate Professor at Hiroshima University's Graduate School of Social Sciences (Management), and held faculty positions at Osaka University of Economics and Surugadai University. His research interests span business models, entrepreneurship, and competitive strategy, with particular expertise in how businesses create value through innovative structures and strategic positioning. His work bridges sociological perspectives with business administration, examining how organizations function within complex ecosystems. Professor Inoue's recent publications reveal a clear evolution in business model research, moving from foundational theoretical work to increasingly empirical and comparative studies. His scholarship has progressed from examining basic business model concepts to analyzing complex business ecosystems, with recent work focusing on Chinese startups, digital platforms, and investor perspectives. A distinctive thread throughout his research is the examination of imitation as a strategic tool, challenging conventional views on innovation while exploring how businesses create value through both novel and adapted approaches. Japan Society for Management Information Award (2003) Professor Inoue has secured multiple significant research grants from the Japan Society for the Promotion of Science, including a current project (2021-2026) on business models that increase corporate value, and previous projects on business ecosystems in creative industries and collective innovation systems. His research methodology has evolved to incorporate advanced text mining and machine learning techniques, working with programming-savvy collaborators to analyze business model literature and case studies. He has established productive relationships with venture capitalists and institutional investors for interview and experimental studies on how business models influence investment decisions. Professor Inoue maintains active involvement with research institutions including the Research Institute of Business Administration (as Concurrent Researcher since 2019) and has conducted international research collaborations, notably a comparative study of Japanese and US content industry business ecosystems at the University of Pennsylvania (2012-2014). His work on Japanese business practices, particularly regarding imitation and collective learning systems, has contributed significantly to understanding alternative innovation pathways beyond Western models.

• social psychology
• decision science
• behavioral metrics
• +۳ مورد دیگر

Kazuhisa Takemura is a Professor at Waseda University's School of Humanities and Social Sciences where he has served since 2003. He also directs the Waseda University Center for Decision Research (since 2007) and serves as Director of the Medical Safety Promotion Organization. His academic credentials include dual doctorates: a Ph.D. in System Science from Tokyo Institute of Technology (1994) and a Ph.D. in Medicine from Kitasato University (2013). Dr. Takemura's educational journey began at Doshisha University with undergraduate and graduate studies in Psychology, followed by interdisciplinary studies at Kyoto Institute of Technology. His research career shows a remarkable interdisciplinary trajectory spanning psychology, medicine, mathematics, and decision science. His research focuses on social psychology and behavioral decision theory, with specific interests in consumer behavior, risk perception, and decision-making processes. He employs diverse methodologies including eye-tracking experiments, mathematical modeling, and neuroeconomic approaches. Recent work examines multi-attribute decision strategies, consumer responses to energy labels, breast cancer screening behavior, and risk tolerance measurement across cultures. His research demonstrates consistent integration of theoretical frameworks with practical applications in consumer protection, medical decision-making, and public policy. Dr. Takemura's recent publication record shows remarkable productivity, with numerous articles in 2023-2025 across journals spanning psychology, mathematics, public health, and energy efficiency. His work reveals interdisciplinary connections between cognitive psychology, behavioral economics, and mathematical modeling of decision processes. He frequently collaborates with researchers across disciplines and countries, demonstrating global engagement in his field. Award for Science and Technology from MEXT (2024) for 'Reconstruction of Behavioral Decision Theory and Its Social Practical Research' Distinctive Achievement Award (Chikio Hayashi Award) from Behaviormetric Society (2022) Kimura Award from Transdisciplinary Federation of Science and Technology (2021) Fellow of the International Association of Applied Psychology (2018) Multiple Best Paper Awards across various academic societies Dr. Takemura serves as Editor in Chief of The Japanese Society of Theoretical Psychology journal and on editorial boards for Scientific Reports (Springer Nature) and The Japanese Society of Social Psychology. His leadership extends to directing research centers and participating in national and international research collaborations. His work bridges theoretical advancements in decision science with practical applications in consumer protection, medical decision-making, and public policy development. He leads the Waseda University Center for Decision Research, which functions as an interdisciplinary hub investigating human decision processes through psychological, economic, and mathematical perspectives. His research program demonstrates how theoretical insights about human decision-making can inform practical interventions in consumer protection, healthcare, and public policy.

• Combinatorial Algorithms
• Decision Diagrams
• Blockchain Technology
• +۴ مورد دیگر

KAWAHARA Jun is an Associate Professor at the Department of Communications and Computers Engineering, Graduate School of Informatics, Kyoto University. He leads research in combinatorial algorithms and decision diagram applications. Research focuses on combinatorial reconfiguration, network reliability, and blockchain algorithm design Key technical contributions include ZDD-based enumeration frameworks His recent publications (2020-2025) span: Graph enumeration techniques using decision diagrams Reconfiguration problem algorithms Blockchain network optimizations Combinatorial optimization applications Notable awards include: 2024 Japan Society for Artificial Intelligence Best Presentation Award 2022 LA/EATCS-Japan Presentation Award 2019 Japanese Society for Computation and Statistics Award 2008 COMP-NHC Best Paper Award Current grants include multiple JSPS-funded projects in combinatorial algorithms and blockchain research. He collaborates with researchers like Shin-ichi Minato and Masaharu Kasahara on graph theory and network security applications.