Update acknowledgements

thesis.tex

@@ -251,6 +251,42 @@
   encouragement throughout my studies. He has been enthusiastic
   supervisor, and he has always been generous with his time. I am
   fortunate to have been supervised by him.
+  %
+  Secondly, I want to extend my gratitude to John Longley, who has
+  been an admirable second supervisor and who has stimulated my
+  mathematical curiosity.
+  %
+  Thirdly, I want to thank my academic brother Simon Fowler. You have
+  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.
+  %
+  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 extreme cases years to think about answers to your
+  questions. Also thanks to Brian Campbell and J. Garrett Morris for
+  putting up with all 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 to Amna
+  Shahab, who has been a truly valuable friend.
 
   Throughout my studies I have received funding from the
   \href{https://www.ed.ac.uk/informatics}{School of Informatics} at
@@ -262,29 +298,11 @@
 
   List of people to thank
   \begin{itemize}
-    \item Sam Lindley
-    \item John Longley
-    \item Christophe Dubach
-    \item KC Sivaramakrishnan
-    \item Stephen Dolan
-    \item Anil Madhavapeddy
-    \item Gemma Gordon
-    \item Leo White
     \item Andreas Rossberg
-    \item Robert Atkey
     \item Jeremy Yallop
-    \item Simon Fowler
-    \item Craig McLaughlin
-    \item Garrett Morris
-    \item James McKinna
-    \item Brian Campbell
     \item Paul Piho
-    \item Amna Shahab
     \item Gordon Plotkin
     \item Ohad Kammar
-    \item School of Informatics (funding)
-    \item Google (Kevin Millikin, Dmitry Stefantsov)
-    \item Microsoft Research (Daan Leijen)
   \end{itemize}
 \end{acknowledgements}