\project thesis \startcomponent curriculum-vitae \startchapter [title={Curriculum Vitae}, reference=chap:curriculum-vitae] Joshua Moerman was born in 1991 in {\nl Utrecht\en}, the Netherlands. After graduating {\nl gymnasium\en} at the {\nl Christiaan Huygens College\en} in {\nl Eindhoven\en}, 2009, he followed a double bachelor programme in {\it mathematics} and {\it computer science} at the Radboud University in {\nl Nijmegen\en}. In 2013, he obtained both bachelors {\it summa cum laude} and continued with a master in mathematics. He obtained the degree of Master of Science in Mathematics {\it summa cum laude} in 2015, with a specialisation in algebra and topology. In February 2015, he started his Ph.D. research under supervision of Frits Vaandrager, Sebastiaan Terwijn, and Alexandra Silva. This was a joint project between the computer science institute (iCIS) and the mathematics departement (part of IMAPP) of the Radboud University. During the four years of his Ph.D. research, he spent a total of six months at the University College London, UK. As of April 2019, Joshua works as a postdoctoral researcher in the group of Joost-Pieter Katoen at the RWTH Aachen, Germany. \stopchapter \stopcomponent