Recent Talks
Talk   Mechanical Software Verification: High Level Control Aspects from a User's Perspective. IJCAR 2001 Workshop on Strategies in Automated Deduction. Siena, Italy, Juni 2001. Invited Lecture. 
Talk with Roy Bartsch. Mechanical a-posteriori Verification of Results: A Case Study for a Safety-Critical AI System. AAAI Spring Symposium. Stanford, U.S.A., March 2001. 
Talk Mechanische Übersetzungsverifikation in ACL2: Eine Fallstudie. Arbeitsgemeinschaft ``Programmiersprachen und Programmiermethodik''. Kiel, November 2000. 
Talk Proving Preservation of Partial Correctness with ACL2: A Mechanical Compiler Source Level Correctness Proof. ACL2 Workshop 2000. Austin, Texas, Oktober 2000. 
Talk Reflections on Ken Thompson's Reflections on Trusting Trust. Kolloquium, University of California. Irvine, CA, Oktober 2000.