Dana Scott

Dana Stewart Scott (born October 11, 1932) is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California. His research career involved computer science, mathematics, and philosophy. His work on automata theory earned him the ACM Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He has worked also on modal logic, topology, and category theory.

Early career

He received his BA in Mathematics from the University of California, Berkeley, in 1954. He wrote his Ph.D. thesis on Convergent Sequences of Complete Theories under the supervision of Alonzo Church while at Princeton, and defended his thesis in 1958. Solomon Feferman (2005) writes of this period:

After completing his Ph.D. studies, he moved to the University of Chicago, working as an instructor there until 1960. In 1959, he published a joint paper with Michael O. Rabin, a colleague from Princeton, titled Finite Automata and Their Decision Problem, which introduced the idea of nondeterministic machines to automata theory. This work led to the joint bestowal of the Turing Award on the two, for the introduction of this fundamental concept of computational complexity theory.

This page contains text from Wikipedia, the Free Encyclopedia - https://wn.com/Dana_Scott

Latest News for: dana scott

How do you Live Well, Hickory?

Hickory Record 27 Jun 2018

+3. Dana Kaminske. No matter the time of day or the temperature outside, people of all ages and abilities can be active in Hickory ... +3. Dana Kaminske ... +3. Dana Kaminske ... Dana Kaminske ... Activity can be anything from walking a few times a week to training for marathons, and everything in between,” said Communications and Marketing Manager Dana Kaminske ... Written by Communications and Marketing Manager Dana Kaminske Sponsored Content . ....

Edit

Jeremy Scott Gets Backlash After “Alien” Campaign

Yahoo Daily News 27 Jun 2018

On Monday, designer Jeremy Scott posted new campaign images from his latest collection for Moschino, including what he called an "alien" Gigi Hadid with blue skin ... Scott replied to one of the comments with this statement.View photos ... Scott also sent models with blue, green, orange, and yellow skin down the runway for Moschino's Fall 2018 show in February and told Vogue his political message for the show at the time....

Edit

Florida Governor: No pay during government shutdowns

Missoulian 27 Jun 2018

Rick Scott says members of Congress should not get paid during a government shutdown. Scott announced his backing of this proposal during a campaign stop Tuesday in Naples ... as Scott. Scott's idea isn't new....

Edit

Explosion, partial collapse reported at Coryell Memorial Hospital in Gatesville

TDT News 27 Jun 2018

Of those injured, nine went to Scott & White Medical Center-Temple and four were sent to Baylor Scott & White Medical Center-Hillcrest in Waco. Families may call the Scott & White Medical Center – Temple. 1-888-394-4947 or Baylor Scott & White Medical Center – Hillcrest at 254-202-2000 to get information about loved ones ... People can call the Scott & White Blood Donor Center at 877-724-4376 to schedule a donation....

Edit

Defense: Woman didn't know about couple's embezzling scheme

The Bryan Eagle 27 Jun 2018

Hubers' trial comes more than two years after authorities launched a financial investigation because Mid-Central business manager, Scott Westerhuis, killed his family and then himself. Investigators believe the total amount that Scott and Nicole Westerhuis stole before their deaths surpassed $1 million ... "It was a shock to everyone to find out that Scott and Nicole were liars and thieves."....

Edit

Defense: Hubers didn't know about couple's embezzling scheme

The Daily Republic 27 Jun 2018

Edit

Glasgow police: Man drives vehicle into Green River Lake following pursuit

The Daily Independent - Ashland 27 Jun 2018

What began as a routine traffic stop led to a police pursuit and ended with a man driving his car into Green River Lake on Monday. Joshua P. Soukup, 38, of Louisville is facing over a dozen charges and violations after police arrested him in Brownsville on Monday ... Two female passengers in the vehicle — Amanda G. Minyard, 27, and Dana Greer, 50, both of Louisville — swam toward officers where they were also arrested ... ....

Edit

'Days of Our Lives' Star Victoria Konefal on the Unlikely Pairing of Ciara & Serial ...

St Louis Post-Dispatch 27 Jun 2018

The actress talks working with Robert Scott Wilson and if things are really over between Ciara and Tripp ... ....

Edit

Why Gotreaux Family Farms is closing after 17 years

The Daily Advertiser 27 Jun 2018

The farm sold fruit, vegetables, eggs, fish and poultry for 17 years at the Hub City Farmers Market and its farm stand at 205 Facile Road in Scott ... ....

Edit

The Latest: Chairman of black caucus defends Waters' remark

Dispatch Argus 27 Jun 2018

Rep ... (AP Photo/J. Scott Applewhite) ....

Edit

Stephen King’s ‘Boogeyman’ Movie in the Works With ‘A Quiet Place’ Writers

Variety 27 Jun 2018

Fox is developing a horror movie based on Stephen King’s short story “The Boogeyman” with “A Quiet Place” screenwriters Scott Beck and Bryan Woods. The project has been set up with 21 Laps’ Shawn Levy, Dan Levine, and Dan Cohen. Beck and Woods will be executive producers on “The Boogeyman” with Madhouse Entertainment’s Robyn Meisinger, […] ... ....

Edit

The Latest: McConnell team tweets Gorsuch photo after ruling

Napa Valley Register 27 Jun 2018

(AP Photo/J. Scott Applewhite) ....

Edit

Area blood drives set

Garden City Telegram 27 Jun 2018

The American Red Cross has upcoming blood drives in southwest Kansas.Times and locations are as follows.• 10 a.m. to 3 p.m. today at the Rolla Civic Center, 401 Washington, Rolla.• Noon to 6 p.m. today at the William Carpenter Building, 606 N. Fairground Road, Scott City.• 8 a.m. to 3.30 p.m. today and 10.30 a.m. to 6 p.m. Thursday at American Legion Post 369, 202 Santa Fe, Copeland.• 12.30 to 5.30 p.m ... ....

Edit