Escher Technologies Escher Technologies
Home Tools Services Support News Company Contact Publications Articles
Escher Technologies
David has long been interested in artificial intelligence and the development of provably-correct software.


Perfect Developer - Making software bugs extinct!
 

About David Crocker

Dr. 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 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 currently serves on the MISRA C++ working group. He has previously contributed to the MISRA C 2004 and MISRA C++ standards. David also 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.

David's hobbies include aviation and performing with amateur dramatic and operatic groups. 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.



Home    TOPTOP
Copyright © 1997-2017 Escher Technologies Limited. All rights reserved. Information is subject to change without notice.      Link to  Privacy/Cookie Policy (new window)