喜家村 奨

プロセス代数の一種、CSP理論を用いた形式的手法が主な研究分野ですが、大学では、ネットワーク、ソフトウエア工学関連の講義を担当しています。
最近は、IoT、プログラミング教育の必要性を感じ、大学主催の市民講座の講師なども担当しています。
さらに最近では、プログラミングに関する教材開発等にも取り組んでいます。
ソフトウエア工学に関わった者として、社会に貢献できれば幸いです。