
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: https://mwhiteland.github.io/
Contact
Email:

This page: https://www.mpi-sws.org/~mawhit
Tel: +49 681 9303 9714
Personal webpage: https://mwhiteland.github.io/
Physical address
Room 509, Building E1 5
Campus
Saarbrücken
Campus
Saarbrücken
Mailing address
Markus Whiteland
Max Planck Institute for Software Systems
Campus E1 5
66123 Saarbrücken
Max Planck Institute for Software Systems
Campus E1 5
66123 Saarbrücken