Christian-Albrechts-Universitšt zu Kiel
 
Home
Teaching
Publications
Activities
Talks
Projects
Techn. Reports
Public Key
Address
News
Gorch Fock
 

 
 
 

 


   
 
 
Institut für Informatik und Praktische Mathematik
Technische Fakultät der Christian-Albrechts-Universität
 Olshausenstraße 40, D-24098 Kiel, Germany
 Fon:  ++49 (431) 880-7274
 Fax:  ++49 (431) 880-7613 
 email:  wg@informatik.uni-kiel.de, wg@acm.org 

Teaching (in German)

  • SS 2001: Vorlesung Probleme beim Bau voll korrekter Übersetzer 

  •      (DI, DO 16 - 18 Uhr, CAP3-1, Beginn: DI 17.04.01)
  • SS 2001: Übung zu Probleme beim Bau voll korrekter Übersetzer

  •      (MI 16 - 18 Uhr, SEM-Ü1, Beginn: MI 25.04.01) 
  • WS 2000/01: Vorlesung Implementierung objektorientierter Sprachen
  • WS 2000/01: Übung zu Implementierung objektorientierter Sprachen
  • WS 2000/01: Seminar: Internet-Programmiersprachen

  •  

     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     

    Selected Recent Papers

  • Roy Bartsch, Wolfgang Goerigk (2001, © AAAI Press): Mechanical a-posteriori Verification of Results: A Case Study for a Safety Critical AI System
  • Wolfgang Goerigk, Hans Langmaack (Invited Paper, 2000): Compiler Implementation Verification and Trojan Horses. [ Draft Extended Version ]
  • Wolfgang Goerigk (2000): Proving Preservation of Partial Correctness with ACL2: A Mechanical Compiler Source Level Correctness Proof
  • Wolfgang Goerigk (2000, © Kluwer Academic Publishers): Compiler Verification Revisited
  • Wolfgang Goerigk (1999): On Trojan Horses in Compiler Implementations.
  • Wolfgang Goerigk, Ulrich Hoffmann (1998, © Springer): Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct.
  • Wolfgang Goerigk, Thilo Gaul, Wolf Zimmermann (1998, © Springer): Correct Programs without Proof? On Checker-Based Program Verification. 
  • Projects and Software

  • Verifix: Correct Compilers. ( Verifix Kiel )
  • VIM: A Virtual Multicomputer for Symbolic Applications.
  • ProCoS : Provably Correct Systems. (1989-1995)
  • APPLY: A Practical and Portable Lisp Implementation. (1991-1994)
  • BABYLON: Knowledge Base Compilation. (1985-1990)
  • CLiCC: The Common Lisp to C Compiler.
  • BCLiC: The BABYLON to Common Lisp Compiler.

  •  



    Other Professional Activities

  • Chairman of the Working Group FG 2.1.4 "Programmiersprachen und Rechenkonzepte" of the German Computer Science Society GI (Gesellschaft für Informatik).
  • Vice Chairman of the Working Group FG 1.1.1 "Deklarative KI-Programmierung" of the German Computer Science Society GI (Gesellschaft für Informatik).
  • Member of the Program and Organisation committee of  the 2nd German Working Conference on Programming Languages (2. Arbeitstagung Programmiersprachen), Paderborn, Oct 6, 1999
  • Member of the Program committee of  the FLoC'99 workshop on "Runtime Result Verification", Trento, Italy, July 6, 1999
  • Member of the Program committee of the ACL2 Workshop 2000, Oct. 30-31, 2000, Austin, Texas, USA
  • Miscellaneous

     
  • How to reach our Institute
  • The City of Kiel