- 2021 - 2024 Development of Low-cost Powered Air-Purifying Respirators (PAPRs) and Operational Tests in Hospitals and Universities in Cebu city, Philippines
- 2016 - 2020 Proof system for Realizability Decision of Reactive System Specification described by Temporal Logic
- 2015 - 2018 Realization of safe and worry-free community using security camera system, which watches over the whole community with privacy protection
- 2013 - 2017 Realizability Decision and Program Synthesis for Reactive System Specification described by Temporal Logic
- 2012 - 2015 Suggestion of safe and secure town planning using security camera with both privacy protection and surveillance
- 2009 - 2011 Study on security camera system using image encryption for safety of community
- 2007 - 2008 Research for improving community security by personal security cameras
- 2003 - 2005 論理結合子の適切さに基づく有益な情報の導出に関する研究
- 2000 - 2003 Verification methods of secure systems based on logical specifications
- 2000 - 2001 論理結合子の適切さに基づく有益な情報の導出に関する基礎研究
Show all