Faculty Information - 増澤　利光 |

増澤　利光

Department / Course

Notre Dame Seishin University Information and Data Science

Job Professor

Research topic, funded research, and department laboratory expense
	Study on Distributed Algorithms
	Study on High-Level Synthesis of Logic Circuits
	Study on Parallel Algorithms
2021/07/09 ～ 2024/03/31	A machine learning based approach to automatic derivation of critical executions of distributed softwares Grant-in-Aid for Challenging Research (Exploratory)
2020/10 ～ 2025/03	Sustainable distributed systems based on autonomous mobile entities in environments with unpredictable dynamics Fund for the Promotion of Joint International Research (Fostering Joint International Research (B))
2019/04/01 ～ 2023/03/31	New theoretical basis of large scale dynamic distributed systems based on uncertain information and its applications Grant-in-Aid for Scientific Research (B)
2016/04/01 ～ 2019/03/31	Interaction patterns of processes in distributed network environment Grant-in-Aid for Scientific Research (C)
2014/04/01 ～ 2018/03/31	Research on sustainable and adaptive distributed systems in environments with diverse dynamics Grant-in-Aid for Scientific Research (B)
2014/04/01 ～ 2018/03/31	A study on mobile agent systems to integrate various computing environments Grant-in-Aid for Scientific Research (C)
2012/04/01 ～ 2015/03/31	Mesoscopic design and analysis for very large scale distributed systems with dynamics Grant-in-Aid for Challenging Exploratory Research
2012/04/01 ～ 2016/03/31	Process interaction and fault-tolerance in distributed computing systems Grant-in-Aid for Scientific Research (C)
2010/04/01 ～ 2014/03/31	Energy-efficient stabilization of distributed systems with intermittent dynamics Grant-in-Aid for Scientific Research (B)
2008 ～ 2011	Research on self-* distributed algorithms in dynamic netwroks Grant-in-Aid for Scientific Research (B)
2007 ～ 2010	Design methodology of stabilizing distributed systems in intermittently unstable network environments Grant-in-Aid for Scientific Research (B)
2004 ～ 2007	Research on modeling and algorithms for network problems Grant-in-Aid for Scientific Research on Priority Areas
2003 ～ 2006	Research on Design Methodology of Dependable Distributed Software for Mobile Networks Grant-in-Aid for Scientific Research (B)
2002 ～ 2003	Development of a new system for programming language education Grant-in-Aid for Scientific Research (B)
2000 ～ 2002	STUDIES ON IMPLEMENTATION AND APPLICATION OF SELF-STABILIZING SHARED OBJECTS IN DISTRIBUTED SYSTEMS Grant-in-Aid for Scientific Research (C)
1998 ～ 2000	Distributed Algorithms for Implementing Highly Reliable Distributed Systems Grant-in-Aid for Scientific Research on Priority Areas (B)
1997 ～ 2000	BASIC STUDIES ON VLSISYNTHESIS FOR TESTABILITY FROM HIGHER LEVEL Grant-in-Aid for Scientific Research (B).
1990 ～ 1991	Research on Development of Preparation and Presentation system of Educational Materials Grant-in-Aid for Developmental Scientific Research (B)
1989 ～ 1990	Computational Complexity for Extracting Global Information from Locally Distributed Information Grant-in-Aid for General Scientific Research (B)
1987 ～ 1988	Visualization of Algorithms Grant-in-Aid for General Scientific Research (B)