Jim Caldwell
(caldwell@cs.cornell.edu)
Office:
252 Wyoming Hall
University of Wyoming
Laramie, WY 82071
307/766-4913
Home:
33 Fox Creek Rd.
Laramie, WY 82070
307/742-2561
I'm now an Assistant Professor at the University of Wyoming.
Jobs at NASA
The
Automated Software Engineering Group at NASA
Ames research Center has
positions available for researchers in program synthesis,
automated reasoning, and formal verification.
Research Interests
Provably correct approaches to digital
design via synthesis and/or transformation based approaches. Verified
decision procedures. Theorem proving and application of theorem
provers to digital verification. The application of formal methods to
fault-tolerant system verification.
last modified: 9 June 1998
