equal
deleted
inserted
replaced
523 <p> |
523 <p> |
524 <B>Skills:</B> |
524 <B>Skills:</B> |
525 Well, you must be a hacker; happy to make things. |
525 Well, you must be a hacker; happy to make things. |
526 </p> |
526 </p> |
527 |
527 |
528 <li> <H4>[CU9] Proving Programs to be Correct</H4> |
528 <li> <H4>[CU9] Online Collaboration System</H4> |
|
529 |
|
530 |
|
531 <li> <H4>[CU10] Proving Programs to be Correct</H4> |
529 |
532 |
530 <p> |
533 <p> |
531 I am one of the main developers of the interactive theorem prover |
534 I am one of the main developers of the interactive theorem prover |
532 <A HREF="http://isabelle.in.tum.de">Isabelle</A>. This theorem prover |
535 <A HREF="http://isabelle.in.tum.de">Isabelle</A>. This theorem prover |
533 has been used to establish the correctness of some quite large |
536 has been used to establish the correctness of some quite large |
548 </TD> |
551 </TD> |
549 </TR> |
552 </TR> |
550 </TABLE> |
553 </TABLE> |
551 |
554 |
552 <P> |
555 <P> |
553 <!-- hhmts start --> Last modified: Thu Sep 26 12:29:06 BST 2013 <!-- hhmts end --> |
556 <!-- hhmts start --> Last modified: Tue Oct 1 11:36:26 BST 2013 <!-- hhmts end --> |
554 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
557 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
555 </BODY> |
558 </BODY> |
556 </HTML> |
559 </HTML> |