張 漢明(ちょう かんめい)
English
所属と連絡先
所属
南山大学
理工学部
ソフトウェア工学科
住所
〒4466-8673 愛知県名古屋市昭和区山里町18番地
居室
名古屋キャンパス
S棟2階
電話
052-832-3111
E-Mail
chang at nanzan-u.ac.jp
研究分野
ソフトウェア工学
形式手法(フォーマルメソッド)
研究室紹介
研究室紹介(2022年9月28日)
略歴
1989年3月 同志社大学 工学部 機械工学科 卒業
1989年4月 オムロンソフトウェア株式会社 入社
1995年3月 奈良先端科学技術大学院大学 情報科学研究科 博士前期課程 修了
1996年4月 財団法人九州システム情報技術研究所 研究員
1999年3月 奈良先端科学技術大学院大学 博士(工学)
2000年4月 南山大学 数理情報学部 情報通信学科 講師
2003年4月 南山大学 数理情報学部 情報通信学科 助教授