Update acknowledgements

thesis.tex

@@ -309,11 +309,10 @@
   %
   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.
+  academic triumphs and failures, we have always had 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
+  I am extremely grateful for KC Sivaramakrishnan, who took a genuine
+  interest in my research early on and for invited me to come spend
   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
@@ -326,23 +325,23 @@
   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
+  I have had the 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.
+  members of Informatics: Brian Campbell, Christophe Dubach, James
+  Cheney, J. Garrett Morris, Gordon Plotkin, Michel Steuwer, Philip
+  Wadler, and Stephen Gilmore.
 
-  My time as a student in Informatics Forum was an enjoyable
+  My time as a student in Informatics Forum has been an enjoyable
   experience in large part thanks to my student peers and friends:
   Amna Shahab, Chris Vasiladiotis, Craig McLaughlin, Dan Mills, Danel
   Ahman, Frank Emrich, Emanuel Martinov, Floyd Chitalu, Larisa
-  Stoltzfus, Jakub Zalewski, Maria Gorinova, Marcin Szymczak, Rajkarn
-  Singh, Rudi Horn, Philip Ginsbach, Paul Piho, Stan Manilov, and
-  Vanya Yaneva-Cormack.
+  Stoltzfus, Jakub Zalewski, Maria Gorinova, Marcin Szymczak, Paul
+  Piho, Philip Ginsbach, Radu Ciobanu, Rajkarn Singh, Rudi Horn,
+  Shayan Najd, Stan Manilov, and 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,