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 real-time operating 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.