Term

Daniel Jackson

別名: ダニエル・ジャクソン

Overview

マサチューセッツ工科大学(MIT)のコンピュータ科学・人工知能研究所(CSAIL)に所属する教授。ソフトウェアの設計、仕様記述、形式手法の分野における権威として知られる。特に、ソフトウェア設計の解析ツールである「Alloy」の開発や、その基礎となるモデリング手法の提唱で世界的に高い評価を受けている。複雑なソフトウェアシステムの構造を人間が理解しやすい「概念」として再構築する研究に従事しており、著書『Software Abstractions』などはこの分野の古典的な文献となっている。

Mentioned Articles

1 件

External Mentions

1 件