2011年度（平成23年度）

コース名　　数学・情報数理学コース

領域名　　　情報数理領域

教員名　　　山本　光晴

電子メール　mituharu理math.s.chiba-u.ac.jp

　　　　　　※メール送信の際は、「理」を半角@に変更してください。

（1）研究論文などのリスト（印刷中を含む）

　　　・"Model Checking Distributed Systems by Combining Caching and Process Checkpointing", Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, and Mitsuharu Yamamoto, 26th IEEE/ACM International Conference on Automated Software Engineering (ASE), 査読有,              pp. 103-112, 2011.

（2）卒業研究、大学院修士および博士論文修了指導人数

なし

（3）国際会議出席と招待リスト

なし

（4）教育業績　（自己申告、テキストの作成など、授業の工夫など）

なし

（5）学会、国、県などへの協力，地域・社会と連携した教育・研究活動など

　　・情報処理学会・プログラミング研究会 運営委員

・ 日本応用数理学会・「数理的技法による情報セキュリティ」研究部会 幹事

・ Workshop on Computation: Theory and Practice (WCTP-2011) プログラム委員

（6）特許（発明者名，発明の名称，出願日，出願番号，整理番号等）

なし

（7）その他　

　　　なし