Acknowledgements

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.
+  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 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.
+  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.
+  I also want to thank my other collaborators: Andreas Rossberg, Anil
+  Madhavapeddy, Leo White, and Stephen Dolan, Jeremy Yallop.
 
-  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 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.