Дон Саннелла
 |
Дональд Т. Саннелла FRSE — профессор информатики в Лаборатории основ компьютерных наук Школы информатики , Эдинбургского университета Шотландия.
Саннелла окончила Йельский университет , Калифорнийский университет в Беркли и Эдинбургский университет по специальности компьютерные науки. В сферу его научных интересов входят: алгебраическая спецификация и формальная разработка программного обеспечения , корректность модульных систем , типовое и функциональное программирование , сертификация ресурсов для мобильного кода .
Саннелла — основатель European Joint Conferences on Theory and Practice of Software , конфедерации конференций по информатике, которая проводится ежегодно в Европе с 1998 года.Он является главным редактором журнала Theoretical Computer Science . и является соучредителем и генеральным директором Ltd. Contemplate Его отец — Тед Саннелла .
Почести и награды
[ редактировать ]В 2014 году Саннелла была избрана членом Королевского общества Эдинбурга . [1]
Ссылки
[ редактировать ]- ^ «Профессор Дональд Теодор Саннелла FRSE - Королевское общество Эдинбурга» . Королевское общество Эдинбурга . Проверено 9 февраля 2018 г.
Внешние ссылки
[ редактировать ]ML- программирование |
|---|
  | Эта биографическая статья о шотландском учёном незавершена . Вы можете помочь Википедии, расширив ее . |
 | Эта статья о компьютерном специалисте из Соединенного Королевства незавершена . Вы можете помочь Википедии, расширив ее . |
- Живые люди
- Шотландские ученые-компьютерщики
- Исследователи языков программирования
- Разработчики языков программирования
- Выпускники Эдинбургского университета
- Академики Эдинбургского университета
- Формальные методы люди
- Редакторы академических журналов
- Выпускники Йельского университета
- Выпускники Калифорнийского университета
- Члены Королевского общества Эдинбурга
- Шотландский учёный незавершенный
- Незавершенные статьи о британских компьютерных специалистах