Acknowledgements This doctorate is the result of a long journey during which I had the opportunity to meet incredible people and visit amazing places. Here, I would like to express my gratitude to those who have been part of this beautiful journey, starting with my close-knit family. Quiero dar un agradecimiento muy especial a mi madre, Luz Hatty Roa (mi luz), quien desde pequeño me ha impulsado y brindado su apoyo incondicional. A mi padre, Lisardo A. Jimenez, quien me ha enseñado la tenacidad y la fuerza, que ante la vida uno no se rinde, sin importar qué; también, un agradecimiento especial a mis hermanos, Yennifer Jimenez Roa y Roger A. Jimenez Roa; a mi sobrinito, Nicola Pasqualin Jimenez; y a mis cuñados, Lorena M. Montoya y Edwin Plaza. Ik wil ook mijn dankbaarheid uiten aan mijn uitgebreide familie, in het bijzonder aan mijn partner Niels van Huizen voor zijn onvoorwaardelijke steun en het samen delen van deze prachtige fase in ons leven; en aan Patrick, Helma, en Zanne van Huizen voor alle mooie momenten. To my alma mater, Universidad del Valle in my home city Cali-Colombia, of which I am immensely proud and to whom I hope to one day give back as much as it has given me. I am particularly thankful to Professors Ricardo Ramírez, Patricia Guerrero, and Doris Hinestroza, who played pivotal roles in my career as a Civil Engineer. I also want to thank João S. Almeida, Angelica Rosso, and Katrin Beyer for the enriching experience at École Polytechnique Fédérale de Lausanne in Lausanne-Switzerland. My gratitude also extends to my friends Laura Villegas (mi flaquita) and Ra!ael Tschui (meme) for their friendship despite the long distance. To the “Pelicanoes” Andrea Vargas, Leopoldo Ríos, Lara Wöhler, Norwing Thunhorst, Daria Nemashkalo, Oleksandr Mialyk, Kees Lieverse, Daniel Foley, and Sara Dionisio Antonio for the amazing and fun times we shared, and the ones to come. To the University of Twente, my other alma mater, for opening its doors and supporting my career. I particularly want to thank the Construction Management and Engineering group for hosting my Engineering Doctorate and allowing me to meet remarkable people, especially Monik Peña Acosta (Colombiana), TomCoenen, Angie Ruiz, Ramon ter Huurne, Timvan Ee, Ruth Sloot, Roland Kromanis, and Franziska Baack. I want to thank the Formal Methods and Tools group for making me feel at home during my PhD project and my adventure in Computer Science, special thanks to Yeray Barrios, Stefano Nicoletti, Reza Soltani, Milan Lopuhaä, Edoardo Putti, (not mathematician) Yanni Dong, Lukas Armborst,
RkJQdWJsaXNoZXIy MjY0ODMw