南出 靖彦

(みなみで やすひこ)


1993年 京都大学大学院理学研究科数理解析専攻修士課程修了.
博士(理学).
現在,筑波大学大学院システム情報工学研究科准教授.
プログラミング言語およびソフトウェア検証に興味を持つ.

執筆箇所:

  ・7群1編 ソフトウェア基礎