南山大学

 

名古屋キャンパス/理工学部 ソフトウェア工学科

  • 理工学部3学科合計/男子:873名 女子:171名
    (2017年5月1日現在)
  • 教員/13名

教員紹介

繻エ 寛明 (講師)

  • 所属 / 情報センター・理工学部ソフトウェア工学科
  • 最終学歴 / 名古屋大学大学院情報科学研究科情報システム学専攻博士後期課程 単位取得満期退学
[ 長期研究 ]
テーマ
形式手法に基づくソフトウェア開発支援
内容
ソフトウェアが望ましい性質を持っていること、あるいは望ましくない性質を持っていないことを数理的技法を用いて証明する技術と、その結果に基づいてソフトウェアの修正や改善を支援する技術について研究する。
[ 短期研究 ]
テーマ
情報流解析に基づくソフトウェアの安全性検証と開発支援
内容
プログラムが扱う機密データや機密データを推測できる情報がプログラムの外部に流出しないことを検査する情報流解析の技術と、検査を通過しなかったプログラムの修正を支援する技術について研究する。
[ 趣味・特技など ] ドライブ、将棋
[ 皆様へメッセージ ] プログラミングを始める敷居は低くなっているのでぜひ挑戦してみましょう。