経歴
2012年(平成24年)4月〜現在 教授 (大阪大学・大学院情報科学研究科)
2007年(平成19年)4月〜2012年(平成24年)3月 准教授 (大阪大学・大学院情報科学研究科)
2006年(平成18年)8月〜2007年(平成19年)4月スイス連邦工科大学ローザンヌ校客員研究員
(日本学術振興会特定国派遣)
2002年(平成14年4月)〜2007年(平成19年)3月 助教授 (大阪大学・大学院情報科学研究科)
2000年(平成12年)5月〜2002年(平成14年)3月 講師 (大阪大学・大学院基礎工学研究科)
1997年(平成9年)4月〜2000年(平成12年)4月 助手 (大阪大学・基礎工学研究科)
1996年(平成8年)4月〜1997年(平成9年)3月 助手 (大阪大学・基礎工学部)
1995年(平成7年)3月 大阪大学大学院基礎工学研究科博士前期課程修了
学会活動（国際会議）
- 18th Pacific Rim International Symposium on Dependable Computing (PRDC'12) publicity chair
- 11th IEEE International Symposium on Network Computing and Applications (IEEE NCA12) publicity co-chair
- 2nd International Conference on Networking and Computing (ICNC 2011) local arrangement chair
- 22nd annual International Symposium on Software Reliability Engineering (ISSRE 2011) publication co-chair
- 10th IEEE International Symposium on Network Computing and Applications (IEEE NCA11) publicity co-chair
- 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2011) program vice chair (Safety and Verification track)
- 16th IEEE Workshop on Dependable Parallel, Distributed and Network-Centric Systems (DPDNS 2011) program co-chair
- 16th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'10) publication chair
- 2nd Workshop on Biologically Inspired Approaches to Advanced Information Technology (Bio-ADIT 2006) local arrangement chair
- The International Conference on Dependable Systems and Networks (DSN 2005) publications chair
- 21st Symposium on Reliable Distributed Systems (SRDS 2002) local arrangement chair
- Program committee member
- 21st Asian Test Symposium (ATS 2012)
- 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2012)
- 5th IEEE International workshop UML and Formal Methods (UML&FM'12)
- 18th Pacific Rim International Symposium on Dependable Computing (PRDC'11)
- 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'11)
- 4th IEEE International workshop UML and Formal Methods (UML&FM'11)
- 16th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'10)
- 3rd IEEE International workshop UML and Formal Methods (UML&FM'10)
- 15th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'09)
- 2nd IEEE International workshop UML and Formal Methods (UML&FM'09)
- 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009)
- 11th IEEE International Conference on High Performance Computing and Communications (HPCC-09)
- 12th IEEE International Symposium on Object and component-oriented Real-time distributed Computing (ISORC 2009)
- 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2008)
- DSN 2007 Performance and Dependability Symposium (PDS 2007)
- 8th International Symposium on Autonomous Decentralized Systems (ISADS 2007)
- 20th International Conference on Advanced Information Networking and Applications (AINA 2006)
- 2nd Workshop on Biologically Inspired Approaches to Advanced Information Technology (Bio-ADIT 2006)
- The 11th International Conference on Parallel and Distributed Systems (ICPADS 2005)
- DSN 2005 Performance and Dependability Symposium (PDS 2005)
- 6th IEEE International Symposium on Object-oriented Real-time Distributed Computing (ISORC 2003)
- 2002 Pacific Rim International Symposium on Dependable Computing (PRDC 2002)
- 12th Asian Test Symposium (ATS 2003)
- 11th Asian Test Symposium (ATS 2002)
- 7th Conference on Real-Time Computing Systems and Applications (RTCSA 2000)
- 6th Conference on Real-Time Computing Systems and Applications (RTCSA'99)
- 5th Conference on Real-Time Computing Systems and Applications (RTCSA'98)
学会活動（国内学会）
- 電子情報通信学会英文論文誌D編集委員(平成23年5月〜現在)
- 電子情報通信学会和文論文誌D編集委員(平成17年5月〜平成23年5月)
- 電子情報通信学会会誌編集委員会委員(平成15年5月28日〜平成17年5月)
- 電子情報通信学会ディペンダブルコンピューティング(旧：フォールトトレラントシステム)研究会専門委員会委員(平成13年5月30日〜現在)
- 電子情報通信学会ソサイエティ論文誌編集委員会査読委員 (平成11年7月8日〜現在)
- 電子情報通信学会ソフトウェアサイエンス研究会専門委員会委員 (平成11年5月22日〜平成18年5月26日)