Markus Whiteland

Postdoctoral Researcher
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:


Physical address

Room 509, Building E1 5

Mailing address

Markus Whiteland
Max Planck Institute for Software Systems
Campus E1 5
66123 Saarbrücken