Markus Whiteland

Markus Whiteland is a Lecturer in the Department of Computer Science at Loughborough University, joining the institution in August 2024.

His educational background includes a PhD in Discrete Mathematics from the University of Turku (2019).

Prior academic appointments:

• Postdoctoral position in the Foundations of Algorithmic Verification group at the Max Planck Institute for Software Systems (2019-2021)
• FRS-FNRS Postdoctoral Fellowship at the Department of Mathematics, University of Liège (2021-2024)

Research Interests:

Dr. Whiteland investigates symbolic dynamical systems through combinatorial analysis of finite and infinite words. His work focuses on complexity functions of infinite sequences, numeration systems derived from regular languages, and decidability properties in linear dynamical systems with direct applications to software verification foundations. This research bridges theoretical computer science, discrete mathematics, and dynamical systems theory.

Awards:

• FRS-FNRS Postdoctoral Fellowship