片山卓也
絶対非循環属性文法で記述されたソフトウェアの帰納的な検証法を考案し、その拡張として検証可能で修正・連携可能な階層的関数型ソフトウェアの構成法を提唱した。
法令は電子社会のソフトウェアであるという認識から法令工学という新しい分野を提唱し、特に国民年金法の述語論理による記述と検証をはじめて行った。
国際会議POPL、ICSE、ISPW、国際論文誌TOPLASなどでの一連の研究活動を通じて、欧米の研究者と日本の研究者の交流の橋渡し役を務めた。
国内で多くの研究プロジェクト代表者を務め、検証・進化可能なソフトウェア、故障検出・耐故障性、電子社会などの問題について取り組んだ。多数の後進の育成に尽力し、彼らはソフトウェア工学・計算機ネットワーク・形式的理論などの各分野で活躍している。
日本初の独立キャンパスを持つ国立大学院大学である北陸先端科学技術大学院大学の創設において、設計・実現に携わり、先駆的な研究・教育システムを生み出した。特に6年間は学長として深く運営に携わった。