Дон Саннелла - Don Sannella

Дональд Т. Саннелла FRSE профессор Информатика в Лаборатория основ информатики, на Школа информатики, Эдинбургский университет, Шотландия.

Саннелла окончила Йельский университет, Калифорнийский университет в Беркли и Эдинбургский университет со степенью в области компьютерных наук. Его исследовательские интересы включают: алгебраическая спецификация и формальный разработка программного обеспечения, правильность модульные системы, типы и функциональное программирование, сертификация ресурсов для мобильный код.

Саннелла - основательница Европейские совместные конференции по теории и практике программного обеспечения, конфедерация конференций по информатике, ежегодно проводимых в Европе с 1998 г. Он является главным редактором журнала. Теоретическая информатика, и является соучредителем и генеральным директором Contemplate Ltd. Его отец Тед Саннелла.

Почести и награды

В 2014 году Саннелла был избран членом Королевское общество Эдинбурга.[1]

использованная литература

  1. ^ "Профессор Дональд Теодор Саннелла FRSE - Королевское общество Эдинбурга". Королевское общество Эдинбурга. Получено 9 февраля 2018.

внешние ссылки