In my PhD thesis  I described novel ways to improve the automation in current interactive theorem provers. I also addressed the application of theorem provers to other areas of research, in particular, to the formalisation and mechanisation of proofs about distributed algorithms. I proved several key properties of algorithms that, for example, allow streaming of television over the internet. I give more details below. As an undergraduate, I studied mathematics, and later gained a distinction in the Computer Science Diploma. After several years as a professional programmer, I returned to academia and completed a PhD at the Laboratory for the Foundations of Computer Science, Edinburgh, under the supervision of Dr Pau
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.