David Crocker

Researches and designs tools for high-productivity development of provably correct software, using automated reasoning to do the proofs.

Home page: http://www.eschertech.com/company/dc_homepage.php

Recent publications: http://www.eschertech.com/papers/index.php


CategoryHomePage


EditText of this page (last edited December 5, 2004) or FindPage with title or text search