Dana Scott

ดาน่า สก๊อต (Dana Stewart Scott)

Turing 1976

สก็อต เกิดวันที่ 11 ตุลาคม 1932 ในเบิร์กเลย์, แคลิฟอร์เนีย 

1954 จบปริญญาตรีทางด้านคณิตศาสตร์ จากมหาวิทยาลัยแคลิฟอร์เนีย (University of California, Berkeley) 

1958 จบปริญญาเอก  จากพริ้นตัน (Princeton) โดยทำวิทยานิพนธ์เรื่อง Convergent Sequences of Complete Theories โดยมีอาจารย์อลอนโซ่ (Alonzo Church) เป็นอาจารย์ที่ปรึกษา

หลังจากเรียนจบได้ทำงานเป็นอาจารย์อยู่ที่มหาวิทยาลัยชิคาโก้ (University of Chicago) 

1959 เขียนหนังสือ Finite Automata and Their Decision Problem ร่วมกับไมเคิ้ล เรบิ้น (Michael O. Rabin) ซึ่งหนังสือนี้เสนอไอเดีย nondeterministic machine (อัลกอริทึ่ม ซึ่งให้ผลลพัท์ที่แตกต่างกันแม้ว่าจะมีอินพุตเดียวกัน) ให้กับทฤษฏีออโตมาต้า (automata theory) ซึ่งผลงานนี้ทำให้เขาได้รับรางวัลทูริ่งในเวลาต่อมา

1960 มาทำงานในตำแหน่งผู้ช่วยศาสตราจารย์ที่ ม.แคลิฟอร์เนีย, เบิร์กเลย์ 

1963 ย้ายมาสอนคณิตศาสตร์และตรรกศาสตร์ที่ที่สแตนฟอร์ด (Stanford University)

1967 ได้รับตำแหน่งศาสตราจารย์

1968 มาเป็นศาสตราจารย์พิเศษในเนเธอร์แลนด์

1969 เมื่อกลับมาสหรัฐฯ ได้เป็นอาจารย์สอนวิชาปรัชญาและคณิตศาสตร์ที่พริ้นตัน (Princeton University)

1972 ย้ายมาทำงานที่อ๊อกฟอร์ด (Oxford) ในตำแหน่งศาสตร์จารย์ด้านตรรกศาสตร์คณิตศาสตร์ ระหว่างนี้ได้ทำงานกับคริสโตเฟอร์ สตราชีย์ (Christoper Strachey) ในการพัฒนาคณิตศาสตร์พื้นฐานสำหรับการเเขียนโปรแกรมแบบซีแมนติค (semantics)  ซึ่งถูกเรียกว่า Scott-Strachey semantics

1976 ได้รับรางวัล Turing Award ร่วมกับไมเคิ้ล เรบิ้น จากผลงานเขียน Finite Automata and Their Decision Problem

1981 ย้ายมาสอนที่มหาวิทยาลัยคาร์เนกี้ เมล่อน (Carnegie Mellon University) ทางด้านคณิตศาสตร์และตรรกศาสตร์ ก่อนที่จะได้รับตำแหน่งศาสตราจารย์สาขาวิทยาศาสตร์คอมพิวเตอร์ในปี 1992

2003 เกษียณจากงานสอนหนังสือ แต่ว่าได้รับตำแหน่งศาสตราจารย์เกียรติคุณ

Leave a Reply