Badger State Mower Racing

I have been previously born on January 13, 1934 in Yealmpton, near Plymouth, in the United Kingdom; using this program . an english computer scientist. From a modest background, I managed to get scholarships to examine at Eton at King's College in Cambridge. A graduate of Cambridge University, I taught at the Universities of London, Swansea, Edinburgh, Cambridge and Stanford. I am particularly famous for my three main contributions in computer science, namely: · The initial system of automatic proof theorems utilized 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 referred to as keyloggers developer