Дональд Т. Саннелла — профессор компьютерных наук в Лаборатории основ компьютерных наук Школы информатики Эдинбургского университета , Шотландия.
Саннелла окончил Йельский университет , Калифорнийский университет в Беркли и Эдинбургский университет со степенями в области компьютерных наук. Его исследовательские интересы включают: алгебраическую спецификацию и формальную разработку программного обеспечения , корректность модульных систем, типы и функциональное программирование , сертификацию ресурсов для мобильного кода .
Саннелла является основателем Европейских совместных конференций по теории и практике программного обеспечения , конфедерации конференций по компьютерным наукам, ежегодно проводимых в Европе с 1998 года. Он является главным редактором журнала Theoretical Computer Science , а также соучредителем и генеральным директором Contemplate Ltd. Его отец — Тед Саннелла .
В 2014 году Саннелла был избран членом Королевского общества Эдинбурга . [1]