Список пионеров информатики - List of pioneers in computer science

В этой статье представлен список людей, совершивших революционный прорыв в создании, развитии и представлении того, что компьютеры мог сделать.

Пионеры

Чтобы расположить список в хронологическом порядке, щелкните небольшой значок «вверх-вниз» в столбце «Дата». Столбец "Человек" также можно отсортировать по алфавиту, вверх-вниз.
Достижение
Дата		ЧеловекДостижение
830~Аль-ХорезмиПериод, термин "алгоритм "происходит от алгоритм, техника исполнения арифметика с Индусско-арабские цифры популяризировал аль-Хорезми в его книге О вычислении с помощью индусских цифр.[1][2][3]
1944Эйкен, ХовардЗадумана и закодирована Гарвард Марк I.
1970, 1989Аллен, Фрэнсис Э.Развитый битовый вектор обозначения и программа графики потока управления. Стал первой женщиной IBM Стипендиат в 1989 году. В 2006 году она стала первой женщиной, получившей награду ACM. Премия Тьюринга.
1939Атанасов, ДжонСоздал первый электронный цифровой компьютер, Атанасов – Берри Компьютер, хотя он не был ни программируемым, ни Полный по Тьюрингу.
1822, 1837Бэббидж, ЧарльзВозникла концепция программируемого компьютера общего назначения. Разработал Аналитическая машина и построил прототип менее мощного механический калькулятор.
1954, 1963Бэкус, ДжонВозглавлял команду, создавшую FORTRAN (Замула Транslation), первый практический язык программирования высокого уровня, и он сформулировал Форма Бэкуса – Наура который описал формальный язык синтаксис.
1964Баран, ПолОдин из двух независимых изобретателей концепции цифрового коммутация пакетов используется в современном компьютерная сеть в том числе Интернет.[4][5] Баран опубликовал серию брифингов и статей о разделении информации на «блоки сообщений» и отправке ее по распределенным сетям в период с 1960 по 64 год.[6]
1874Бодо, ЭмильФранцузский инженер-телеграфист запатентовал Код Бодо, первое средство цифровой связи.[7] В модем единица скорости бод назван в его честь.
1989, 1990Бернерс-Ли, ТимИзобрел Всемирная паутина. С участием Роберт Кайо, отправил первое HTTP-соединение между клиентом и сервером.
1966Бём, КоррадоТеоретически концепции структурное программирование.
1847, 1854Буль, ДжорджФормализованный Булева алгебра, основа для цифровая логика и информатика.
1947Бут, КэтлинИзобрел первый язык ассемблера.
1969, 1978Бринч Хансен, ПерРазработал Мультипрограммная система RC 4000 который ввел понятие ядро операционной системы и разделение политики и механизма, по сути, первое микроядро архитектура.[8] Соавтор монитор с Тони Хоар, и создал первую реализацию монитора.[9] Реализована первая форма удаленный вызов процедур в RC 4000,[8] и был первым, кто предложил вызовы удаленных процедур в качестве концепции структурирования распределенных вычислений.[10]
1959, 1995Брукс, ФредМенеджер IBM Система / 360 и OS / 360 проекты; автор Мифический человеко-месяц.
1908Брауэр, Луитцен Эгбертус ЯнОснован интуиционистская логика которые позже стали широко использоваться в помощники доказательства.
1930Буш, ВанневарПионер аналоговых вычислений. Создатель Memex концепция, которая привела к развитию Гипертекст.
1951Каминер, ДэвидС участием Джон Пинкертон, разработал Компьютер LEO, первый компьютер для бизнеса, для Дж. Лайонс и Ко
1978Серф, ВинтС участием Боб Кан, разработал Протокол управления передачей и протокол Интернета (TCP / IP ), первичные данные протоколы связи из Интернет и другие компьютерная сеть.
1956Хомский, НоамВнес вклад в информатику своей работой в лингвистика. Он разработал Иерархия Хомского, открытие, которое напрямую повлияло на теория языков программирования и другие отрасли информатики.
1936Церковь, АлонсоОсновательный вклад в теоретическую информатику, в частности, для разработки лямбда-исчисление и открытие проблема неразрешимости внутри.
1962Кларк, Уэсли А.Разработано LINC, первый функциональный компьютер в уменьшенном масштабе и по цене для индивидуального пользователя. Введенный в эксплуатацию в 1963 году, многие его функции рассматриваются как прототипы основных элементов персональных компьютеров.
1981Кларк, Эдмунд М.Развитый проверка модели и формальная проверка программного и аппаратного обеспечения вместе с Э. Аллен Эмерсон.
1970Кодд, Эдгар Ф.Предложил и формализовал реляционная модель управления данными, теоретические основы реляционные базы данных.
1971Конвей, ЛиннСуперскалярная архитектура с множественным изменением порядка выполнения динамического планирования инструкций.
1967Повар, СтивенФормализовала понятие NP-полноты, что послужило поводом для проведения множества исследований в теория сложности вычислений.
1965Кули, ДжеймсС участием Джон В. Тьюки, создал быстрое преобразование Фурье.
1965Дэвис, ДональдОдин из двух независимых изобретателей концепции цифрового коммутация пакетов используется в современном компьютерная сеть в том числе Интернет.[4][11] Дэвис придумал и назвал концепцию коммутации пакетов в сетях передачи данных в 1965 году.[12][13]
1962Даль, Оле-ЙоханС участием Кристен Найгаард, изобрел прото-объектно-ориентированный язык SIMULA.
1968Дейкстра, ЭдсгерСделал успехи в алгоритмах, впервые придумал термин структурное программирование, изобрел семафор, и предположил, что GOTO заявление должно быть считается вредным.
1918Экклс, Уильям и Джордан, Фрэнк УилфредБританские физики патентуют триггерную схему Эклса – Джордана.[14] Так называемый бистабильный резкий поворот, эта схема является строительным блоком всех цифровых ячейки памяти. Построен из Вакуумные трубки, их концепция была важна для успеха Компьютер для взлома кода Colossus.
1943, 1951Эккерт, Дж. ПресперС участием Джон Мочли, спроектировал и построил ENIAC, первый современный (полностью электронный, полный по Тьюрингу) компьютер, и UNIVAC I, первый коммерчески доступный компьютер.
1981Эмерсон, Э. АлленРазвитый проверка модели и формальная проверка программного и аппаратного обеспечения вместе с Эдмунд М. Кларк.
1963Энгельбарт, ДугласНаиболее известен изобретением компьютерной мыши (совместно с Билл Инглиш ); как пионер взаимодействия человека с компьютером, команда Augment разработала гипертекст, сетевые компьютеры, и предшественники GUI.
1973Такер, Чарльз П.Новаторский дизайн и реализация Xerox Alto, первый современный персональный компьютер, а также за его вклад в развитие Ethernet и планшетных компьютеров.
1971Фаггин, ФедерикоРазработал первый коммерческий микропроцессор (Intel 4004 ).
1974Фейнлер, ЭлизабетЕе команда определила простой формат текстового файла для имен хостов в Интернете. Список превратился в система доменных имен и ее группа стала уполномоченным по именам доменов верхнего уровня .mil, .gov, .edu, .org и .com.
1943Цветы, ТоммиРазработал и построил Mark 1 и десять улучшенных Mark 2. Колосские компьютеры, первые в мире программируемые цифровые электронные вычислительные устройства.
1994Флойд, СаллиОсновал направление активного управления очередью и соавтор Случайное раннее обнаружение который используется практически во всех интернет-роутерах.
1879Фреге, ГотлобРасширенная логика Аристотеля с исчисление предикатов первого порядка, независимо от Чарльз Сандерс Пирс, важный предшественник в теория вычислимости. Также актуально для ранней работы над искусственный интеллект, логическое программирование.
1880, 1898Сандерс Пирс, ЧарльзДоказал функциональная полнота из Ворота NOR. Предложил реализацию логики через электрические цепи за десятилетия до этого Клод Шеннон. Расширенная логика Аристотеля с исчисление предикатов первого порядка, независимо от Готтлоб Фреге, важный предшественник в теория вычислимости. Также актуально для ранней работы над искусственный интеллект, логическое программирование.
1985Фербер, Стивен
Софи Уилсон		Известны своей работой по созданию микропроцессора ARM 32bit RISC.[15]
1958, 1961, 1967Гинзбург, СеймурДоказано »наплевать "минимизация схемы не обязательно дает оптимальные результаты, доказано, что АЛГОЛ язык программирования контекстно-свободный (таким образом, связывая формальный язык теория к проблеме компилятор письмо), и изобрел Теория AFL.
1931Гёдель, КуртДоказал, что Арифметика Пеано не может быть одновременно логически последовательный и завершить в исчисление предикатов первого порядка. Черч, Клини и Тьюринг разработали основы теории вычислений на основе следствия к работе Гёделя.
1989Гольдвассер, ШафиДоказательства с нулевым разглашением изобретен Гольдвассером, Микали и Rackoff. Гольдвассер и Микали наградили Премия Тьюринга в 2012 году за эту и другие работы.
2011Грэм, Сьюзан Л.Награжден 2009 г. IEEE Медаль Джона фон Неймана за «вклад в разработку и реализацию языков программирования, а также за образцовую службу в области информатики».
1953Грей, ФрэнкФизик и исследователь в Bell Labs, разработали отраженный двоичный код (RBC) или Код Грея.[16] Методологии Грея используются для обнаружения и исправления ошибок в цифровых системах связи, таких как QAM в цифровая абонентская линия сети.
1974, 2005Грей, ДжимНоватор в системы баз данных и обработка транзакции реализация.
1986, 1990Грош, Барбара[чрезмерный вес? – обсудить]Создана первая вычислительная модель дискурс, который положил начало области исследований и повлиял на технологии обработки языков. Также разработан SharedPlans модель сотрудничества в мультиагентные системы.
1988, 2015Густафсон, ДжонЭкспериментально и теоретически доказана жизнеспособность параллельных вычислений. Закон Густафсона. Разработаны высокоэффективные форматы представления действительных чисел Unum и Posit.
1971Гамильтон, МаргаретРазработал концепции асинхронного программного обеспечения, планирования приоритетов, сквозного тестирования и возможности принятия решений человеком в цикле, такие как отображение приоритетов, которые затем стали основой для сверхнадежного проектирования программного обеспечения.
1950Хэмминг, РичардСоздал математическое поле код исправления ошибок, Код Хэмминга, Матрица Хэмминга, то Окно Хэмминга, Числа Хэмминга, сфера-упаковка (или же Граница Хэмминга ), а Расстояние Хэмминга.[17][18] Он установил понятие совершенного кода.[19][20]
1972, 1973Тхи, Андре Чыонг Чонг и Франсуа Жернель[чрезмерный вес? – обсудить]Изобретение Микраль Н, самый ранний коммерческий персональный компьютер без комплектаций, основанный на микропроцессор.
1981, 1995, 1999Хейлсберг, АндерсАвтор Турбо Паскаль в то время как в Borland, главный архитектор Delphi, а также дизайнер и ведущий архитектор C # в Microsoft.
2008, 2012, 2018Хинтон, ДжеффриПопуляризировал и позволил использовать искусственные нейронные сети и глубокое обучение, которые входят в число самых успешных инструментов в современном искусственный интеллект усилия. Получил премию Тьюринга в 2018 году за концептуальные и инженерные достижения, глубокие нейронные сети критический компонент вычислений.[21]
1961, 1969, 1978Хоар, C.A.R.Разработал формальный язык Связь последовательных процессов (CSP), Логика Хоара для проверки правильности программы, и Быстрая сортировка.
1968Холбертон, БеттиНаписал первый слияние сортировки мэйнфрейма на Univac
1889Холлерит, ГерманСчитается отцом современного машинная обработка данных. Его изобретение счетной машины для перфокарт знаменует начало эры полуавтоматических обработка данных системы.
1952Хоппер, ГрейсБыла пионером в работе над необходимостью в языках программирования высокого уровня, которые она назвала автоматическое программирование, и написал A-O компилятор, что сильно повлияло на КОБОЛ язык.
1997Сюй Фэн-сюнРабота привела к созданию Глубокая мысль шахматный компьютер, а также архитектор и главный конструктор IBM Deep Blue шахматный компьютер, победивший правящий Чемпион мира по шахматам, Гарри Каспаров, в 1997 году.
1952Херд, КатбертПомог International Business Machines Corporation разработать свой первый компьютер общего назначения, IBM 701.
1945, 1953Хаски, ГарриРанний компьютерный дизайн, включая вклад в ENIAC, EDVAC, Пилотный ACE, EDVAC, SEAC, SWAC, и Бендикс Г-15 компьютеры. G-15 был описан как первый персональный компьютер, управляемый одним человеком.
1954, 1962Айверсон, КеннетПомогал в создании первого курса аспирантуры по информатике (в Гарвард ) и преподавал этот курс; изобрел Язык программирования APL и внес вклад в интерактивные вычисления.
1801Жаккард, Жозеф МариПостроил и продемонстрировал Жаккардовый ткацкий станок, программируемый механизированный ткацкий станок, управляемый лентой из перфокарт.
1206Аль-ДжазариИзобрел программируемый станки, в том числе программируемые гуманоидные роботы,[22] и часы замка, астрономические часы считается первым программируемый аналоговый компьютер.[23]
1953Спэрк Джонс, Карен[чрезмерный вес? – обсудить]Один из пионеров поиск информации и обработка естественного языка.
1970, 1990Карно, МорисИзобретатель Карта Карно, используется для минимизации логической функции.
1973Карпинский, ЯцекРазработал первый дифференциальный анализатор, который использовал транзисторы, и разработал один из первых алгоритмов машинного обучения для распознавания символов и изображений. Также был изобретателем одного из первых миникомпьютеров, К-202.
1970~Кей, АланПионер многих идей, лежащих в основе объектно-ориентированных языков программирования, руководил командой, которая разработала Болтовня, и внес фундаментальный вклад в развитие персональных компьютеров.
1957Кирш, Рассел ГрейРаботая на Национальное бюро стандартов (NBS) Кирш использовал недавно разработанный сканер изображений сканировать и хранить первые цифровая фотография.[24] Его отсканированную фотографию трехмесячного сына посчитали Жизнь журнал как одна из «100 фотографий, которые изменили мир».
1936Клини, Стивен КоулПионерская работа с Церковь Алонсо на Лямбда-исчисление который первым заложил основы теории вычислений.
1968, 1989Кнут, ДональдНаписал Искусство программирования и создал TeX. Создал термин «анализ алгоритмов» и внес значительный вклад в эту область, включая популяризацию Обозначение Big O.
1974, 1978Лэмпорт, ЛеслиСформулированные алгоритмы для решения многих фундаментальных проблем в распределенных системах (например, алгоритм пекарни ).
Разработал концепцию логические часы, обеспечивая синхронизацию между распределенными объектами на основе событий, посредством которых они общаются. Создано Латекс.
1951Лебедев Сергей АлексеевичСамостоятельно спроектированный первый электронный компьютер в Советском Союзе, МЭСМ, в Киеве, Украина.
1670~Лейбниц, ГотфридДостигнут прогресс в символической логике, например Рациоцинатор исчисления, которые сильно повлияли на Готтлоб Фреге. Сделал разработки в исчисление предикатов первого порядка которые имели решающее значение для теоретических основ информатики.
1960Ликлидер, Дж. С. Р.Начато исследование взаимодействия человека с компьютером, что привело ко многим достижениям в области компьютерных интерфейсов, а также в кибернетика и искусственный интеллект.
1987Лисков, ВарвараРазработал Принцип подстановки Лискова, что гарантирует семантический совместимость типы данных в иерархии.
1300~Лулль, РамонРазработал машины для множественных символических репрезентаций и впервые ввел понятия символического представления и манипуляции с целью получения знаний - оба из которых оказали большое влияние на Лейбниц.
1852Лавлейс, АдаАнглийский математик и писатель, в основном известная своей работой над предложенным Чарльзом Бэббиджем механическим компьютером общего назначения, Аналитическая машина. Она первой осознала, что у машины есть приложения, выходящие за рамки чисто вычислений, и создала первый алгоритм, предназначенный для выполнения на такой машине. В результате ее часто считают первой, кто осознал весь потенциал «вычислительной машины», и первым программистом.
1909Ладгейт, ПерсиЧарльз Бэббидж в 1843 г. и Перси Ладгейт в 1909 г. разработали первые два Аналитические двигатели в истории. Двигатель Ладгейта использовал умножение в качестве основы (используя его собственные дискретные «ирландские логарифмы»), имел первый множитель-накопитель (MAC), был первым, кто использовал MAC для выполнения деления, сохранял числа как смещения стержней в челноках и имел несколько другие новые функции, в том числе для программного управления.
1971Мартин-Лёф, ПерОпубликовал черновой вариант теории типов, который многие помощники доказательства опираться.
1943, 1951Мочли, ДжонС участием Дж. Преспер Эккерт, спроектировал и построил ENIAC, первый современный (полностью электронный, полный по Тьюрингу) компьютер, и UNIVAC I, первый коммерчески доступный компьютер. Также работал над БИНАК (1949), EDVAC (1949), UNIVAC (1951) с Грейс Хоппер и Джин Бартик, чтобы разработать ранние сохраненная программа компьютеры.
1958Маккарти, ДжонИзобрел LISP, а функциональный язык программирования.
1956, 2012Маккласки, Эдвард Дж.Фундаментальный вклад в разработку и тестирование цифровых систем, включая первый алгоритм синтеза цифровой логики, метод минимизации логики Куайна-Маккласки.
1986Мейер, БертранРазвитый дизайн по контракту под видом Язык программирования Eiffel.
1963Минский, МарвинСоучредитель Лаборатория искусственного интеллекта в Массачусетский Институт Технологий, автор нескольких текстов по ИИ и философии. Критик перцептрон.
850~Бану МусаБратья Бану Муса написали Книга гениальных устройств, где они описали то, что кажется первым программируемый машина, автоматический флейта игрок.[25]
1950, 1960Накамацу ЁсироИзобрел первый дискета в Токийский императорский университет в 1950 г.[26][27] получение японского патента 1952 г.[28][29] и патент США 1958 года на его дискету магнитный диск листовое изобретение,[30] и имеет лицензию на Nippon Columbia в 1960 г.[31] и IBM в 1970-е гг.[28][26]
2008Накамото, СатошиВ анонимный создатель или создатели Биткойн, первый одноранговый цифровая валюта. В официальном документе Накамото 2008 г. была представлена ​​концепция блокчейн, структура базы данных, которая позволяет полностью доверять децентрализованный и распределенный публичный реестр транзакций криптовалюты.[32]
1934, 1938Накашима АкираNEC инженер представил теория коммутационных цепей в газетах с 1934 по 1936 год, заложив основы цифровая схема дизайн, в цифровые компьютеры и другие области современной техники.
1960Наур, ПетрОтредактировал АЛГОЛ 60 Пересмотренный отчет, введение Форма Бэкуса-Наура
1945Нойман, Джон фонСформулировал фон Неймана архитектура на котором основано большинство современных компьютеров.
1956Ньюэлл, АлленВместе с Дж. К. Шоу[33] и Герберт Саймон, трое соавторов Logic Theorist, первой настоящей программы ИИ на первом языке обработки списков, который повлиял на LISP.
1943Ньюман, МаксИнициировал производство Колосские компьютеры в Bletchley Park. После войны он основал Лаборатория вычислительных машин на Манчестерский университет где он создал проект, построивший первый в мире компьютер с хранимой программой, то Манчестер Бэби.
1962Найгаард, КристенС участием Оле-Йохан Даль, изобрел прото-объектно-ориентированный язык SIMULA.
500 г. до н.э. ~ПаниниАштадхьяи Грамматика санскрита систематизирован и технический, с использованием метаправил, трансформации, и рекурсии, предшественник формальная теория языка и основа для Форма Панини-Бэкуса используется для описания языки программирования.
1642Паскаль, БлезИзобрел механический калькулятор.
1952Перлис, АланНа Проект Вихрь, член команды, которая разработала Язык программирования АЛГОЛ, и первый лауреат премии Тьюринга
1985Перлман, РадиаИзобрел Протокол связующего дерева (STP), который является фундаментальным для работы сетевые мосты, работая на Корпорация цифрового оборудования. Провел обширные и новаторские исследования, особенно в области шифрования и сетей. Среди множества других она получила награду USENIX Lifetime Achievement Award в 2007 году.
1964Перотто, Пьер Джорджио[чрезмерный вес? – обсудить]Компьютерный дизайнер для Olivetti, разработал одну из первых электронных программируемые калькуляторы, то Programma 101[34][35][36]
1932Петер, РожаОпубликовал серию статей по обоснованию теория рекурсии как отдельное направление математических исследований, закладывающее основу теоретической информатики.
1995Пикард, Розалинда[чрезмерный вес? – обсудить]Основан Аффективные вычисления, и заложил основы для придания компьютерам навыков эмоционального интеллекта.
1936Пост, Эмиль Л.Разработал Почтовый автомат как модель вычислений, независимо от Тьюринга. Известен также разработкой таблицы истинности, то Проблема с почтовой корреспонденцией используется в теории рекурсии, а также для доказательства того, что известно как Теорема Поста.
1967–2011Ричи, ДеннисС участием Кен Томпсон, был пионером Язык программирования C и Unix компьютерная операционная система в Bell Labs.
1958–1960Розен, СаулРазработал программное обеспечение первого компьютера на базе транзисторов. Также повлиял на язык программирования АЛГОЛ.
1910Рассел, БертранВнес вклад в информатику, работая над математическая логика (пример: функция истины ). Введено понятие теория типов. Он также представил система типов (вместе с Альфред Норт Уайтхед ) в своей работе, Principia Mathematica.
1975Солтон, Джерард[чрезмерный вес? – обсудить]Пионер автоматики поиск информации, который предложил векторная космическая модель и инвертированный индекс.
1962Саммет, Жан Э.Разработал Язык программирования FORMAC. Она также была первой, кто подробно написал об истории и классификации языков программирования в 1969 году, и стала первой женщиной-президентом Ассоциация вычислительной техники в 1974 г.
1963, 1973Сасаки ТадашиSharp инженер, придумавший одночиповый микропроцессор ЦПУ, представляя идею Бизиком и Intel в 1968 году. Это повлияло на первый коммерческий микропроцессор, Intel 4004; до Busicom производителем памяти была Intel. Тадаши Сасаки также разработал ЖК-дисплей калькуляторы в Sharp.[37]
1937, 1948Шеннон, КлодОснован теория информации, и заложил основы для практического проектирования цифровых схем.
1968, 1980Шима МасатошиРазработал Intel 4004, первый рекламный ролик микропроцессор,[38][39] так же хорошо как Intel 8080, Зилог Z80 и Зилог Z8000 микропроцессоры, а Intel 8259, 8255, 8253, 8257 и 8251 чипсы.[40]
1956, 1957Саймон, Герберт А.Политолог и экономист, первопроходец искусственный интеллект. Соавтор Логическая Теория Машины и Решение общих проблем программы.
1972Столмен, РичардСтолмен запустил Проект GNU в сентябре 1983 года для создания Unix-подобной компьютерной операционной системы, полностью состоящей из свободных программ. Этим он также начал движение за бесплатное программное обеспечение.
1982Стоунбрейкер, МайклИсследователь из Лаборатории компьютерных наук и искусственного интеллекта Массачусетского технологического института (CSAIL), который произвел революцию в области систем управления базами данных (СУБД) и основал несколько успешных компаний по производству баз данных.
1979Страуструп, БьярнеИзобрел C ++ в Bell Labs
1963Сазерленд, ИванАвтор Блокнот, родоначальник современных программ автоматизированного черчения (САПР) и один из первых примеров объектно-ориентированного программирования.
1967Томпсон, КенСоздал Unix операционная система, Язык программирования B, План 9 операционная система, первая машина, получившая рейтинг Мастера по шахматам, и UTF-8 кодирование в Bell Labs и Язык программирования Go в Google.
1993Тох Чай КеонгСозданы мобильные специальные сети; Реализовал первую рабочую беспроводную одноранговую сеть портативных компьютеров в 1998 году с использованием ОС Linux, радио Lucent WaveLan 802.11 и нового протокола распределенной маршрутизации, прозрачного для TCP / UDP / IP.
1991Торвальдс, ЛинусСоздал первую версию Ядро Linux.
1912, 1914, 1920Торрес Кеведо, ЛеонардоВ 1912 году Леонардо Торрес Кеведо построил Эль-Аджедресиста (шахматист), одна из первых автономных машин, способных играть в шахматы. В отличие от управляемой человеком Турок и Ajeeb Эль-Аджедресиста был настоящим автоматом, созданным для игры в шахматы без помощи человека. Он разыграл эндшпиль с тремя шахматными фигурами, автоматически перемещая белого короля и ладью, чтобы поставить мат черному королю, перемещенному противником-человеком. В своей работе Очерки автоматики, опубликованный в 1914 году, Торрес Кеведо формулирует то, что будет новой отраслью инженерии: автоматизация. Эта работа также включала арифметика с плавающей запятой. В 1920 году Торрес Кеведо первым в истории построил раннюю электромеханическую версию Аналитическая машина.
1965Тьюки, Джон У.С участием Джеймс Кули, создал быстрое преобразование Фурье. Он изобрел термин «бит».[41]
1936Тьюринг, АланВнес несколько основополагающих вкладов в информатику, в том числе Машина Тьюринга вычислительная модель, создание концепции хранимой программы и проектирование высокоскоростной ТУЗ дизайн. Считается отцом Информатика и искусственный интеллект.
1950~Ван АнВнес ключевой вклад в развитие магнитный сердечник объем памяти.
1955, 1960-е, 1974Уэр, УиллисСоавтор ДЖОННИАК. Возглавлял комитет, который разработал Кодекс честной информационной практики и привел к Закон о конфиденциальности 1974 г.. Заместитель председателя комиссии по изучению защиты конфиденциальности.
1968Вейнгаарден, Адриан ванРазработчик W-грамматика впервые использован в определении АЛГОЛ 68
1949Уилкс, МорисПостроен первый практический сохраненная программа компьютер (EDSAC ), чтобы быть завершенным и заслужившим признание идей нескольких конструкций языка программирования высокого уровня.
1970, 1978Вирт, НиклаусРазработал Паскаль, Модула-2 и Оберон языки программирования.
1875, 1875Верея, РамонРазработал и запатентовал Прямой множитель Verea, первый механический прямой умножитель.
1938, 1945Зузе, КонрадСоздал первый цифровой свободно программируемый компьютер, Z1. Создал первый функциональный компьютер с программным управлением, Z3.[42] В 1998 году было доказано, что Z3 завершен по Тьюрингу. Был произведен первый в мире коммерческий компьютер. Z4. Разработал первый язык программирования высокого уровня, Plankalkül.
1970Уилкинсон, Джеймс Х.Исследования в числовой анализ облегчить использование высокоскоростного цифрового компьютера, получив особое признание за его работу в вычислениях в линейная алгебра и «обратный» анализ ошибок.[43]
1973Бахман, ЧарльзВыдающийся вклад в база данных технологии.[44]
1976Рабин, Майкл О.Совместная статья «Конечные автоматы и проблемы их решения».[45] который представил идею недетерминированные машины, которая оказалась чрезвычайно ценной концепцией. Их классическая статья (Скотт и Рабин) является постоянным источником вдохновения для дальнейшей работы в этой области.[46][47]
1976Скотт, ДанаСовместная статья «Конечные автоматы и проблемы их решения».[48] который представил идею недетерминированные машины, которая оказалась чрезвычайно ценной концепцией. Их классическая работа (Скотт и Рабин) была постоянным источником вдохновения для дальнейшей работы в этой области.[49][50]
1978Флойд, Роберт В.Имея четкое влияние на методологии создания эффективного и надежного программного обеспечения, и помогая основывать следующие важные области Информатика: теория разбор, то семантика языков программирования, автоматическая проверка программы, автоматический синтез программ, и анализ алгоритмов.[51]
1985Карп, Ричард М.Вклад в теорию алгоритмов, включая разработку эффективных алгоритмов для сетевого потока и других задач комбинаторной оптимизации, определение вычислимости за полиномиальное время с интуитивным понятием алгоритмической эффективности, и, в первую очередь, вклад в теорию NP-полнота.
1986Хопкрофт, ДжонФундаментальные достижения в разработке и анализе алгоритмов и структур данных.
1986Тарьян, РобертФундаментальные достижения в разработке и анализе алгоритмов и структур данных.
1987Кок, ДжонЗначительный вклад в дизайн и теорию компиляторов, архитектуру больших систем и разработку компьютеры с сокращенным набором команд (RISC).
1989Кахан, УильямФундаментальный вклад в числовой анализ. Один из ведущих экспертов по плавающая точка вычисления. Кахан посвятил себя тому, чтобы «сделать мир безопасным для численных вычислений».
1989Корбато, Фернандо Х.Новаторская работа по организации концепций и руководству разработкой универсальных, крупномасштабных, совместное времяпровождение и компьютерные системы с совместным использованием ресурсов, CTSS и Мультики.
1991Милнер, Робин1) LCF, механизация логики вычислимых функций Скотта, вероятно, первый теоретически обоснованный, но практический инструмент для машинная конструкция доказательства; 2) ML, первый язык, включающий полиморфный вывод типа вместе с типобезопасный Обработка исключений механизм; 3) CCS, общая теория параллелизм. Кроме того, он сформулировал и сильно продвинул полная абстракция, исследование взаимосвязи между оперативный и денотационный семантика.[52]
1992Лэмпсон, Батлер В.Разработка распределенных, персональных вычислительных сред и технологий для их реализации: рабочие станции, сети, операционные системы, системы программирования, отображает, безопасность и публикация документов.
1993Хартманис, ЮрисОсновы для области теория сложности вычислений.[53]
1993Стернс, Ричард Э.Основы для области теория сложности вычислений.[54]
1994Фейгенбаум, ЭдвардРазработка и создание крупномасштабных систем искусственного интеллекта, демонстрация практической важности и потенциального коммерческого влияния технологии искусственного интеллекта.[55]
1994Редди, РаджРазработка и создание крупномасштабных систем искусственного интеллекта, демонстрация практической важности и потенциального коммерческого влияния технологии искусственного интеллекта.[56]
1995Блюм, МануэльВзносы в фонды теория сложности вычислений и его применение к криптография и проверка программы.[57]
1996Пнуэли, АмирПредставляем темпоральная логика в информатику и за выдающийся вклад в программы и системы проверка.[58]
2000Яо, ЭндрюФундаментальный вклад в теория вычислений, в том числе основанную на сложности теорию генерация псевдослучайных чисел, криптография, и сложность коммуникации.
1977Ривест, Рон Гениальный вклад и делая криптография с открытым ключом полезно на практике.
1977Шамир, Ади Гениальный вклад и делая криптография с открытым ключом полезно на практике.
1977Адлеман, Леонард Гениальный вклад и делая криптография с открытым ключом полезно на практике.
1978Кан, БобРазработал Протокол управления передачей и протокол Интернета (TCP / IP ), первичные данные протоколы связи из Интернет и другие компьютерная сеть.
2007Сифакис, ДжозефРазвитие проверка модели в высокоэффективную технологию проверки, широко применяемую в аппаратной и программной отраслях.[59]
2010Доблестный, ЛеслиПреобразующий вклад в теория вычислений, включая теорию вероятно приблизительно правильной (PAC ) обучение, сложность перечисления и алгебраических вычислений, а также теория параллельных и распределенных вычислений.
2011Жемчужина, ИудеяФундаментальный вклад в искусственный интеллект благодаря развитию исчисления вероятностных и причинных рассуждений.[60]
1976Хеллман, МартинФундаментальный вклад в современную криптографию. Новаторская статья Диффи и Хеллмана 1976 г. "Новые направления в криптографии"[61] представил идеи криптографии с открытым ключом и цифровых подписей, которые сегодня являются основой наиболее часто используемых протоколов безопасности в Интернете.[62]
1976Диффи, УитфилдФундаментальный вклад в современную криптографию. Новаторская статья Диффи и Хеллмана 1976 г. «Новые направления в криптографии»[61] представил идеи криптографии с открытым ключом и цифровых подписей, которые сегодня являются основой наиболее часто используемых протоколов безопасности в Интернете.[63]
2018Бенхио, ЙошуаКонцептуальные и инженерные прорывы, которые сделали глубокие нейронные сети критический компонент вычислений.[64]
2018ЛеКун, ЯннКонцептуальные и инженерные прорывы, которые сделали глубокие нейронные сети критический компонент вычислений.[65]

~ Пункты, отмеченные тильдой, датированы примерно.

Смотрите также

Рекомендации

  1. ^ Марио Токоро, изд. (2010). «9». д: От понимания принципов к решению проблем. С. 223–224. ISBN  978-1-60750-468-9.
  2. ^ Кристофер Мур; Стефан Мертенс (2011). Природа вычислений. Издательство Оксфордского университета. п. 36. ISBN  978-0-19-162080-5.
  3. ^ Ершов А.П., Дональд Эрвин Кнут, изд. (1981). Алгоритмы в современной математике и информатике: Труды, Ургенч, Узбекская ССР, 16–22 сентября 1979 г.. Springer. ISBN  978-3-540-11157-3.
  4. ^ а б «Настоящая история того, как Интернет стал настолько уязвимым». Вашингтон Пост. 30 мая 2015 года. Архивировано с оригинал на 2015-05-30. Получено 2020-02-18. Историки приписывают основополагающие идеи валлийскому ученому Дональду У. Дэвису и американскому инженеру Полу Барану.
  5. ^ "Подробности призывника - Пол Баран". Национальный зал славы изобретателей. Архивировано из оригинал 6 сентября 2017 г.. Получено 6 сентября 2017.
  6. ^ Моника, 1776 Мэйн Стрит Санта; Калифорния 90401-3208. «Пол Баран и истоки Интернета». www.rand.org. Получено 2020-02-15.
  7. ^ "Жан-Морис-Эмиль Бодо. Système de télégraphie rapide, июнь 1874 года. Brevet 103 898; Источник: Архивный институт национальной промышленной собственности (INPI)".
  8. ^ а б "Пер Бринч Хансен • Компьютерное общество IEEE". Computer.org. Получено 2015-12-15.
  9. ^ Бринч Хансен, Пер (апрель 1993 г.). «Мониторы и параллельный Паскаль: личная история» (PDF). 2-я конференция ACM по истории языков программирования.
  10. ^ Бринч Хансен, Пер (ноябрь 1978 г.). «Распределенные процессы: концепция параллельного программирования» (PDF). Коммуникации ACM. 21 (11): 934–941. CiteSeerX  10.1.1.107.3108. Дои:10.1145/359642.359651. S2CID  11610744.
  11. ^ "Подробности призывника - Дональд Уоттс Дэвис". Национальный зал славы изобретателей. Архивировано из оригинал 6 сентября 2017 г.. Получено 6 сентября 2017.
  12. ^ Робертс, доктор Лоуренс Г. (ноябрь 1978 г.). «Эволюция коммутации пакетов». Архивировано из оригинал 24 марта 2016 г.. Получено 5 сентября 2017. Почти сразу после встречи 1965 года Дональд Дэвис задумался о деталях системы коммутации пакетов с промежуточным хранением.
  13. ^ Робертс, доктор Лоуренс Г. (май 1995 г.). "ARPANET и компьютерные сети". Архивировано из оригинал 24 марта 2016 г.. Получено 13 апреля 2016. Затем, в июне 1966 года, Дэвис написал вторую внутреннюю статью «Предложение по цифровой коммуникационной сети», в которой он придумал слово «пакет» - небольшую часть сообщения, которое пользователь хочет отправить, а также ввел понятие «пакет». Интерфейсный компьютер «должен находиться между пользовательским оборудованием и пакетной сетью.
  14. ^ Уильям Генри Эклс и Фрэнк Уилфред Джордан, «Улучшения в ионных реле» Номер британского патента: GB 148582 (подана: 21 июня 1918 г .; опубликована: 5 августа 1920 г.). Доступно в Интернете по адресу: http://v3.espacenet.com/origdoc?DB=EPODOC&IDX=GB148582&F=0&QPN=GB148582 .
  15. ^ "Музей истории компьютеров | Стипендиат - Стив Фербер". Архивировано из оригинал на 2013-04-02.
  16. ^ Грей, Фрэнк (1953-03-17). «Импульсная кодовая связь» (PDF). Патент США № 2 632 058
  17. ^ Морган 1998 С. 973–975.
  18. ^ Хэмминг 1950 С. 147–160.
  19. ^ Лин и Син 2004 С. 82–88.
  20. ^ Плесс 1982 С. 21–24.
  21. ^ Отцы революции глубокого обучения получают ACM A.M. Премия Тьюринга
  22. ^ "статьи58". Shef.ac.uk. 29 июня 2007 г. Архивировано с оригинал 29 июня 2007 г.. Получено 25 октября 2017.
  23. ^ «Древние открытия, серия 11: Древние роботы». Исторический канал. Получено 2008-09-06.
  24. ^ Кирш, Рассел А., «Самая ранняя обработка изображений», NISTS Museum; SEAC и начало обработки изображений в Национальном бюро стандартов, Национальный институт стандартов и технологий, заархивировано из оригинал в 2014-07-19
  25. ^ Koetsier, Teun (2001). «О предыстории программируемых машин: музыкальные автоматы, ткацкие станки, калькуляторы». Механизм и теория машин. 36 (5): 589–603. Дои:10.1016 / S0094-114X (01) 00005-2.
  26. ^ а б Г. В. А. Даммер (1997), Электронные изобретения и открытия, стр.164, Институт Физики
  27. ^ Валери-Анн Жискар д'Эстен (1990), Книга изобретений и открытий, стр.124, Queen Anne Press
  28. ^ а б Лазарь, Давид (10 апреля 1995 г.). "'Эдисон в Японии - король гаджетов страны: японский изобретатель побил рекорд по патентам ». Нью-Йорк Таймс. Получено 2010-12-21.
  29. ^ ЙОШИРО НАКАМАЦУ - ТОМАС ЭДИСОН ИЗ ЯПОНИИ, Консультационные услуги Stellarix, 2015 г.
  30. ^ Магнитный регистрационный лист, Патент US3131937
  31. ^ Графическое искусство Японии, Том 2 (1960), страницы 20–22
  32. ^ Накамото, Сатоши (24 мая 2009 г.). ""Биткойн: одноранговая электронная денежная система "(PDF)" (PDF). bitcoin.org.
  33. ^ Фред Джозеф Грюнбергер, История компании JOHNNIAC, Меморандум RAND 5654
  34. ^ "Электронный калькулятор Olivetti Programma 101". Веб-музей старого калькулятора. технически машина представляла собой программируемый калькулятор, а не компьютер.
  35. ^ «2008/107/1 Компьютер, Programma 101 и документы (3), пластмассовые / металлические / бумажные / электронные компоненты, архитектор оборудования Пьер Джорджио Перотто, разработанный Марио Беллини, сделанный Оливетти, Италия, 1965–1971». www.powerhousemuseum.com. Получено 2016-03-20.
  36. ^ "Электронный калькулятор Olivetti Programma 101". Веб-музей старого калькулятора. Похоже, что калькулятор Mathatronics Mathatron вышел на рынок раньше, чем Programma 101.
  37. ^ Аспрей, Уильям (1994-05-25). "Устная история: Тадаши Сасаки". Интервью № 211 для Центра истории электротехники. Институт инженеров по электротехнике и радиоэлектронике, Inc.. Получено 2013-01-02.
  38. ^ Найджел Тоут. «Калькулятор Busicom 141-PF и микропроцессор Intel 4004». Получено 15 ноября, 2009.
  39. ^ Федерико Фаггин, Создание первого микропроцессора, Журнал IEEE Solid-State Circuits Magazine, Зима 2009 г., IEEE Xplore
  40. ^ Япония, Общество обработки информации. «Компьютерный музей Сима Масатоши». Museum.ipsj.or.jp. Получено 25 октября 2017.
  41. ^ Клод Шеннон (1948). "Технический журнал Bell System". Технический журнал Bell System.
  42. ^ Коупленд, Б. Джек (25 октября 2017 г.). Залта, Эдвард Н. (ред.). Стэнфордская энциклопедия философии. Лаборатория метафизических исследований, Стэнфордский университет. Получено 25 октября 2017 - через Стэнфордскую энциклопедию философии.
  43. ^ Уилкинсон, Дж. Х. (1971). «Некоторые комментарии численного аналитика». Журнал ACM. 18 (2): 137–147. Дои:10.1145/321637.321638. S2CID  37748083.
  44. ^ Бахман, К. В. (1973). «Программист как навигатор». Коммуникации ACM. 16 (11): 653–658. Дои:10.1145/355611.362534.
  45. ^ Рабин, М. О .; Скотт, Д. (1959). «Конечные автоматы и проблемы их решения». Журнал исследований и разработок IBM. 3 (2): 114. Дои:10.1147 / rd.32.0114. S2CID  3160330.
  46. ^ Рабин, М. О. (1977). «Сложность вычислений». Коммуникации ACM. 20 (9): 625–633. Дои:10.1145/359810.359816.
  47. ^ Скотт, Д. С. (1977). «Логика и языки программирования». Коммуникации ACM. 20 (9): 634–641. Дои:10.1145/359810.359826.
  48. ^ Рабин, М. О .; Скотт, Д. (1959). «Конечные автоматы и проблемы их решения». Журнал исследований и разработок IBM. 3 (2): 114. Дои:10.1147 / rd.32.0114. S2CID  3160330.
  49. ^ Рабин, М. О. (1977). «Сложность вычислений». Коммуникации ACM. 20 (9): 625–633. Дои:10.1145/359810.359816.
  50. ^ Скотт, Д. С. (1977). «Логика и языки программирования». Коммуникации ACM. 20 (9): 634–641. Дои:10.1145/359810.359826.
  51. ^ Флойд, Р. В. (1979). «Парадигмы программирования». Коммуникации ACM. 22 (8): 455–460. Дои:10.1145/359138.359140.
  52. ^ Милнер, Р. (1993). «Элементы взаимодействия: лекция о премии Тьюринга». Коммуникации ACM. 36: 78–89. Дои:10.1145/151233.151240.
  53. ^ Стернс, Р. Э. (1994). «Лекция по Премии Тьюринга: пора пересмотреть время». Коммуникации ACM. 37 (11): 95–99. Дои:10.1145/188280.188379.
  54. ^ Стернс, Р. Э. (1994). «Лекция по Премии Тьюринга: пора пересмотреть время». Коммуникации ACM. 37 (11): 95–99. Дои:10.1145/188280.188379.
  55. ^ Редди, Р. (1996). «Мечтать о возможном сне». Коммуникации ACM. 39 (5): 105–112. Дои:10.1145/229459.233436.
  56. ^ Редди, Р. (1996). «Мечтать о возможном сне». Коммуникации ACM. 39 (5): 105–112. Дои:10.1145/229459.233436.
  57. ^ "Лауреат премии А.М. Тьюринга - Мануэль Блюм". amturing.acm.org. Получено 4 ноября 2018.
  58. ^ «Лауреат премии А.М. Тьюринга - Амир Пнуели». amturing.acm.org. Получено 4 ноября 2018.
  59. ^ Объявлены победители премии Тьюринга 2007 года
  60. ^ "Жемчужина Иудеи". ACM.
  61. ^ а б Диффи, В .; Хеллман, М. (1976). «Новые направления в криптографии» (PDF). IEEE Transactions по теории информации. 22 (6): 644–654. CiteSeerX  10.1.1.37.9720. Дои:10.1109 / TIT.1976.1055638.
  62. ^ «Пионеры криптографии получают премию ACM A.M. Turing 2015». ACM.
  63. ^ «Пионеры криптографии получают премию ACM A.M. Turing 2015». ACM.
  64. ^ Отцы революции глубокого обучения получают ACM A.M. Премия Тьюринга
  65. ^ Отцы революции глубокого обучения получают ACM A.M. Премия Тьюринга

Источники

внешняя ссылка