Logo TU Dresden

Steffen Märcker

Research Fellow

TU Dresden
Fakultät Informatik
01062 Dresden
Office:
APB 3008
Phone:
+49 (0) 351 463-43513
Email:
steffen.maercker@tu-dresden.de

About

I am a research fellow in the office of the chair for Algebraic and Logical Foundations of Computer Science headed by Prof. Dr. Christel Baier and part of the Faculty of Computer Science at the TU Dresden. In 2010, I graduated in computer science from the University of Leipzig. Until I joined the chair’s office in January 2012, I worked as a professional programmer at the University of Leipzig’s Institute for Applied Informatics (InfAI) e.V. My primary research interests are probabilistic model checking, formal verification, logics, automata and formal languages.

Publications

2020

2018

2017

2016

2015

2014

2013

2012

2011

Diploma Thesis