Joined Jan 17 2012
The Green Eyed Owl
Rt 80 Quarry Ridge Stables - Horseback Riding Boarding...
B L A K S H O T ENTERTAINMENT
1st Buckie Company Boys' Brigade
I have been born on January 13, 1934 in Yealmpton, near Plymouth, in the United Kingdom; that i'm an english computer scientist. Coming from a modest background, I obtained scholarships to examine at Eton possibly at King's College in Cambridge. A graduate of Cambridge University, I taught on the Universities of London, Swansea, Edinburgh, Cambridge and Stanford. I will be particularly known for my three main contributions in computer science, namely: · The 1st system of automatic evidence of theorems used to prove assertions automatically in mathematics; · The ML language; · Theory analysis of competing systems (calculus of communicating systems, CCS) as well as successor, the pi-calculus. My three inventions earned him the ACM Turing Award in 1991. I'm also know as adware developer