Heronview Raw and Natural

Food the way nature intended

Alfonso Hourigan


Member
Joined Jan 17 2012
Actions
Send a Message
Add as Friend
Flag as Inappropriate
General Info

29 years old

Site Memberships

Jolie Afghan Hounds
The Green Eyed Owl
GuitarPCB.com
Rt 80 Quarry Ridge Stables - Horseback Riding Boarding...
EthioG - Ethiopian NewsEthiopian Music and Ethiopian Videos
Support Michael
B L A K S H O T ENTERTAINMENT
Beaufire Ragdolls
1st Buckie Company Boys' Brigade
Badger State Brothers

Recent Activity
About Me

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

Post a Comment

Oops!

Oops, you forgot something.

Oops!

The words you entered did not match the given text. Please try again.

You must be a member to comment on this page. Sign In or Register

0 Comments