diff --git a/thesis.tex b/thesis.tex
index 3ec498e..0f44bc9 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -313,32 +313,33 @@
   about my work.
   %
   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 had fun.
+  always been a good and inspirational friend. Regardless of academic
+  triumphs and failures, we have always had fun.
 
   I am extremely grateful to KC Sivaramakrishnan, who took a genuine
   interest in my research early on and 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
-  of sharing an office with during one of my stints at OCaml Labs.
+  collaboration. Also, thanks to Gemma Gordon, who I have 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.
   %
-  I also want to thank my other collaborators: Andreas Rossberg, Anil
-  Madhavapeddy, Leo White, Stephen Dolan, and Jeremy Yallop.
+  I also want to thank to my other collaborators: Andreas Rossberg,
+  Anil Madhavapeddy, Leo White, Stephen Dolan, and Jeremy Yallop.
 
   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
   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 Informatics: Brian Campbell, Christophe Dubach, James
-  Cheney, J. Garrett Morris, Gordon Plotkin, Michel Steuwer, Philip
-  Wadler, and Stephen Gilmore.
+  adequate answers. I also want to extend my thanks to other former
+  and present members of Informatics: Brian Campbell, Christophe
+  Dubach, James Cheney, J. Garrett Morris, Gordon Plotkin, Mary Cryan,
+  Murray Cole, Michel Steuwer, and Philip Wadler.
 
   My time as a student in Informatics Forum has been enjoyable in
   large part thanks to my friends: Amna Shahab, Chris Vasiladiotis,
@@ -348,10 +349,10 @@
   Ginsbach, Radu Ciobanu, Rajkarn Singh, Rosinda Fuentes Pineda, Rudi
   Horn, Shayan Najd, Stan Manilov, and Vanya Yaneva-Cormack.
 
-  Thanks to Ohad Kammar for agreeing to be the internal examiner for
-  my dissertation. As for external examiners, I am truly humbled and
-  thankful for Andrew Kennedy and Edwin Brady agreeing to examine my
-  dissertation.
+  Thanks to Ohad Kammar and Stephen Gilmore for agreeing to serve as
+  the internal examiners for my dissertation. As for external
+  examiners, I am truly humbled and thankful for Andrew Kennedy and
+  Edwin Brady agreeing to examine my dissertation.
 
   Throughout my studies I have received funding from the
   \href{https://www.ed.ac.uk/informatics}{School of Informatics} at