Category:形式手法の人物
 - アラン・チューリングAlan Turing
 - エドガー・ダイクストラEdsger W. Dijkstra
 - ジョン・マッカーシーJohn McCarthy (computer scientist)
 - ドナルド・クヌースDonald Knuth
 - クリストファー・ストレイチーChristopher Strachey
- デイナ・スコットDana Scott
 - アロンゾ・チャーチAlonzo Church
 - カール・アダム・ペトリCarl Adam Petri
 - オーレ=ヨハン・ダールOle-Johan Dahl
 - ニクラウス・ヴィルトNiklaus Wirth
 - アレン・エマーソンE. Allen Emerson
- カール・ヒューイットCarl Hewitt
 - レスリー・ランポートLeslie Lamport
 - デイビッド・パーナスDavid Parnas
 - ロビン・ミルナーRobin Milner
 - ハーラン・ミルズHarlan Mills
 - アミール・プヌーリAmir Pnueli
 - バートランド・メイヤーBertrand Meyer
 - ロバート・フロイドRobert W. Floyd
 - アントニー・ホーアTony Hoare