Tolong jelaskan mengenai 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.