company
| |
|
| |
Dr. David Crocker |
Born near London, England, Dr. David Crocker developed an interest
in computers and software development from an early age. He was awarded
a BA in Natural Sciences at Downing
College,
Cambridge University in 1977 followed by a PhD. After working
for several years at an independent computer manufacturer he left
in 1984 to set up a software consultancy specializing in operating
systems, networking and communications.
David has long been interested in artificial intelligence and the
development of provably-correct software. Following several years
of part-time research, he set up Escher
Technologies in 1995 as a vehicle for commercial exploitation
of his ideas.
David serves on the steering committee of the
Automated Reasoning Workshop. He formerly served on the
organizing committee of
the Workshop on First Order Theorem Proving.
His hobbies include aviation and performing with amateur operatic groups.
|
TOP
