Markus Whiteland

I am a Postdoctoral researcher in the Foundations of Algorithmic Verification group led by Joël Ouaknine.

My research interests include Combinatorics on words, Symbolic dynamics, and Theoretical aspects of verification.

I mainly work on problems related to verification in discrete linear dynamical systems, such as reachability and invariant synthesis. For more information (such as publications) please see my personal webpage: https://mwhiteland.github.io/