Dana Scott
Dana Stewart Scott (lahir 1932) adalah seorang ilmuwan komputer yang mendapat penghargaan Turing Award pada tahun 1976 atas kontribusinya di bidang teori automata.
Masa awal[sunting | sunting sumber]
Scott menyelesaikan pendidikan sarjana di bidang matematika di University of California, Berkeley pada tahun 1954. Kemudian ia melanjutkan Ph.D di Princeton, dan lulus pada tahun 1958.
Pada tahun 1959, Scott menulis makalah bersama dengan Michael O. Rabin yang berjudul Finite Automata and Their Decision Problem. Di sini mereka mengemukakan gagasan mesin nondeterministik dalam teori automata. Paper inilah yang kemudian membuat Scott dan Rabin mendapat penghargaan Turing Award.
Logika modal[sunting | sunting sumber]
Scott sempat menekuni bidang logika modal, dan mengembangkan generalisasi dari semantik Kripke yang disebut dengan semantik Scott-Montague.
Semantik bahasa pemrograman[sunting | sunting sumber]
Bersama Christopher Strachey, Scott mengembangkan dasar-dasar matematis untuk semantik dari bahasa pemrograman yang disebut sebagai semantik denotasional. Scott ikut pula berkontribusi kepada pengembangan teori domain.