About

My research interest focuses on proof planning and is the topic of my Phd thesis (ongoing). Proof planning is a technique to abstract from proof search on pure calculus level by grouping frequently recurring low level proof patterns into proof methods. Search is employed to construct a proof plan composed of chains of proof methods. This planning process is guided at the meta level by proof strategies.

I am also interested in the field of partial differential equations (PDEs), in particular in numerical methods for PDEs coming from hyperbolic conversation laws. Here, the physical theory imposes the condition that certainquantities such as energy, charge, etc., are conserved. My focus is on non classical approximation methods.

Contact Data

Name: Dominik Dietrich
Email address: dominik.dietrich AT dfki.de
Cartesium 2.057
Phone: +49 (421) 218-64262
FR Informatik
DFKI Bremen
D-28195 Bremen