A mentor and friend, from whom I have learnt the vital skill of disciplined critical thinking

Foremost, I would like to express my deepest thanks to my two supervisors, Professor Phil Trinder and Dr Patrick Maier. Their patience, encouragement, and immense knowledge were key motivations throughout my PhD. They carry out their research with an objective and principled approach to computer science. They persuasively conveyed an interest in my work, and I am grateful for my inclusion in their HPC-GAP project.

Phil has been my supervisor and guiding beacon through four years of computer science MEng and PhD research. I am truly thankful for his steadfast integrity, and selfless dedication to both my personal and academic development. I cannot think of a better supervisor to have. Patrick is a mentor and friend, from whom I have learnt the vital skill of disciplined critical thinking. His forensic scrutiny of my technical writing has been invaluable. He has always found the time to propose consistently excellent improvements. I owe a great debt of gratitude to Phil and Patrick.

I would like to thank Professor Greg Michaelson for offering thorough and excellent feedback on an earlier version of this thesis. In addition, a thank you to Dr Gudmund Grov. Gudmund gave feedback on Chapter 4 of this thesis, and suggested generality improvements to my model checking abstraction of HdpH-RS.

A special mention for Dr Edsko de Vries of Well Typed, for our insightful and detailed discussions about network transport design. Furthermore, Edsko engineered the network abstraction layer on which the fault detecting component of HdpH-RS is built.

I thank the computing officers at Heriot-Watt University and the Edinburgh Parallel Computing Centre for their support and hardware access for the performance evaluation of HdpH-RS.

Contributor: Rob Stewart

Source: Stewart, R (2013) Reliable Massively Parallel Symbolic Computing: Fault Tolerance for a Distributed Haskell, PhD, Heriot Watt University

I am very grateful to them for sharing their expertise with a lowly undergraduate

There may be only two names on the title page, but this project exists because of the help and hard work of many people. I would like to thank Dr. Alda for being constantly supportive, helpful, and kind, whether we were meeting face-to-face or corresponding via email across the Atlantic. As well, this project would have gone nowhere without the patient guidance of Claire Slaney, Joanne Petite, and Ryan Blagdon. Dr. Barbara Pavlova was an invaluable extra set of eyes when I needed the feedback most, and Jeff Cullis was always there to save the day by finding data at a moment’s notice. The entire team at the Mood Disorders Clinic was a pleasure to work with, and I am very grateful to them for sharing their expertise with a lowly undergraduate. Finally, I would like to acknowledge the support of my family, friends, and every person who found themselves making small talk with me this year and listened with genuine (or feigned) interest when I described what I was working on. Thank you.

Contributor: Jacqueline Vincent

Source: Vincent J (2012) Cognitive dysfunction in bipolar disorder with and without comorbid diabetes mellitus, BSc, Dalhousie University

I acknowledge the contribution that Crystal Palace FC and Diet Coke have made to my enjoyment of the last three years

“Certain authors speaking of their works say ‘my book,’ ‘my commentary,’ ‘my history’ etc. They resemble middle class people who have a house of their own, and always have ‘my house’ on their tongue. They would do better to say, ‘our book,’ ‘our commentary,’ ‘our history,’ etc., because there is in them usually more of other people’s than their own.” Pascal

I am grateful to all the ‘other people’ who have given me help and encouragement with everything that was involved in doing this research. The experience of being supervised by Professor Glynis Breakwell has been immensely valuable and I remain grateful for her expertise and encouragement.

Many other people in the Psychology Department at the University of Surrey have formed the backdrop against which this work was done. Particular thanks to Hannah and Moira  for all their help with data collection.  I have also enjoyed the friendship, good humour and good conversation of my fellow PhD students in the Psychology Department – especially Hannah, Patrick, Gerda, Lada, Judit, Viv, Mick and Moira.

As ever, my family have been there for me in different ways. I am very grateful for the support of my parents, Jonny, Tim, Jo, Rach and Uncle Phil and for John’s encouragement to return to studying. The practical and emotional support of friends has also been invaluable. Mandi, Joan, Trudy, Ann, Hilary, Nicky and Linda – thank you! My children have been such a big part of this process. Daniel, Beaky and Sam, I love you: thank you for helping me to keep my work in perspective.

Lastly, I acknowledge the contribution that Crystal Palace FC and Diet Coke have made to my enjoyment of the last three years.

Contributor: @Julieatselhurst

Source: PhD, 1998, University of Surrey