I am a Lecturer (Assistant Professor) at Loughborough University, Department of Computer Science.

About me

I obtained my Bachelor’s and Master’s degrees in Mathematics from the University of Turku, Finland in 2013.

I completed my PhD studies at the Department of Mathematics and Statistics, University of Turku, Finland, in 2019 under the supervision of Juhani Karhumäki and Svetlana Puzynina.

During 2019-2021 I was a postdoctoral researcher at the Max Planck Institute for Software Systems, Saarbrücken, Germany, working in the Foundations of Algorithmic Verification group led by Joël Ouaknine. During 2021-2024, I was a FRS-FNRS Postdoctoral research fellow working with Michel Rigo.

I started as Lecturer (Assistant Professor) at the Department of Computer Science, Loughborough University in August 2024.

Contact

email: markus.whiteland (at) gmail.com (personal) or m.a.whiteland (at) lboro.ac.uk (institutional)

address: Department of Computer Science, Loughborough University, Epinal Way, Loughborough LE11 3TU, United Kingdom

Research

My main topic of research is Combinatorics on Words, and recently theoretical aspects of Automatic Verification.

Other

My Erdős number is 2 via Florian Luca: see AMS MathSciNet Collaboration Distance

My Dijkstra number is 3 via Joël Ouaknine - Richard J. Lipton: see https://www.csauthors.net/markus-a-whiteland/