Philipp Rümmer (KeY Project Student Assistant)

Between 2002 and 2004 I have been working for the KeY-Project as a student assistant.

My working field has until now mostly been the prover core. Some topics of KeY I have been involved in are:

• Free variables (metavariables) and constraints
• Generic taclets
• My minor thesis covers an extension of the taclet proof obligation concept (for proving the soundness of a taclet, originally for first order logic) for JavaDL, as it is used in KeY. Richard Bubel and Andreas Roth have been my supervisors for this thesis.
• Several papers treating CSP as well as the (modal) mu-calculus. (This page can only be accessed from within the University of Karlsruhe)

My new homepage

Mail: ph_r@gmx.net
GPG/PGP5-Key