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 an independent computer manufacturer, 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 set up 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 the program committee of the Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems. He formerly served on the organizing committee of the Workshop on First Order Theorem Proving.

David's hobbies include swimming, aviation and performing with amateur operatic groups, such as KASJOG. He was formerly a director of the General Aviation Safety Council. David is a Chartered Engineer through the British Computer Society and enjoys socializing at their meetings whenever time permits.