清野 貴博

せいの たかひろ

略歴:

1975年 3月 新潟県に生まれる

1997年 3月 東洋大学経営学部卒業 経営学士

1999年 3月 北陸先端科学技術大学院大学 情報科学研究科 情報システム学専攻 博士前期課程修了 修士 (情報科学)

2003年 3月 北陸先端科学技術大学院大学 情報科学研究科 情報システム学専攻 博士後期課程修了 博士 (情報科学)

2003年 4月 北陸先端科学技術大学院大学 情報科学研究科 博士研究員

2005年 10月 独立行政法人 産業技術総合研究所 特別研究員 (現職)

お知らせ

2007年 10月 17日: The 2nd International Conference on Software Engineering Advances (ICSEA 2007) で発表した共著の論文がベストペーパーに選ばれました。

2007年 10月 17日: The 2nd International Conference on Software Engineering Advances (ICSEA 2007) で発表した共著の論文がベストペーパーに選ばれました。

• Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, and Koichi Takahashi: Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams. In proceedings of the 2nd International Conference on Software Engineering Advances (ICSEA 2007), French Riviera, France, 2007.

2007年 8月 29日: ソフトウェアエンジニアリングシンポジウム2007 (SES2007) で講演を行いました。

• 高木理,清野貴博, 竹内泉, 和泉憲明, 高橋孝一: ML アクティビティ図に対する事象部分グラフ抽出および事象独立性検証アルゴリズム. ソフトウェアエンジニアリングシンポジウム2007, 東京, 2007.

研究テーマ

• 形式仕様の開発環境に関する研究
• 分散システムの形式仕様開発法に関する研究
• 大規模システムの形式仕様開発法に関する研究

連絡先

勤務先住所: 〒101-0021 東京都千代田区外神田1-18-13 秋葉原ダイビル10F 産業技術総合研究所 情報技術研究部門

電子メール: seino-takahiro＠aist.go.jp

※ メールアドレスの '＠' は全角文字で書いていますが、半角文字に置き換えてください。

---

Original Copyright © 2004-2007 Takahiro Seino Ph.D., all rights reserved.