Carroll Morgan (computer scientist) とは

Charles Carroll Morgan(1952年生まれ)は、10代前半にオーストラリアに移住したアメリカのコンピュータ科学者です。シドニー大学で博士号を取得し、1980年代初めに英国に移住した(高校、大学、数年の業界)。 2000年、彼はオーストラリアに戻りました。
1980年代から1990年代にかけて、キャロル・モルガンは英国のオックスフォード大学コンピューティング・ラボラトリーで、フォーマルな方法の分野で働く研究者と講師を務めました。 Jean-Raymond AbrialのZ表記の影響を受けて、Zの高水準仕様の側面をまとめようとする試みとして、仕様からのプログラミング(Prentice Hall International Series of Computer Science、ISBN 0-13-123274-6)を執筆しましたEdsger Wybe Dijkstraの厳密なプログラム導出技術を用いて、彼の治療は、初期のプログラム構成に集中していたため、初めに学部にアクセスできるようにしました。そこにあるアイデアのいくつかは、1980年代後半にAbrialがオックスフォードで帰国したときにJean-Raymond AbrialによってB-Methodの要素として後に組み込まれました。
Annabelle McIverと共同で、Morganは後でProbabilistic Systems(コンピュータサイエンスのSpringer Monographs、ISBN 978-0-387-40115-7)のAbstraction、Refinement、Proofを執筆し、同じテーマが確率的プログラムのために追求された。
モーガンは現在オーストラリアのニューサウスウェールズ大学の教授です。彼の主な研究分野は、セキュリティと並行性のための確率論的モデルです。また、IFIPワーキンググループの多くの論文と活動メンバーの著者でもあります。
キャロル・モーガンは、精緻化微積分と呼ばれるプログラム開発に対する正式なアプローチの支持者として知られています。