From 49e53bac03a7de958a955049cfeeab92466b920f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= Date: Sun, 30 May 2021 13:35:04 +0100 Subject: [PATCH] Acknowledgements --- thesis.tex | 67 ++++++++++++++++++++++++------------------------------ 1 file changed, 30 insertions(+), 37 deletions(-) diff --git a/thesis.tex b/thesis.tex index 8be2117..3817023 100644 --- a/thesis.tex +++ b/thesis.tex @@ -304,43 +304,44 @@ fortunate to have been supervised by him. % Secondly, I want to extend my gratitude to John Longley, who has - been an excellent second supervisor and who has stimulated my - mathematical curiosity. + been an excellent second supervisor and has always shown enthusiasm + about my work. % - Thirdly, I want to thank my academic brother Simon Fowler. You have + Thirdly, I want to thank my academic brother Simon Fowler, who has always been a good friend and a pillar of inspiration. Regardless of academic triumphs and failures, we have always been able to laugh at it all and have our own fun. I also want to thank KC Sivaramakrishnan for taking a genuine interest in my research early on and for inviting me to come spend - some time at OCaml Labs in Cambridge, where I met Anil Madhavapeddy, - Stephen Dolan, and Leo White. I have learned so much from each of - them and I have been fortunate to enjoy productive and long-standing - collaboration with them. Also, thanks to Gemma Gordon, who I had the - pleasure of sharing an office with during one of my stints at OCaml - Labs. - - I am very grateful for the fruitful and long-standing collaboration - with Robert Atkey that I have been fortunate to enjoy. Robert has - been a continuous source of inspiration. + some time at OCaml Labs in Cambridge. My initial visit to Cambridge + sparked the beginning of a long-standing and productive + collaboration. Also, thanks to Gemma Gordon, who I had the pleasure + of sharing an office with during one of my stints at OCaml Labs. + + I have been fortunate to work with Robert Atkey, who has been a + continuous source of inspiration and interesting research ideas. Our + work is clearly reflected in this dissertation. % - Thanks to James McKinna for always asking intellectually - interesting, and at times challenging, questions. I have appreciate - our many conversations even though I spent days, weeks, sometimes - months, and in some instances years to think about answers to your - questions. On the topic of intellectually stimulating conversations, - I also want to thank Gordon Plotkin for our intriguing impromptu - conversations in the level 4 and 5 pantries of Informatics - Forum. Thanks to Brian Campbell and J. Garrett Morris for putting up - with the supervision meetings that I had with Sam in their shared - office 5.28. - - Speaking of offices, I also want to thank my peers from my own - office 5.21 for stimulating my general interest in computer science - and mathematics beyond programming languages. Also, thanks to my CDT - cohort, I want to particularly emphasise my gratitude towards Amna - Shahab, who has been a truly valuable friend. + I also want to thank my other collaborators: Andreas Rossberg, Anil + Madhavapeddy, Leo White, and Stephen Dolan, Jeremy Yallop. + + I have had the absolute pleasure of working in LFCS at the same time + as James McKinna. James has always taken a genuine interest in my + work and challenged me with intellectually stimulating questions. I + have appreciate our many conversations even though I spent days, + weeks, sometimes months, and in some instances years to come up with + adequate answers. I also want to thank other former and present + members of LFCS and other institutes within Informatics: Brian + Campbell, Christophe Dubach, James Cheney, J. Garrett Morris, Gordon + Plotkin, and Michel Steuwer. + + My time as a student in Informatics Forum was an exceedingly + enjoyable experience in large part thanks to my student peers and + friends: Amna Shahab, Chris Vasiladiotis, Dan Mills, Emanuel + Martinov, Floyd Chitalu, Larisa Stoltzfus, Jakub Zalewski, Maria + Gorinova, Rajkarn Singh, Philip Ginsbach, Paul Piho, Stan Manilov, + Vanya Yaneva-Cormack, Thanks to Ohad Kammar for being a good friend, taking a genuine interest in my work, making it fun to attend virtual conferences, @@ -358,14 +359,6 @@ dissertation whilst being employed on the UKRI Future Leaders Fellowship ``Effect Handler Oriented Programming'' (reference number MR/T043830/1). - - List of people to thank - \begin{itemize} - \item Andreas Rossberg - \item Jeremy Yallop - \item Paul Piho - \item Larisa Stoltzfus - \end{itemize} \end{acknowledgements} %% Next we need to have the declaration.