Оглавление
Гордон Плоткин
-
Биография и карьера Гордона Плоткина
- Гордон Дэвид Плоткин, известный специалист по теоретической информатике, родился 9 сентября 1946 года.
- Получил образование в Университете Глазго и Эдинбургском университете, защитил докторскую диссертацию в 1972 году.
- Основал Лабораторию основ компьютерных наук (LFCS) в Эдинбурге, является членом Королевского общества и других академий.
-
Научные достижения и награды
- Внес значительный вклад в области искусственного интеллекта, логики, лингвистики и компьютерных наук.
- Создал структурную операционную семантику и другие важные семантические формализмы.
- Получил премию Милнера за фундаментальные исследования в области программирования.
-
Рекомендации и публикации
- Ссылки на публикации и библиографические ресурсы доступны в статье.
Полный текст статьи: