About David Crocker
Born near London, England, David Crocker was fascinated by electronics,
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. David's interest in artificial
intelligence and in the
development of provably-correct software dates from around this time.
After working for some years for independent computer manufacturer LSI Computers
(most notably on the LSI M4 and LSI Octopus), David left
in 1984 to start up on his own. He set up and developed a
software consultancy specializing in
systems, networking and communications. In 1995, following several years
of part-time research, he started Escher
Technologies as a vehicle for the commercial exploitation
of his ideas concerning provably-correct software.
David has contributed to the MISRA C 2004 and MISRA C++ standards.
He serves on the steering committee of the
Automated Reasoning Workshop,
and he formerly served on the organizing committee of the Workshop on
First Order Theorem Proving.