Никлаус Вирт — швейцарский информатик, один из известнейших теоретиков в области разработки языков программирования, профессор компьютерных наук Швейцарской высшей технической школы Цюриха (ETHZ), лауреат премии Тьюринга 1984 года. Создатель и ведущий проектировщик языков программирования Паскаль, Модула-2, Оберон.
Э́дсгер Ви́бе Де́йкстра (нидерл. Edsger Wybe Dijkstra — нидерландский учёный, труды которого оказали влияние на развитие информатики и информационных технологий; один из разработчиков концепции структурного программирования, исследователь формальной верификации и распределённых вычислений. Тьюринговский лауреат.
Дональд Эрвин Кнут — американский учёный в области информатики, доктор философии (1963), эмерит-профессор Стэнфордского университета, член Американского философского общества (2012), преподаватель и идеолог программирования, автор 19 монографий и более 160 статей, разработчик нескольких известных программных технологий.
Алан Кёртис Кэй — американский учёный в области теории вычислительных систем. Один из пионеров в областях объектно-ориентированного программирования и графического интерфейса. Также известен благодаря высказыванию «лучший способ спрогнозировать будущее — изобрести его». Президент исследовательского института Вьюпоинта, адъюнкт-профессор информатики в Калифорнийском университете. Советник в TTI/Vanguard. К середине 2005 был главным сотрудником в HP Labs, читал лекции в Киотском университете и был адъюнкт-профессором в Массачусетском технологическом институте.
«Искусство программирования» — фундаментальная монография известного американского математика и специалиста в области компьютерных наук Дональда Кнута, посвящённая рассмотрению и анализу важнейших алгоритмов, используемых в информатике. В 1999 году книга была признана одной из двенадцати лучших физико-математических монографий столетия.
Джеймс Гослинг — автор объектно-ориентированного и кросс-платформенного языка программирования Java. Кроме того, является создателем оконной системы NeWS, Gosling Emacs, а также был одним из разработчиков Star Seven.
Амир Пнуэли — израильский и американский учёный в области теории вычислительных систем, профессор информатики при Институте Вейцмана. Награждён в 1996 году премией Тьюринга за исследование темпоральной логики и её применения в верификации программ.
Фредери́к Фи́ллипс Брукс-младший — американский учёный в области теории вычислительных систем, автор книги «Мифический человеко-месяц». Управлял разработкой OS/360 в IBM. Награждён Премией Тьюринга в 1999 году.
Раджив Мотвани — американский учёный индийского происхождения, профессор информатики Стэнфордского университета.
Ивар Ялмар Якобсон — шведский учёный в области информатики, внёсший вклад в развитие UML, RUP, аспектно-ориентированного программирования.
Джеффри Дэвид Ульман — исследователь в области информационных технологий. Его учебники по компиляторам, теории вычислений и базам данных считаются стандартом в соответствующих дисциплинах.
Кент Бек — разработчик программного обеспечения, создатель таких методологий разработки ПО как экстремальное программирование (XP) и разработка через тестирование (TDD). Бек был одним из 17 специалистов, подписавших Agile Manifesto в 2001 году.
Джуда Перл — американский и израильский учёный в области информатики, автор математического аппарата байесовских сетей, создатель математической и алгоритмической базы вероятностного вывода, автор алгоритма распространения доверия для графических вероятностных моделей, do-исчисления и исчисления контрфактических условных.
TLA+ — язык спецификаций, основанный на теории множеств, логике первого порядка и темпоральной логике действий (англ. TLA, temporal logic of actions). Разработан Лесли Лэмпортом, исследователем теории распределённых систем.
Роберт Энтони Ковальский — американский логик и ученый, который провел большую часть своей карьеры в Соединенном Королевстве.
Дедуктивная база данных это система баз данных которая может делать выводы на основе правил и фактов хранящихся в (дедуктивной) базе данных. Datalog это язык, обычно используемый для указания фактов, правил и запросов в дедуктивных базах данных. Дедуктивные базы данных выросли из желания сочетать логическое программирование с реляционной базой данных для построения систем, поддерживающих мощный формализм, и по-прежнему быстры и способны справляться с очень большими наборами данных. Дедуктивные базы данных более экспрессивные, чем реляционные базы данных, но менее экспрессивны чем системы логического программирования. В последние годы дедуктивные базы данных, такие как Datalog, нашли новое применение в интеграции данных, извлечение информации, организации сетей, анализе программ, безопасности и облачных вычислениях. Дедуктивные базы данных и логическое программирование: Дедуктивные базы данных используют большое количество концепций из логического программирования; правила и факты, указанные на языке дедуктивных баз данных. Datalog выглядит очень похоже на те, что в Prolog. Однако важные различия между дедуктивными базами данных и логическим программированием:
- Чувствительность и процедурность: в Prolog выполнение программы зависит от порядка правил в программе и порядка частей правил; эти свойства используются программистами для создания эффективных программ. Однако на языках баз данных выполнение программы не зависит от порядка правил и фактов.
- Специальные предикаты. В Prolog программисты могут непосредственно влиять на процедурные оценки программы с помощью специальных предикатов, таких как cut, это не соответствует в дедуктивных базах данных.
- Символы функций: языки логического программирования позволяют функциональным символам создавать сложные символы. Это не допускается в дедуктивных базах данных.
- Кортеж — ориентированная обработка: дедуктивные базы данных используют ориентированную на набор обработку, в то время как языки логического программирования концентрируются на одном кортеже за раз.
Ричард Хелм — учёный, один из четырех авторов классической книги «Design Patterns» о шаблонах проектирования программного обеспечения. Коллектив авторов также известен как «Банда четырёх».
Кеннет Эдвард Бэтчер — американский инженер, учёный в области информатики и вычислительной техники, эмерит-профессор Кентского университета.
Франко Препарата — известный специалист в области информатики. Наиболее известен благодаря своей книге по вычислительной геометрии 1985 года, которую написал вместе с Майклом Шеймосом, которая много лет была основным университетским учебником по вычислительной геометрии. Но Препарата также работал во многих других отраслях информатики: его начальная работа была по теории кодирования, а его работа 1981 года по распределенным вычислениям, описывающая компьютерные сети в виде кубическо-связных циклов до сих пор часто цитируется, как и его публикация 1967 года на тему диагностирования ошибок. Его работу 1991 года с Чжоу и Кангом на тему задержек взаимосвязи в VLSI в 1993 отметили «Darlington Best Paper Award» с IEEE Circuits and Systems Society, также внимание медиа привлекла его недавняя работа по вычислительной биологии.
Джеймс Нобл — новозеландский программист и учёный. Лауреат премии Даля — Нюгора.
