Ich bin Postdoktorand an der Universität Oldenburg. Meine Forschungsschwerpunkte liegen in der Verifikation von nebenläufigen/komplexen Softwaresystemen, Modellierungssprachen, Graphentheorie und Geschäftsprozessen. Weitere Informationen finden Sie auf meiner Website.