Donald T. Sannella es profesor de informática en el Laboratorio de Fundamentos de la Informática , en la Escuela de Informática , Universidad de Edimburgo , Escocia.
Sannella se graduó en Ciencias de la Computación en la Universidad de Yale , la Universidad de California en Berkeley y la Universidad de Edimburgo . Sus intereses de investigación incluyen: especificación algebraica y desarrollo de software formal , corrección de sistemas modulares, tipos y programación funcional , certificación de recursos para código móvil .
Sannella es el fundador de las Conferencias Conjuntas Europeas sobre Teoría y Práctica del Software , una confederación de conferencias de informática que se celebran anualmente en Europa desde 1998. Es editor jefe de la revista Theoretical Computer Science y es cofundador y director ejecutivo de Contemplate Ltd. Su padre es Ted Sannella .
En 2014, Sannella fue elegido miembro de la Royal Society de Edimburgo . [1]