I work on model-based abstractions of dynamical systems and recursive Bayesian inference. Alongside (non-)linear, (non-)Gaussian and mixture-based filters and smoothers for uncertainty quantification, my research focuses on coherent decoders for temporally consistent state estimation, with scaleable applications in sensor-based inverse problems.