Bereits während meines Studiums der Informatik habe ich für die AG Rechnerarchitektur im Bereich binärer Entscheidungsdiagramme geforscht. Mittlerweile beschäftige ich mich mit der formalen Verifikation und Validierung. Im besonderen untersuche ich die Anwendung von Methoden aus diesem Bereich auf Bahn- und Verkehrstechnik.
Automated Validation and Verification of Railway Specific Components and Systems
Modeling and Proving Completeness in Formal Verification of Counting Heads
An Integrated Approach for Combining BDDs and SAT Provers