Jan Bergstra とは

Johannes Aldert "Jan" Bergstra(1951年生まれ)は、オランダのコンピュータ科学者です。彼の研究は、論理設計とソフトウェア設計の理論的基礎、特にシステム設計の正式な方法に焦点を当てています。彼は、データと計算プロセスの一般的な仕様の代数的方法の専門家として最もよく知られています。