A variety of equipment and software is used behind the scenes of the network that you use day by day. One of their roles is to maintain routes. This means determining the routes for data flowing through the network to a destination, and finding alternative routes to avoid routes currently broken, congested or with faulty equipment. This software is called routing protocol. Correct operation of this protocol enables data flowing through the network to be properly delivered to their destination. But how can we check if the protocol is working correctly? There are methods to check correctness of a protocol, for example model checking and protocol testing . My research focuses on how to improve the efficiency of protocol testing and model checking. We are also conducting research concerning highly reliable protocols that can maintain routes, even if equipment failure and link failure occur, by avoiding such failure autonomously.
- 2001 Master (Information Engineering), Hiroshima City University
- 2009 Ph.D. (Information Engineering), Hiroshima City University
- 2009 Research Assistant Professor, Graduate School of Biomedical and Health Sciences, Hiroshima University
- 2010 Resarch Assistant Professor, Graduate School of Information Sciences, Hiroshima City University
- 2012 Assistant Professor, Graduate School of Information Science and Technology, Osaka University
The four-digit phone numbers are extensions at Osaka University. To call directly from outside Osaka University, dial a phone number marked S after (area code 06) 6850 or a phone number marked T after (area code 06) 6879. For a phone number marked S (extension), however, first dial the main phone number (06) 6879-5111.
The e-mail addresses are given without the suffix "osaka-u.ac.jp"; add "osaka-u.ac.jp" to each e-mail address.