略歴
学歴・取得学位
大阪大学 基礎工学部 卒業〔工学士〕
大阪大学大学院 基礎工学研究科 修士課程 修了〔工学修士〕
大阪大学大学院 基礎工学研究科 博士課程 修了
「LR(ｋ)アナライザおよびマイクロプログラム記述言語に関する研究」により、大阪大学より工学博士の学位を授与される。
主な職歴
広島大学 工学部 専任講師
広島大学 工学部 助教授
大阪大学 基礎工学部 助教授
大阪大学 基礎工学部 教授
大阪大学 評議員
大阪大学大学院 情報科学研究科 教授
大阪大学 中之島センター長
大阪大学 留学生センター長
大阪大学 国際教育交流センター長
大阪学院大学 情報学部 教授
所属学会
ACM
IEEE
電子情報通信学会
情報処理学会
日本信頼性学会
研究課題
オープンシステムディペンダビリティの合意形成プロセス
主な研究業績（著書・論文等）
| A linear algorithm for the domination number of a series-parallel graph | Discrete Applied Mathematics | 1983.05 |
|---|---|---|
| A meeting scheduler for Office Automation | IEEE Transaction on Software Engineering | 1989.10 |
| Reconfiguration algorithm for fault-tolerant array with minimum number of dangerous processors | 21st International Symposium on Fault-Tolerant Computing | 1991.06 |
| Minimizing the maximum delay for reaching consensus in quorum-based mutual exclusion schemes | IEEE Transaction on Parallel and Distributed Systems | 1999.04 |
| Characterization of risky projects based on project manager's evaluation | International Conference on Software Engineering | 2000.05 |
| On detecting feature interactions in programmable service environment of Internet telephony | Journal of Computer Networks | 2004.05 |
| Fault-prone module detection using large-scale text features based on spam filtering | Empirical Software Engineering | 2010.04 |
| Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints（共著） | IEICE Trans. on FECCS (E95-A,9) | 2012.09 |
| Safety Verification of Asynchronous Consensus Algorithms with Model Checking（共著） | 18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC2012) | 2012.11 |
| Software Reconstruction and Module Management for Distributed Processing of Train Control（共著） | 11th International Symposium on Autonomous Decentralized Systems (ISADS2013) | 2013.03 |
| 情報家電システムの安全検証（共著） | 日本信頼性学会（編） 新版「信頼性ハンドブック」 |
2014.08 |
| 信頼性の手法に影響を与えた4つの出来事 | 日本信頼性学会誌 | 2018.09 |
主な社会的活動等
JASSO委員会委員、JSPS委員会委員、日本学術会議連携会員、
JST・CREST・領域運営アドバイザー
講義など協力可能なテーマ
ディペンダビリティ