Joined Jan 17 2012
The Green Eyed Owl
Rt 80 Quarry Ridge Stables - Horseback Riding Boarding...
EthioG - Ethiopian NewsEthiopian Music and Ethiopian Videos
B L A K S H O T ENTERTAINMENT
1st Buckie Company Boys' Brigade
Badger State Brothers
I have been born on January 13, 1934 in Yealmpton, near Plymouth, in the uk; that i'm an english computer scientist. From your modest background, I obtained scholarships to review at Eton and also at King's College in Cambridge. A graduate of Cambridge University, I taught at the Universities based in london, Swansea, Edinburgh, Cambridge and Stanford. I'm particularly known for my three main contributions in computer science, namely: · The first system of automatic proof of theorems employed to prove assertions automatically in mathematics; · The ML language; · Theory analysis of competing systems (calculus of communicating systems, CCS) and it is successor, the pi-calculus. My three inventions earned him the ACM Turing Award in 1991. I'm also called delete cookies developer