dhil/phd-dissertation
1
0
Fork 0
mirror of https://github.com/dhil/phd-dissertation synced 2026-03-12 18:48:25 +00:00
Code Issues Releases Wiki Activity

Tweak acknowledgements

Browse Source
This commit is contained in:
Daniel Hillerström
2022-03-23 14:56:41 +00:00
parent 20551152b3
commit 3276537ab1
1 changed files with 15 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

29
thesis.tex
View File

@@ -313,32 +313,33 @@
about my work. about my work.
% %
Thirdly, I want to thank my academic brother Simon Fowler, who has Thirdly, I want to thank my academic brother Simon Fowler, who has
always been a good friend and a pillar of inspiration. Regardless of always been a good and inspirational friend. Regardless of academic
academic triumphs and failures, we have always had fun. triumphs and failures, we have always had fun.
I am extremely grateful to KC Sivaramakrishnan, who took a genuine I am extremely grateful to KC Sivaramakrishnan, who took a genuine
interest in my research early on and invited me to come spend some interest in my research early on and invited me to come spend some
time at OCaml Labs in Cambridge. My initial visit to Cambridge time at OCaml Labs in Cambridge. My initial visit to Cambridge
sparked the beginning of a long-standing and productive sparked the beginning of a long-standing and productive
collaboration. Also, thanks to Gemma Gordon, who I had the pleasure collaboration. Also, thanks to Gemma Gordon, who I have had the
of sharing an office with during one of my stints at OCaml Labs. 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 I have been fortunate to work with Robert Atkey, who has been a
continuous source of inspiration and interesting research ideas. Our continuous source of inspiration and interesting research ideas. Our
work is clearly reflected in this dissertation. work is clearly reflected in this dissertation.
% %
I also want to thank my other collaborators: Andreas Rossberg, Anil I also want to thank to my other collaborators: Andreas Rossberg,
Madhavapeddy, Leo White, Stephen Dolan, and Jeremy Yallop. Anil Madhavapeddy, Leo White, Stephen Dolan, and Jeremy Yallop.
I have had the pleasure of working in LFCS at the same time as James 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 McKinna. James has always taken a genuine interest in my work and
challenged me with intellectually stimulating questions. I challenged me with intellectually stimulating questions. I
appreciate our many conversations even though I spent days, weeks, appreciate our many conversations even though I spent days, weeks,
sometimes months, and in some instances years to come up with sometimes months, and in some instances years to come up with
adequate answers. I also want to thank other former and present adequate answers. I also want to extend my thanks to other former
members of Informatics: Brian Campbell, Christophe Dubach, James and present members of Informatics: Brian Campbell, Christophe
Cheney, J. Garrett Morris, Gordon Plotkin, Michel Steuwer, Philip Dubach, James Cheney, J. Garrett Morris, Gordon Plotkin, Mary Cryan,
Wadler, and Stephen Gilmore. Murray Cole, Michel Steuwer, and Philip Wadler.
My time as a student in Informatics Forum has been enjoyable in My time as a student in Informatics Forum has been enjoyable in
large part thanks to my friends: Amna Shahab, Chris Vasiladiotis, large part thanks to my friends: Amna Shahab, Chris Vasiladiotis,
@@ -348,10 +349,10 @@
Ginsbach, Radu Ciobanu, Rajkarn Singh, Rosinda Fuentes Pineda, Rudi Ginsbach, Radu Ciobanu, Rajkarn Singh, Rosinda Fuentes Pineda, Rudi
Horn, Shayan Najd, Stan Manilov, and Vanya Yaneva-Cormack. Horn, Shayan Najd, Stan Manilov, and Vanya Yaneva-Cormack.
Thanks to Ohad Kammar for agreeing to be the internal examiner for Thanks to Ohad Kammar and Stephen Gilmore for agreeing to serve as
my dissertation. As for external examiners, I am truly humbled and the internal examiners for my dissertation. As for external
thankful for Andrew Kennedy and Edwin Brady agreeing to examine my examiners, I am truly humbled and thankful for Andrew Kennedy and
dissertation. Edwin Brady agreeing to examine my dissertation.
Throughout my studies I have received funding from the Throughout my studies I have received funding from the
\href{https://www.ed.ac.uk/informatics}{School of Informatics} at \href{https://www.ed.ac.uk/informatics}{School of Informatics} at