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

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.

• Numerical Analysis
• Numerical Integration
• Algorithms
• +۳ مورد دیگر

Takeshi Ikenaga is a Professor at Waseda University’s School of Fundamental Science and Engineering and Graduate School of Information, Production and Systems . He earned his Ph.D. in Information & Computer Science from Waseda University in 2001, following B.E. and M.E. degrees in Electrical Engineering (1988–1990). His career spans roles at NTT LSI Laboratories (1990–2002), Kitakyushu Foundation for Advancement of Industry, Science and Technology (FAIS) (1999–2002), and visiting researcher at the University of Massachusetts (1999–2000). Research Interests : Application-specific SoCs for video/image processing, including compression (H.264/AVC, H.265/HEVC), filters (super-resolution, noise reduction), recognition systems (feature detection, object tracking), and communication (UWB, LDPC). He also works on many-core processor design, ultra-low-delay vision systems, and sports analytics (volleyball, figure skating) with real-time 3D pose estimation and ball tracking. Awards : Recipient of the Furukawa Sansui Award (Waseda University, 1988) IEICE Research Encouragement Award (1992) Multiple Best Paper/Presentation Awards (2006–2022) at conferences including DAC/ISSCC, LSI IP Design, ISOCC, ISPACS, and CVIT APSIPA Distinguished Lecturer Certificate (2015) Waseda University Presidential Teaching Award (2020)

• Video Processing
• Image Processing
• Signal Processing
• +۷ مورد دیگر

Yasushi Sakurai is a Professor in the Department of Translational Datability at Osaka University's Institute of Scientific and Industrial Research, co-leading the Sakurai and Matsubara Laboratory within the Center for Industrial Science and AI. His research mission focuses on transforming society through real-time prediction of natural and social phenomena using large-scale data analytics, with emphasis on practical technological implementation. His research spans time-series big data analysis, dynamic learning systems, and real-time information provision. Key areas include tensor stream mining, EEG-based healthcare applications, cybersecurity anomaly detection, and multi-omics cancer subtyping. The lab specializes in developing deployable technologies that optimize social activities through predictive modeling of evolving data streams. Recent publications (2023-2025) reveal concentrated innovation in time-series data stream processing, with dominant themes in tensor analytics, frequency-domain forecasting, and causal modeling. His team produces high-impact work accepted at premier AI venues (ICLR, AAAI, KDD, WWW), consistently featuring oral presentations that highlight technical novelty and societal relevance. Scientific Awards: FY2024 Minister of Education, Culture, Sports, Science and Technology Award for Science and Technology (Research Category) for dynamic learning and real-time data stream analysis Professor Sakurai mentors graduate students including Naoki Chihara (DEIM2024 Outstanding Paper Award winner), Yuka Tamura (DEIM2024 Student Presentation Award winner), and Ren Fujiwara. His lab maintains active industry-academia partnerships focused on practical technology deployment, with research directly addressing real-world challenges in healthcare monitoring and cybersecurity. The Sakurai and Matsubara Laboratory operates as a dynamic research unit within Osaka University's Center for Industrial Science and AI, structured around specialized teams for tensor stream analysis, medical data mining, and network dynamics. Current projects emphasize real-time prediction systems with immediate societal applications, supported by strong industry collaboration frameworks.

• Time Series Analysis
• Big Data Analytics
• Predictive Modeling
• +۳ مورد دیگر

Jiro Katto is a Professor at Waseda University's School of Fundamental Science and Engineering, where he has been conducting research and teaching since 1999. He received his Ph.D. from the University of Tokyo and has established himself as a leading researcher in multimedia signal processing and computer networks. His academic journey includes positions as Associate Professor (1999-2004), Professor (2004-present), and Director at NEDO (2004-2008), along with research experience at NEC C&C Laboratories (1992-1999) and a Visiting Scholar position at Princeton University (1996-1997). Professor Katto's research interests focus on Multimedia Signal Processing and Computer Networks, with particular expertise in video compression, 5G network performance, and learned image compression techniques. His work bridges theoretical advancements with practical implementations, as evidenced by his extensive publications in top-tier conferences and journals. His research group has made significant contributions to point cloud compression, latency compensation in remote systems, and hardware-accelerated video encoding for UHD streaming. His publication record is impressive, with 276 papers cited 3,323 times in Scopus and 6,169 times in Google Scholar, reflecting his substantial impact in the field. His recent work shows a strong trend toward applying deep learning techniques to traditional signal processing problems, particularly in the areas of image and video compression, where his team has developed novel approaches to improve compression efficiency while reducing computational complexity. Electric Telecommunications Promotion Foundation Telecommunications System Technology Award (2023) Takayanagi Kenjiro Foundation Takayanagi Kenjiro Achievement Award (2020) Institute of Image Information and Television Engineers Fellow (2020) Institute of Electronics, Information and Communication Engineers Fellow (2015) IEICE Communications Society Activity Contribution Award (2006) IEICE Academic Encouragement Award (1995) SPIE VCIP 1991, Best Student Paper Award (1991) Professor Katto has served on numerous prestigious committees including IEEE ComSoC Tech News Editorial Board, IEEE Technical Program Committees for major conferences (Globecom, ICC, ICIP), and editorial boards for several academic journals. His leadership in the academic community extends to chairing conferences like IWAIT 2011 and serving as Editor-in-Chief for journals in his field. His research has practical applications in commercial 5G networks, video streaming services, and remote monitoring systems, demonstrating the real-world impact of his work.

• Multimedia Signal Processing
• Computer Networks
• Communication Engineering
• +۳ مورد دیگر

Dr. Tatsuya Mori is a Professor at the Department of Computer Science and Communication Engineering , Faculty of Science and Engineering, Waseda University . He also holds visiting researcher positions at RIKEN Center for Advanced Intelligence Project (since 2018) and National Institute of Information and Communications Technology (since 2019). Education: Ph.D. in Information Science (2005), Waseda University Research Interests: Spanning information security and privacy across emerging technologies like autonomous driving , AI , 3D sensing , VR , biometric measurement , and Web3 . His work focuses on offensive security and interdisciplinary research , including physical-layer attacks on sensors and behavioral studies on phishing detection. Scientific Awards: Recipient of multiple prestigious awards, including the Distinguished Paper Award Runners-Up at IEEE EuroS&P 2024 , IPSJ Outstanding Paper Award 2024 , and CSS2024 Concept Research Prize . His research has been recognized in top conferences like USENIX Security , NDSS , and ACM CCS . Professional Leadership: Active in academic governance as Chief Investigator for NISC Working Groups and Committee Member for JST Research Areas . He serves on program committees for NDSS , IMC , and ACM CCS .

• Information Security
• Privacy
• Autonomous Driving
• +۵ مورد دیگر

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.

• Optical fiber communication
• Space-division multiplexing (SDM)
• Wavelength-division multiplexing (WDM)
• +۵ مورد دیگر

FURUZUKI, Takayuki is a Professor at Waseda University's Faculty of Science and Engineering, Graduate School of Information, Production, and Systems. He holds a PhD from Kyushu Institute of Technology and maintains the NCLab research group (http://nclab.w.waseda.jp/nclab/). His professional memberships include the Institute of Electronics, Information and Communication Engineers, Institute of Electrical Engineers of Japan, Society of Instrument and Control Engineers, and IEEE. His educational background includes a PhD in Information Science from Kyushu Institute of Technology (1994-1997), a Master's degree in Electronics Engineering from Sun Yat-Sen University (1983-1986), and a Bachelor's degree in Electrical & Electronic Systems Engineering from Sun Yat-Sen University (1979-1983). Professor FURUZUKI's research spans neural networks, genetic algorithms, system identification and control, complex systems, bioinformatics, and combinatorial optimization. His work integrates soft computing techniques with medical informatics and control systems engineering, developing innovative approaches for problems ranging from brain tumor segmentation to music information retrieval. His research methodology often combines theoretical foundations with practical applications in healthcare, energy systems, and intelligent transportation. His recent publication record shows a strong focus on sequential recommendation systems, graph neural networks for medical imaging, music information retrieval, and power systems analysis. The consistent thread across his work is the application of advanced machine learning techniques to solve complex, real-world problems across diverse domains, with particular emphasis on handling missing data, improving model efficiency, and enhancing prediction accuracy. His scientific achievements have been recognized with several prestigious awards: ISCIIA2008 Excellent Paper Award (2008) Institute of Electrical Engineers of Japan Excellent Paper Award (2001) Guangdong Province Higher Education Science and Technology Progress Second Prize (1991) Guangdong Province Higher Education Science and Technology Progress Second Prize (1989) Chinese Ministry of Education Scientific and Technological Achievements Second Prize (1986) Professor FURUZUKI has maintained continuous research activity since joining Waseda University in 2003, with significant contributions to multiple research projects spanning neural computation, soft computing, and system engineering. His work demonstrates strong international collaboration, with publications involving researchers from various institutions worldwide. His research output includes over 410 papers with 3,623 citations and an h-index of 23 according to Scopus data. The NCLab research group, which he leads, focuses on neural computation and related areas, providing a platform for interdisciplinary research that bridges theoretical foundations with practical applications in healthcare, energy systems, and intelligent transportation. His laboratory environment fosters innovation in machine learning algorithms and their application to real-world problems, with particular emphasis on developing efficient, robust solutions for complex data analysis tasks.

• Neural Networks
• Genetic Algorithms
• System Identification and Control
• +۷ مورد دیگر

Carina Hanashima is a Professor at the Faculty of Education and Integrated Arts and Sciences , Waseda University, Japan. Her research focuses on neuroscience , developmental biology , and molecular mechanisms underlying cortical development . She has held academic positions at Kobe University (2014.04-2018.03), RIKEN (2008.10-2017.03), Osaka University (2012.04-2015.03), and Nara Women's University (2007.09-2014.11). Research Interests Neuronal specification and cortical circuit formation Role of transcription factors (e.g., Foxg1, Robo1) in brain development Gene regulatory networks in neurogenesis Evolutionary origins of the neocortex Recent Trends in Publications : Her work explores transcriptional repression , axon guidance signaling , and developmental clock mechanisms in mammalian and non-mammalian models (chicks, mice). Key themes include neurodevelopmental disorders (e.g., autism, schizophrenia), angiogenesis , and cell migration . Scientific Awards : Poster Award, Asia-Pacific Developmental Biology Conference APDBC (2012.10) Grants and Projects : Japan Society for the Promotion of Science Grants-in-Aid (2016.06-2021.03, 2021.04-2022.03) RIKEN Joint Retreat Organizer (2011-2017) Labs and Collaborations : She leads the Hanashima Lab at Waseda University, focusing on spatiotemporal control in neuronal identity and neurovascular coupling . Her lab employs genetic lineage tracing , in situ hybridization , and in utero electroporation techniques.

• Neuroscience
• Developmental Biology
• Molecular Biology
• +۳ مورد دیگر

Yu Fujimoto is a Professor at Waseda University's Advanced Collaborative Research Organization for SmartSociety. Previously, he served as an Associate Professor at Waseda University's Advanced Collaborative Research Organization for Smart Society (2015-2023) and Institute for Nanoscience & Nanotechnology (2012-2015), and as an Assistant Professor at Aoyama Gakuin University's Department of Integrated Information Technology (2009-2012). He holds a Doctorate from Waseda University's Graduate School, Division of Science and Engineering and is a member of IEEE and the Information Processing Society of Japan. His research focuses on statistical science applied to energy systems, with specific interests in renewable energy forecasting, statistical data analysis for energy management systems, and statistical machine learning theory. Fujimoto has published 109 papers with 1,191 citations and maintains an h-index of 16, demonstrating significant impact in his field. His recent publications show a strong trend toward integrating machine learning techniques with power system applications, particularly focusing on renewable energy integration, electric vehicle charging optimization, smart grid technologies, and carbon reduction strategies. His work frequently addresses the challenges of grid stability with high renewable penetration and develops innovative solutions using advanced data analytics. Best Paper Award for Big Earth Data (2025) for wind generation dataset research Best Paper Award in International Conference on Power, Energy and Electrical Engineering (2025) Second Best Paper Award in International Conference on Renewable Energy Research (2024) Top Downloaded Article in IET Smart Cities (2023) Top Downloaded Article in IEEJ Transactions (2022) Fujimoto's research bridges theoretical statistical methods with practical energy system applications, contributing significantly to Japan's efforts in smart grid development and renewable energy integration. His work often involves collaboration with industry partners and government research organizations to address real-world power system challenges.

• Renewable Energy
• Statistical Data Analysis
• Energy Management Systems
• +۳ مورد دیگر

Shoji Makino is a Professor at Waseda University's Graduate School of Information, Production and Systems. He has held academic and research positions at institutions such as the University of Tsukuba and NTT Communication Science Laboratories. His work spans acoustic signal processing, blind source separation, and adaptive filtering. Education: Ph.D., Tohoku University (1993.03) Mechanical Engineering, Tohoku University Graduate School of Engineering (1979.04–1981.03) Engineering, Tohoku University Faculty of Engineering (1975.04–1979.03) Research Interests: His research focuses on acoustic signal processing for speech and audio, including blind source separation (BSS) , beamforming , and adaptive filtering . He pioneered methods for solving permutation alignment in frequency-domain BSS and developed geometrically constrained ICA techniques. Scientific Awards: Hoko Award (2018.10, Hattori Hokokai Foundation) Outstanding Contribution Award of the Institute of Electronics, Information, and Communication Engineers (2018.06) IEEE Signal Processing Society Best Paper Award (2014.01) IEEE Fellow (2004.01) IEICE Achievement Award (1997.05) Committee Memberships: He has served as Chair of the IEEE CAS Society's Blind Signal Processing TC, General Chair of IEEE WASPAA2007, and Associate Editor of IEEE Trans. SAP. He is actively involved in EURASIP, APSIPA, and the Acoustical Society of Japan.

• Acoustic Signal Processing
• Blind Source Separation
• Digital Signal Processing
• +۶ مورد دیگر

Shinji Kimura is a Professor at Waseda University's Faculty of Science and Engineering, specializing in VLSI design and electronic systems. He holds a Doctor of Engineering from Kyoto University and has been with Waseda since 2002, previously serving as Associate Professor at Nara Institute of Science and Technology (1993–2002) and Assistant Professor at Kobe University (1985–1993). Kimura's research spans low-power circuit design , approximate computing , FPGA optimization , video coding (HEVC) , and hardware acceleration for AI . His work focuses on energy-efficient architectures for applications like neural networks, computer vision, and ultra-high-definition video processing. Recent publications emphasize hardware-efficient multipliers, neural network compression, and 3D-stacked memory systems. Awards include the LSI IP Design Award (2000, 1999) and the Information Processing Society of Japan Encouragement Award (1993). He leads projects on HEVC encoding/decoding, non-volatile memory optimization, and 3D integrated circuits, with VLSI implementations achieving real-time 8K video processing.

• Electronic Design Automation
• VLSI Design
• Computer Systems
• +۷ مورد دیگر

Yoshitaka Tanimizu is a Professor at the School of Creative Science and Engineering, Faculty of Science and Engineering, Waseda University. His research focuses on intelligent manufacturing systems, scheduling optimization, and human-centered production models. He holds a Doctor of Engineering degree from Osaka University and maintains an active research laboratory.

• Mechatronics
• Robotics
• Safety Engineering
• +۶ مورد دیگر

Hideyuki Suzuki is a Professor at the Department of Information and Physical Sciences , Graduate School of Information Science and Technology , Osaka University , where he has been employed since April 2016. His research spans nonlinear dynamics , hybrid systems , and many-body dynamics , with applications to power systems , brain modeling , and epidemic networks . 2001 : Ph.D. in Mathematical Engineering and Information Physics, University of Tokyo 1998 : M.Eng. in Mathematical Engineering and Information Physics, University of Tokyo 1996 : B.Sc. in Mathematics, University of Tokyo His research interests focus on nonlinear dynamical systems , particularly those with discontinuities or large-scale interactions , such as chaotic billiards , hybrid systems , and spatio-temporal chaos . He explores computational applications in machine learning (e.g., chaotic Boltzmann machines ), epidemiology (e.g., vaccine allocation models ), and power grid stability . The 15 most recent articles highlight his work in photonic computing , nonlinear sampling algorithms , and chaotic dynamics in engineering and biology . Key trends include interdisciplinary applications of nonlinear mathematics to renewable energy , neuroscience , and epidemic spread . Scientific awards include: 2022 Osaka University Prize 2018 JSIAM Best Paper Award for Hamiltonian Monte Carlo (2017) He leads the Nonlinear Mathematics Course laboratory, which accepts graduate and undergraduate students. His team investigates hybrid dynamical systems , chaotic computation , and real-world modeling in fields like traffic dynamics and epidemic networks . Research is supported by grants from JST CREST and ALCA-Next programs.

• Nonlinear Dynamics
• Hybrid Systems
• Many-Body Dynamics
• +۵ مورد دیگر

Yoichi Nakao is a Professor at the School of Advanced Science and Engineering, Faculty of Science and Engineering, Waseda University, specializing in natural products chemistry, chemical biology, and functional food chemistry. His research focuses on marine natural products, stem cell differentiation, and epigenetics, with significant contributions to understanding how natural compounds affect cellular processes. Dr. Nakao earned his Doctor of Agriculture from the University of Tokyo. His educational background includes undergraduate, master's, and doctoral studies all completed at the University of Tokyo between 1985 and 1994, followed by postdoctoral research at the University of Hawai'i Department of Chemistry from 1994-1996. His research spans multiple interdisciplinary fields with a particular emphasis on identifying bioactive compounds from natural sources. Nakao's work explores how marine organisms and traditional food sources produce compounds that influence stem cell differentiation, particularly neural stem cells into astrocytes, and how these processes relate to neurodegenerative diseases and depression. His laboratory investigates epigenetic modifications induced by environmental chemicals and natural products, with implications for developmental toxicology and disease prevention. A significant portion of his recent work focuses on sustainable applications, including serum-free cell culture systems using algal extracts for cultured meat production and regenerative medicine. Analysis of Nakao's recent publications reveals a strong focus on marine natural products chemistry, with numerous discoveries of novel compounds from sponges, cyanobacteria, and other marine organisms. His research increasingly integrates chemical biology approaches with stem cell technology, particularly using induced pluripotent stem cells to study epigenetic changes. There's also a growing emphasis on sustainable biotechnology applications, especially in developing alternatives to animal serum for cell culture, which has significant implications for cultured meat production and regenerative medicine. Dr. Nakao serves in various professional capacities, including as a committee member for the Natural Products Discussion Group (2011-present), the Japanese Society of Chemical Biology (2010-present), and the Chemical Ecology Research Group (2007-present). He is an active member of numerous professional societies including the American Chemical Society, Japanese Bioinformatics Society, and Japanese Society of Chemistry. His laboratory maintains active collaborations across multiple disciplines, working with researchers in microbiology, parasitology, and biomedical engineering. Current research directions include developing chemical probes for target identification, studying microbial interactions in marine environments, and exploring the therapeutic potential of natural compounds for neurological disorders and infectious diseases.

• Food sciences
• Functional food chemistry
• Bioorganic chemistry
• +۴ مورد دیگر

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.

• Software Engineering
• Model Checking
• Formal Verification
• +۴ مورد دیگر