村上 昌己

(むらかみ まさき)


1985年 名古屋大学大学院工学研究科博士課程了.
工学博士.
現在,岡山大学大学院自然科学研究科産業創成工学計算機科学・准教授,
並行性の理論,プログラムの意味論,プログラム変換/検証等の研究に従事.

執筆箇所:

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