Rod Burstall

Rodney Martineau « Rod » Burstall (né en 1934) est un informaticien britannique et l'un des quatre fondateurs du Laboratoire des fondements de l'informatique de l' Université d'Édimbourg .

Burstall a étudié la physique à l' Université de Cambridge , puis a obtenu une maîtrise en recherche opérationnelle à l' Université de Birmingham . Il a travaillé pendant trois ans avant de retourner à l'Université de Birmingham pour obtenir un doctorat en 1966 avec une thèse intitulée Heuristic and Decision Tree Methods on Computers: Some Operational Research Applications sous la direction de NA Dudley et KB Haley.

Burstall a été l'un des premiers et influents partisans de la programmation fonctionnelle , de la correspondance de motifs et de la compréhension de liste , et est connu pour son travail avec Robin Popplestone sur COWSEL (renommé POP-1) et POP-2 , des langages de programmation innovants développés à l' Université d'Édimbourg vers 1970, et plus tard pour son travail avec John Darlington sur NPL et la transformation de programme et avec David MacQueen et Don Sannella sur Hope , un précurseur de Standard ML , Miranda et Haskell .

En 1995, il a été élu membre de la Royal Society d'Édimbourg .

Burstall a pris sa retraite en 2000 et est devenu professeur émérite.

En 2002, David Rydeheard et Don Sannella ont rassemblé un festschrift pour Burstall qui a été publié dans Formal Aspects of Computing .

En 2009, il a reçu le prix SIGPLAN Programming Language Achievement Award de l'Association for Computing Machinery (ACM) .

• Mai 1971 : Programmation dans POP-11 , Edinburgh University Press .
• 1980 : (avec Alan Bundy ) Intelligence artificielle : un cours d'introduction , Edinburgh University Press.
• 1988 : (avec DE Rydeheard) Théorie des catégories computationnelles , Prentice-Hall , ISBN 978-0131627369 .