Hello,

my name is Richard Bubel. I am currently working at the KeY project as research/PhD student.

KeY enriches the software development process with formal methods, so that correctness of software can be proven against a given specification. I will update this page with useful information soon.

Click here for an overview of all members of the KeY group.

Address

Email: bubel@mail.informatik.kit.edu

Phone: ++49 (0)721 608 4338
Fax: ++49 (0)721 608 4211

Building 50.34, Room 106

Interests

• Software verification of object-oriented software
• Integration of shape analysis in deductive verification
• Non classical logics

Teaching

• Wintersemester 05/06: Praktikum: Formale Entwicklung objektorientierter Software
  
• Sommersemester 05: Seminar: Formale Entwicklung objektorientierter Software
  
• Wintersemester 04/05: Praktikum: Formale Entwicklung objektorientierter Software
  (UML, OCL, Dynamic Logic and JavaCardDL, Software Verification)
• Sommersemester 04: Seminar: Formale Software-Entwicklung
  (Separate Logics, Model Checking, JML, Extended Static Analysis, Model Based Testing)
• Wintersemester 03/04: Praktikum: Formale Entwicklung objektorientierter Software

Links

• KeY-TechTips (intern)
• Current Test Coverage of KeY (v0.1404) (intern)
• PRCS