Список компьютерных ученых

Это список компьютерных ученых , людей, которые действительно работают в области компьютерных наук , в частности исследователей и авторов.

Некоторые люди, известные как программисты , включены сюда, потому что они работают не только в программах , но и в исследованиях. Некоторые из этих людей предшествовали изобретению цифрового компьютера; теперь их считают специалистами по информатике, потому что их работа может рассматриваться как ведущая к изобретению компьютера. Другие математики, работа которых подпадает под то , что сейчас можно назвать теоретической информатики, такие как теория сложности и алгоритмической теории информации .

A [ править ]

• Вил ван дер Аалст - управление бизнес-процессами , интеллектуальный анализ процессов , сети Петри
• Скотт Ааронсон - квантовые вычисления и теория сложности
• Rediet Abebe - алгоритмы , искусственный интеллект
• Хэл Абельсон - пересечение вычислений и обучения
• Серж Абитебул - теория баз данных
• Самсон Абрамский - семантика игры
• Леонард Адлеман - RSA , ДНК-вычисления
• Маниндра Агравал - проверка простоты за полиномиальное время
• Луис фон Ан - вычисления, основанные на человеке
• Альфред Ахо - книга компиляторов, буква AWK
• Фрэнсис Э. Аллен - оптимизация компилятора
• Джин Амдал - разработчик суперкомпьютеров , основатель корпорации Amdahl.
• Дэвид П. Андерсон - волонтерские вычисления
• Лиза Энтони - естественные пользовательские интерфейсы
• Эндрю Аппель - составитель учебников
• Сесилия Р. Арагон - изобрела treap , науку о данных, ориентированную на человека
• Брюс Арден - компиляторы языков программирования (GAT, Michigan Algorithm Decoder (MAD)), архитектура виртуальной памяти, Michigan Terminal System (MTS)
• Санджив Арора - теорема PCP
• Уинифред «Тим» Элис Эспри - основала программу обучения информатике в колледже Вассар.
• Джон Винсент Атанасов - компьютерный пионер, создатель ABC или Atanasoff Berry Computer

B [ править ]

• Чарльз Бэббидж (1791–1871) - изобрел первый механический компьютер, названный высшим математиком.
• Чарльз Бахман - американский ученый-компьютерщик, известный своим интегрированным хранилищем данных
• Роланд Карл Бэкхаус - математика построения компьютерных программ , решение алгоритмических задач, АЛГОЛ
• Джон Бэкус - ФОРТРАН , форма Бэкуса – Наура , первый полный компилятор
• Дэвид Ф. Бэкон - языки программирования, сборка мусора
• Дэвид А. Бадер
• Виктор Баль
• Энтони Джеймс Барр - SAS System
• Жан Бартик (1924–2011) - один из первых компьютерных программистов на ENIAC (1946), одном из первых вакуумных ламповых компьютеров , когда «программирование» включало использование кабелей, переключателей и переключателей для физического перенастройки машины; работал с Джоном Мочли над BINAC (1949), EDVAC (1949), UNIVAC (1951), чтобы разработать первые компьютеры с " хранимой программой "
• Эндрю Барто
• Фридрих Л. Бауэр - Stack (структура данных) , Sequential формула перевода , Алгол , программная инженерия , теорема Bauer-Фике
• Рудольф Байер - B-дерево
• Гордон Белл (род. 1934) - компьютерный дизайнер DEC VAX , автор: Computer Structures
• Стивен М. Белловин - сетевая безопасность
• Сесилия Бердичевски (1925–2010) - первый аргентинский ученый-компьютерщик.
• Тим Бернерс-Ли - Всемирная паутина
• Дэниел Дж. Бернштейн - qmail, программное обеспечение как защищенная речь
• Питер Бернус
• Абхай Бхушан
• Динес Бьёрнер - Венский метод развития (VDM), RAISE
• Геррит Блаау - один из главных разработчиков линейки компьютеров IBM System 360
• Сью Блэк
• Дэвид Блей
• Дороти Блюм - Агентство национальной безопасности
• Ленор Блюм - сложность
• Мануэль Блюм - криптография
• Барри Бем - экономика программной инженерии, спиральная разработка
• Коррадо Бём - автор теоремы о структурированной программе
• Курт Боллакер
• Джефф Бонвик - изобрел размещение плит и ZFS
• Грэди Буч - Единый язык моделирования , Группа управления объектами
• Джордж Буль - Булева логика
• Эндрю Бут - разработал первое устройство для хранения с вращающимся барабаном.
• Кэтлин Бут - разработала первый язык ассемблера
• Анита Борг (1949–2003) - американский ученый-компьютерщик, основатель Института женщин и технологий Аниты Борг.
• Берт Бос - Каскадные таблицы стилей
• Михаил Ботвинник - чемпион мира по шахматам, компьютерный ученый и инженер-электрик, пионер ранней экспертной системы искусственного интеллекта и компьютерных шахмат.
• Джонатан Боуэн - Z-нотация , формальные методы
• Стивен Р. Борн - оболочка Борна , переносимый компилятор ALGOL 68C
• Гарри Боуман (1953 г.р.) - голландский исследователь информационных систем и профессор Университета Або Академи
• Роберт С. Бойер - поиск по строкам, средство доказательства теорем ACL2
• Karlheinz Brandenburg - Главный mp3- исполнитель
• Lawrence M. Breed - реализация Айверсон Notation (APL), разработанные совместно APL \ 360, Scientific Time Sharing Корпорация соучредитель
• Джек Э. Брезенхэм - ранний вклад в компьютерную графику, включая алгоритм Брезенхема
• Сергей Брин - соучредитель Google
• Дэвид Дж. Браун - унифицированная архитектура памяти , двоичная совместимость
• Пер Бринч Хансен (фамилия "Бринч Хансен") - параллелизм
• Сяак Бринккемпер - методология разработки программного продукта
• Фред Брукс - Система 360 , OS / 360 , Мифический человеко-месяц , без серебряной пули
• Род Брукс
• Маргарет Бернетт - языки визуального программирования , разработка программного обеспечения для конечных пользователей и программное обеспечение с учетом гендерных аспектов
• Майкл Батлер - Событие-B

C [ править ]

• Трейси Кэмп - беспроводные вычисления
• Мартин Кэмпбелл-Келли - история вычислительной техники
• Розмарин Кэндлин
• Брайан Кэнтрилл - изобрел DTrace
• Лука Карделли -
• Джон Кармак - совместная разработка Doom
• Эдвин Кэтмелл - компьютерная графика
• Винтон Серф - Интернет, TCP / IP
• Григорий Чайтин
• Роберт Кайо - бельгийский ученый-компьютерщик
• Чжоу Чаочэнь - расчет продолжительности
• Питер Чен - модель сущности-отношения , моделирование данных , концептуальная модель
• Леонардо Кьяриглионе - основатель MPEG
• Трейси Чоу - компьютерный ученый и активистка
• Алонсо Чёрч - математика комбинаторов, лямбда-исчисление
• Альберто Чьярамелла - распознавание речи , патентная информатика
• Эдмунд М. Кларк - проверка модели
• Джон Кок - RISC
• Эдгар Ф. Кодд (1923–2003) - сформулировал реляционную модель базы данных.
• Жак Коэн - профессор информатики
• Саймон Колтон - вычислительное творчество
• Ален Колмерауэр - Пролог
• Дуглас Комер - Xinu
• Пол Джастин Комптон - Правила Ripple Down
• Гордон Кормак - один из изобретателей динамического марковского сжатия
• Стивен Кук - NP-полнота
• Джеймс Кули - Быстрое преобразование Фурье (БПФ)
• Данезе Купер - программное обеспечение с открытым исходным кодом
• Фернандо Х. Корбато - Совместимая система разделения времени (CTSS), Multics
• Kit Cosper - программное обеспечение с открытым исходным кодом
• Патрик Кузо - абстрактная интерпретация
• Ингемар Кокс - цифровые водяные знаки
• Сеймур Крей - Cray Research , суперкомпьютер
• Нелло Кристианини - машинное обучение, анализ паттернов, искусственный интеллект
• Джон Кроукрофт - нетворкинг
• В. Брюс Крофт
• Глен Каллер - интерактивные вычисления, компьютерная графика, высокопроизводительные вычисления
• Хаскелл Карри

D [ править ]

• Луиджи Дадда - разработчик мультипликатора Дадда
• Оле-Йохан Даль - Simula , объектно-ориентированное программирование
• Райан Даль - основатель Node.js проекта
• Андрис ван Дам - компьютерная графика , гипертекст
• Самир Дас - Беспроводные сети , мобильные вычисления , специальные автомобильные сети , сенсорные сети , ячеистые сети , беспроводные одноранговые сети.
• Нил Дасвани - компьютерная безопасность , соучредитель и содиректор Stanford Advanced Computer Security Program, соучредитель Dasient (приобретенный Twitter), бывший руководитель информационной безопасности LifeLock и подразделения Symantec Consumer Business Unit
• Кристофер Дж. Дэйт - сторонник реляционной модели базы данных
• Джефф Дин - Bigtable , MapReduce , вращатель от Google
• Эрик Демейн - вычислительное оригами
• Том ДеМарко
• Ричард ДеМилло - компьютерная безопасность , разработка программного обеспечения , образовательные технологии
• Дороти Э. Деннинг - компьютерная безопасность
• Питер Дж. Деннинг - определил использование рабочего набора операционной системы и набора баланса, президент ACM
• Майкл Дертузос - директор Лаборатории компьютерных наук (LCS) Массачусетского технологического института (MIT) с 1974 по 2001 год.
• Александр Девдни
• Роберт Дьюар - член IFIP WG 2.1 , ALGOL 68 , председатель; Соучредитель AdaCore , президент, генеральный директор
• Vinod Dham - процессор Pentium P5
• Ян Дитц (1945 г.р.) ( константа распада ) - теория информационных систем и методология проектирования и разработки для организаций
• Уитфилд Диффи (род. 1944) ( функция линейного отклика ) - криптография с открытым ключом , обмен ключами Диффи-Хеллмана
• Эдсгер Дейкстра - алгоритмы , алгоритм Дейкстры , переход к заявлению, признанному вредным , семафор (программирование) , член IFIP WG 2.1
• Matthew Dillon - DragonFly BSD с LWKT , VKernel виртуализации на уровне операционной системы, файловые системы : HAMMER 1, HAMMER2
• Алан Дикс - написал важный учебник университетского уровня по взаимодействию человека с компьютером.
• Джек Донгарра - линейная алгебра высокопроизводительных вычислений (HCI)
• Марко Дориго - оптимизация муравьиной колонии
• Пол Дуриш - взаимодействие человека с компьютером
• Чарльз Старк Дрейпер (1901–1987) - разработчик управляющего компьютера Apollo , «отец инерциальной навигации », профессор Массачусетского технологического института.
• Сьюзан Дюмэ - поиск информации
• Джон Майкл Данн - декан-основатель Школы информатики Университета Индианы, основанная на информации логика, особенно логика релевантности
• Шахрам Дустдар - Распределенные системы, TU Wien, Австрия

E [ править ]

• Питер Идс - рисунок графика
• Энни Дж. Изли
• Вим Эббинкхейсен - COBOL
• Джон Преспер Эккерт - ENIAC
• Брендан Эйх - JavaScript , Mozilla
• Филип Эмеагвали - суперкомпьютеры
• Э. Аллен Эмерсон - проверка модели
• Дуглас Энгельбарт - плиточные окна , гипертекст , компьютерная мышь
• Дэвид Эппштейн
• Андрей Ершов - языки АЛЬФА , Рапира ; первая советская система разделения времени АИСТ-0 , электронная издательская система РУБИН , многопроцессорная рабочая станция MRAMOR , член IFIP WG 2.1 , Эстетика и человеческий фактор в программировании
• Дон Эстридж (1937–1985) - руководил разработкой оригинального персонального компьютера IBM (ПК); известный как "отец IBM PC"
• Орен Этциони - MetaCrawler , Netbot
• Кристофер Рич Эванс
• Дэвид С. Эванс - компьютерная графика
• Шимон Эвен

F [ править ]

• Скотт Фальман
• Эдвард Фейгенбаум - интеллект
• Эдвард Фельтен - компьютерная безопасность
• Тим Финин
• Рафаэль Финкель
• Дональд Файресмит
• Гэри Уильям Флейк
• Томми Флауэрс - компьютер Колосса
• Роберт Флойд - NP-полнота
• Салли Флойд - контроль перегрузки в Интернете
• Лоуренс Дж. Фогель - эволюционное программирование
• Джеймс Д. Фоули
• Кен Форбус
• Л. Р. Форд-младший.
• Лэнс Фортноу
• Мартин Фаулер
• Роберт Франс
• Герберт В. Франке
• Эдвард Фредкин
• Йоав Фройнд
• Дэниел П. Фридман
• Шарлотта Фрезе Фишер - вычислительная теоретическая физика
• Пинг Фу
• Сяомин Фу
• Кунихико Фукусима - неокогнитрон , искусственные нейронные сети , архитектура сверточной нейронной сети , обучение без учителя , глубокое обучение
• Д. Р. Фулкерсон

G [ править ]

• Ричард П. Габриэль - Maclisp , Common Lisp , " Чем хуже, тем лучше" , Лига свободы программирования , Lucid Inc. , XEmacs
• Цви Галил
• Бернард Галлер - MAD (язык программирования)
• Эктор Гарсиа-Молина
• Майкл Гэри - NP-полнота
• Уго де Гарис
• Билл Гейтс - соучредитель Microsoft
• Дэвид Гелернтер
• Лиза Гелобтер - директор по цифровым сервисам Министерства образования США, основатель teQuitable.
• Чарльз Гешке
• Зубин Гахрамани
• Санджай Гемават
• Джереми Гиббонс - общее программирование , функциональное программирование , формальные методы , вычислительная биология , биоинформатика
• Хуан Э. Гилберт - вычисления, ориентированные на человека
• Ли Джайлз - CiteSeer
• Seymour Гинзбург - формальные языки , теория автоматов , теория AFL , теория баз данных
• Роберт Л. Гласс Роберт Л. Гласс
• Курт Гёдель - вычислимость ; не специалист по информатике как таковой, но его работа была бесценна в этой области
• Ашок Гоэль
• Джозеф Гогуэн
• Хардик Гохель
• E. Марк Голд - Языковая идентификация в пределах лимита
• Адель Голдберг - Smalltalk
• Эндрю В. Голдберг - алгоритмы , разработка алгоритмов
• Ян Голдберг - криптограф, обмен сообщениями не для записи
• Одед Гольдрайх - криптография , теория сложности вычислений
• Шафи Гольдвассер - криптография , теория вычислительной сложности
• Джин Голуб - Матричные вычисления
• Мартин Чарльз Голумбик - алгоритмическая теория графов
• Гастон Гонне - соучредитель Waterloo Maple Inc.
• Ян Гудфеллоу - машинное обучение
• Джеймс Гослинг - Сетевая расширяемая оконная система ( NeWS ), Java
• Пол Грэм - Viaweb , On Lisp , Arc
• Роберт М. Грэм - компиляторы языков программирования (GAT, Michigan Algorithm Decoder (MAD)), архитектура виртуальной памяти, Multics
• Сьюзан Л. Грэм - компиляторы , среды программирования
• Джим Грей - база данных
• Шейла Грейбы - Greibach нормальной форма , абстрактное семейство языков теория (AFL)
• Ральф Грисволд - СНОБОЛ
• Билл Гропп - Интерфейс передачи сообщений , портативный расширяемый инструментарий для научных вычислений (PETSc)
• Том Грубер - инженерия онтологий
• Шелия Губерман - распознавание почерка
• Раманатан В. Гуха - Структура описания ресурсов (RDF), Netscape , RSS , Epinions
• Нил Дж. Гюнтер - анализ производительности компьютера , планирование мощности
• Юрг Гуткнехт - с Никлаусом Виртом : компьютер Лилит ; Языки программирования Модула-2 , Оберон , Zonnon ; Операционная система Оберон
• Майкл Гай - Феникс , работа по теории чисел , компьютерной алгебре , теории многогранников высшей размерности ; с Джоном Хортоном Конвеем

H [ править ]

• Филипп Маттеус Хан - механический калькулятор
• Элдон С. Холл - Компьютер наведения Аполлона
• Венди Холл
• Джозеф Халперн
• Маргарет Гамильтон - сверхнадежная разработка программного обеспечения
• Ричард Хэмминг - код Хэмминга , основатель Ассоциации вычислительной техники
• Цзявэй Хан - интеллектуальный анализ данных
• Фрэнк Харари - теория графов
• Юрис Хартманис - теория вычислительной сложности
• Йохан Хастад - теория вычислительной сложности
• Лес Хаттон - программный сбой и уязвимости
• Игорь Гавришкевич , (1948 г.р.) - американский ученый-компьютерщик и теоретик организации
• Хэ Цзифэн - доказуемо правильные системы
• Эрик Хенер - предикативное программирование , формальные методы , кавычки , АЛГОЛ
• Мартин Хеллман - шифрование
• Гернот Хайзер - разработчик L4 и основатель OK Labs
• Джеймс Хендлер - Семантическая сеть
• Джон Л. Хеннесси - компьютерная архитектура
• Эндрю Герберт
• Карл Хьюитт
• Дэнни Хиллис - Машина связи
• Джеффри Хинтон
• Юлия Хиршберг
• Тин Кам Хо - искусственный интеллект , машинное обучение
• CAR Hoare - логика , строгость, коммуникационные последовательные процессы (CSP)
• Бетти Холбертон - программист ENIAC , разработала первый генератор слияния сортировки
• Джон Генри Холланд - генетические алгоритмы
• Герман Холлерит (1860–1929) - изобрел запись данных на машиночитаемый носитель с использованием перфокарт.
• Джерард Хольцманн - проверка программного обеспечения, проверка логической модели ( SPIN )
• Джон Хопкрофт - составители
• Адмирал Грейс Хоппер (1906–1992) - разработал ранние компиляторы: FLOW-Matic, COBOL ; работал на UNIVAC ; выступила с речами по компьютерной истории, где выдавала наносекунды
• Эрик Хорвиц - искусственный интеллект
• Элстон Хаусхолдер
• Пол Худак (1952–2015) - дизайн языка Haskell
• Дэвид А. Хаффман (1925–1999) - кодирование Хаффмана , используемое при сжатии данных
• Джон Хьюз - структурирование вычислений стрелками ; Фреймворк рандомизированного тестирования программ QuickCheck ; Дизайн языка Haskell
• Роджер Хуэй - соавтор J Language
• Уоттс Хамфри (1927–2010) - персональный программный процесс (PSP), качество программного обеспечения , командный программный процесс (TSP)

Я [ править ]

• Жан Ичбия - Ада
• Роберто Иерусалимский - Lua (язык программирования)
• Дэн Ингаллс - Smalltalk , BitBlt , Lively Kernel
• Мэри Джейн Ирвин
• Кеннет Э. Айверсон - APL , J

J [ править ]

• Ивар Якобсон - Единый язык моделирования , Object Management Group
• Анил К. Джайн (родился в 1948 г.)
• Рамеш Джайн
• Джонатан Джеймс
• Дэвид С. Джонсон
• Стивен С. Джонсон
• Клифф Джонс - Венский метод разработки (VDM)
• Майкл И. Джордан
• Матай Джозеф
• Аравинд К. Джоши
• Билл Джой (1954 г.р.) - Sun Microsystems , BSD UNIX, vi , csh
• Дэн Джурафски - обработка естественного языка

K [ править ]

• Уильям Кахан - численный анализ
• Роберт Э. Кан - TCP / IP
• Авинаш Как - цифровая обработка изображений
• Пол-Хеннинг Камп - изобрел GBDE , FreeBSD Jails, Varnish cache
• Дэвид Каргер
• Ричард Карп - NP-полнота
• Нарендра Кармаркар - алгоритм Кармаркара
• Марек Карпински - Н.П. Задачи оптимизации
• Тед Келер - Smalltalk , Squeak , HyperCard
• Алан Кей - Dynabook , Smalltalk , перекрывающиеся окна
• Нирадж Каял - тест примитивности AKS
• Джон Джордж Кемени - ОСНОВНОЙ
• Кен Кеннеди - компиляция для параллельных и векторных машин
• Брайан Керниган (1942 г.р.) - Unix , буква k в AWK
• Карл Кессельман - грид-вычисления
• Грегор Кичалес - CLOS , рефлексия , аспектно-ориентированное программирование
• Питер Т. Кирштейн - Интернет
• Стивен Коул Клини - Замыкание Клини , теория рекурсии
• Дэн Кляйн - Обработка естественного языка , Машинный перевод
• Леонард Клейнрок - ARPANET , теория очередей , коммутация пакетов , иерархическая маршрутизация
• Дональд Кнут - Искусство программирования , MIX / MMIX , TeX , грамотное программирование
• Эндрю Кениг - C ++
• Дафна Коллер - Искусственный интеллект , байесовская сеть
• Майкл Кёллинг - BlueJ
• Андрей Николаевич Колмогоров - теория алгоритмической сложности
• Джанет Л. Колоднер - аргументация по делу
• Дэвид Корн - KornShell
• Кис Костер - АЛГОЛ 68
• Роберт Ковальски - логическое программирование
• Джон Коза - генетическое программирование
• Джон Крогсти - SEQUAL framework
• Джозеф Крускал - алгоритм Крускала
• Томас Курц (род. 1928) - язык программирования BASIC ; Компьютерный профессор Дартмутского колледжа

L [ править ]

• Ричард Э. Ладнер
• Моника С. Лам
• Лесли Лэмпорт - алгоритмы для распределенных вычислений , LaTeX
• Батлер Лэмпсон - SDS 940 , член-основатель Xerox PARC , Xerox Alto , Премия Тьюринга
• Питер Ландин - ISWIM , оператор J , SECD машина , вне стороне правило , синтаксический сахар , Алгол , МФОЙ WG 2,1 член, продвинутая лямбда - исчисление к модели языкам программирования (автоматизированное функциональное программирование ), денотационной семантика
• Том Лейн - Независимая группа JPEG , PostgreSQL , переносимая сетевая графика (PNG)
• Бёрье Лангефорс
• Крис Латтнер - создатель инфраструктуры компилятора Swift (язык программирования) и LLVM
• Стив Лоуренс
• Эдвард Д. Лазовска
• Джошуа Ледерберг
• Мэнни М. Леман
• Чарльз Э. Лейзерсон - алгоритмы , не обращающие внимания на кеш , доказуемо хорошая работа по кражи , соавтор Introduction to Algorithms
• Дуглас Ленат - искусственный интеллект , Cyc
• Янн ЛеКун
• Расмус Лердорф - PHP
• Макс Левчин - тест Гаузбека – Левчина и PayPal
• Леонид Левин - теория сложности вычислений
• Кевин Лейтон-Браун - искусственный интеллект
• JCR Licklider
• Дэвид Лиддл
• John Lions - Lions 'Комментарий к 6-му изданию UNIX с исходным кодом (Lions Book)
• Чарльз Х. Линдси - член IFIP WG 2.1 Пересмотренный отчет по Алголу 68
• Ричард Дж. Липтон - теория вычислительной сложности
• Барбара Лисков - языки программирования
• Даррелл Лонг - компьютерное хранилище данных , компьютерная безопасность
• Патрисия Д. Лопес - расширение участия в вычислениях
• Джиллиан Лавгроув
• Ада Лавлейс - первый программист
• Дэвид Лакхэм - Lisp , автоматическое доказательство теорем , Stanford Pascal Verifier, сложная обработка событий , соучредитель Rational Software ( компилятор Ada )
• Евгений Лукс
• Нэнси Линч

M [ править ]

• Надя Магненат Тальманн - компьютерная графика , виртуальный актер
• Том Майбаум
• Зохар Манна - нечеткая логика
• Джеймс Мартин - информационная инженерия
• Роберт С. Мартин (дядя Боб) - мастерство программного обеспечения
• Джон Маши
• Юрий Матиясевич - решение десятой проблемы Гильберта
• Юкихиро Мацумото - Ruby (язык программирования)
• Джон Мочли (1907–1980) - разработал ENIAC , первый электронный цифровой компьютер общего назначения, а также EDVAC, BINAC и UNIVAC I, первый коммерческий компьютер; работал с Джин Бартик на ENIAC и Грейс Мюррей Хоппер на UNIVAC
• Дерек Маколи - вездесущие вычисления , компьютерная архитектура , сети
• Джон Маккарти - Lisp (язык программирования) , ALGOL , член IFIP WG 2.1 , искусственный интеллект
• Эндрю МакКаллум
• Дуглас Макилрой - макросы , конвейеры, философия Unix
• Крис МакКинстри - искусственный интеллект , Mindpixel
• Маршалл Кирк МакКусик - BSD , Berkeley Fast File System
• Ламберт Меертенс - АЛГОЛ 68 , член IFIP WG 2.1 , ABC (язык программирования)
• Курт Мельхорн - алгоритмы, структуры данных, LEDA
• Бертран Мейер - Эйфель (язык программирования)
• Сильвио Микали - криптография
• Робин Милнер - ML (язык программирования)
• Джек Минкер - логика базы данных
• Марвин Мински - искусственный интеллект , перцептроны , Общество разума
• Том М. Митчелл
• Арвинд Митал - формальная проверка больших цифровых систем , разработка архитектур динамических потоков данных , языки программирования параллельных вычислений (Id, pH), компиляция на параллельных машинах
• Пол Мокапетрис - Система доменных имен (DNS)
• Cleve Moler - численный анализ , MATLAB
• Фарон Моллер - теория параллелизма
• Джон П. Мун - изобретатель , Apple Inc.
• Чарльз Х. Мур - Четвертый язык
• Эдвард Ф. Мур - Машина Мура
• Гордон Мур - закон Мура
• Дж. Стротер Мур - поиск по строкам, средство доказательства теорем ACL2
• Роджер Мур - соавтор APL \ 360, создатель IPSANET , соучредитель IP Sharp Associates
• Ханс Моравец - робототехника
• Кэрролл Морган - формальные методы
• Роберт Таппан Моррис - червь Морриса
• Джоэл Моисей - Macsyma
• Раджив Мотвани - рандомизированный алгоритм
• Олег А. Муханов - разработчик квантовых вычислений , соучредитель и технический директор SeeQC
• Стивен Магглетон - Индуктивное логическое программирование
• Алан Майкрофт - языки программирования
• Musharaf MMHussain - Процессор параллельных вычислений и многоядерного Supper Scaler

N [ править ]

• Михай Надин - исследование предвкушения
• Макото Нагао - машинный перевод, обработка естественного языка, цифровая библиотека
• Фридер Наке - пионер компьютерного искусства
• Бонни Нарди - взаимодействие человека с компьютером
• Питер Наур (1928–2016) - форма Бэкуса – Наура (BNF), АЛГОЛ 60 , член IFIP WG 2.1
• Роджер Нидхэм - компьютерная безопасность
• Джеймс Г. Нелл - Обобщенная эталонная архитектура и методология предприятия (GERAM)
• Грег Нельсон (1953–2015) - выполнимость по модулю теорий , расширенная статическая проверка , проверка программ , комитет Modula-3 , упрощение средства доказательства теорем в ESC / Java
• Бернар де Нейман - автономный сотовый процессор с массовым параллелизмом, исследования в области разработки программного обеспечения
• Клара Дэн фон Нейман (1911–1963) - первые компьютеры, программист ENIAC и разработчик управления
• Джон фон Нейман (1903–1957) - первые компьютеры, машина фон Неймана , теория множеств , функциональный анализ , пионер математики, линейное программирование , квантовая механика
• Аллен Ньюэлл - искусственный интеллект , компьютерные структуры
• Макс Ньюман - компьютер Colossus , MADM
• Эндрю Нг - искусственный интеллект , машинное обучение , робототехника
• Нильс Джон Нильссон (1933–2019) - искусственный интеллект
• GM Nijssen - Методология анализа информации Nijssen (NIAM) объектно- ролевое моделирование
• Тобиас Нипков - доказательная помощь
• Морис Нива - теоретическая информатика , журнал теоретической информатики , ALGOL , член IFIP WG 2.1
• Phiwa Nkambule - FinTech , искусственный интеллект , машинное обучение , робототехника
• Джерр Ноэ - компьютеризированный банкинг
• Питер Нордин - искусственный интеллект , генетическое программирование , эволюционная робототехника
• Дональд Норман - пользовательские интерфейсы , удобство использования
• Питер Норвиг - искусственный интеллект , директор по исследованиям в Google
• Джордж Новаки - Университет Питтсбурга: ассистент кафедры, старший преподаватель информатики, заместитель декана CAS по бакалавриату
• Кристен Найгаард - Simula , объектно-ориентированное программирование

O [ править ]

• Мартин Одерский - язык программирования Scala
• Питер O'Hearn - логика разделения , сгруппированный логика , Infer Статический анализатор
• Т. Уильям Олле - Ферранти Меркьюри
• Стив Омохундро
• Северо Орнштейн
• Джон О'Салливан - Wi-Fi
• Джон Остерхаут - язык программирования Tcl
• Марк Овермарс - программирование видеоигр

P [ править ]

• Ларри Пейдж - соучредитель Google
• Санкар Пал
• Паритош Пандья
• Христос Пападимитриу
• Дэвид Парк (1935–1990) - первая реализация Лиспа , эксперт по справедливости, схемам программ, бисимуляции в параллельных вычислениях
• Давид Парнас - сокрытие информации , модульное программирование
• DJ Патил - бывший главный научный сотрудник США
• Йель Патт - Параллелизм на уровне инструкций , спекулятивные архитектуры
• Дэвид А. Паттерсон - компьютер с сокращенным набором команд (RISC), RISC-V , избыточные массивы недорогих дисков ( RAID ), Berkeley Network of Workstations (NOW)
• Майк Патерсон - алгоритмы , анализ алгоритмов (сложность)
• Михай Патрашку - структуры данных
• Лоуренс Полсон - ML
• Рэнди Пауш (1960–2008) - взаимодействие человека с компьютером , профессор Карнеги, « Последняя лекция »
• Хуан Павон - программные агенты
• Judea Pearl - искусственный интеллект , алгоритмы поиска
• Дэвид Пирсон - CADES , компьютерная графика
• Алан Перлис - Жемчуг программирования
• Radia Perlman - протокол связующего дерева
• Пьер Джорджио Перотто - компьютерный дизайнер Olivetti , дизайнер программируемого калькулятора Programma 101
• Рожа Петер - теория рекурсивных функций
• Саймон Пейтон Джонс - функциональное программирование
• Кэти Фам - данные, искусственный интеллект, гражданские технологии, здравоохранение, этика
• Роберто Пьерачини - технолог по речи, технический директор Google
• Гордон Плоткин
• Амир Пнуэли - темпоральная логика
• Виллем ван дер Поэль - компьютерная графика, робототехника, геоинформационные системы, изображения, мультимедиа, виртуальные среды, игры
• Сисели Попплуэлл (1920–1995) - британский инженер-программист в 1960-х гг.
• Эмиль Пост - математика
• Джон Постел - Интернет
• Франко Препарата - компьютерная инженерия , вычислительная геометрия , параллельные алгоритмы , вычислительная биология
• Уильям Х. Пресс - численные алгоритмы

R [ править ]

• Рапеланг Рабана
• Гжегож Розенберг - естественные вычисления , теория автоматов , преобразования графов и параллельные системы
• Майкл О. Рабин - недетерминированная машина
• Драгомир Р. Радев - обработка естественного языка , поиск информации
• Рамановское ТВ - доступность , Emacspeak
• Брайан Рэнделл - АЛГОЛ 60 , отказоустойчивость программного обеспечения , надежность , история вычислительного оборудования до 1950 г.
• Андерс П. Равн - Расчет продолжительности
• Радж Редди - искусственный интеллект
• Дэвид П. Рид
• Трюгве Реенскауг - шаблон архитектуры программного обеспечения модель – представление – контроллер (MVC)
• Джон С. Рейнольдс - продолжения , дефинциональные интерпретаторы, дефункционализация , Форсайт, язык Геданкена, типы пересечений , полиморфное лямбда-исчисление , реляционная параметричность , логика разделения , АЛГОЛ
• Джойс К. Рейнольдс - Интернет
• Бернард Ричардс - медицинская информатика
• Мартин Ричардс - BCPL
• Адам Ризе
• Си Джей ван Рейсберген
• Деннис Ричи - C (язык программирования) , Unix
• Рон Ривест - RSA , MD5 , RC4
• Кен Робинсон - формальные методы
• Колетт Роллан - методология РЕМОРА, мета-моделирование
• Джон Ромеро - совместная разработка Doom
• Азриэль Розенфельд
• Дуглас Т. Росс - Автоматически программируемые инструменты ( APT ), автоматизированное проектирование , структурный анализ и техника проектирования , ALGOL X
• Гвидо ван Россум - Python (язык программирования)
• Уинстон В. Ройс - модель водопада
• Руди Ракер - математик, писатель, педагог
• Стивен Рудич - теория сложности, криптография
• Джефф Рулифсон
• Джеймс Рамбо - Единый язык моделирования , Object Management Group
• Петер Ружичка - словацкий ученый-компьютерщик и математик

S [ править ]

• Джордж Садовски
• Умар Саиф
• Джерард Солтон - поиск информации
• Жан Э. Саммет - языки программирования
• Клод Саммут - искусственный интеллект- исследователь
• Карл Сассенрат - операционные системы , языки программирования , Amiga , REBOL
• Махадев Сатьянараянан - файловые системы , распределенные системы , мобильные вычисления , всеобъемлющие вычисления
• Уолтер Савич - открытие класса сложности NL , теорема Савича , обработка естественного языка , математическая лингвистика
• Джонатан Шеффер
• Вильгельм Шикард - одна из первых вычислительных машин
• Юрген Шмидхубер - искусственный интеллект, глубокое обучение, искусственные нейронные сети, рекуррентные нейронные сети , машина Гёделя , искусственное любопытство, мета-обучение
• Стив Шнайдер - формальные методы , безопасность
• Брюс Шнайер - криптография, безопасность
• Фред Б. Шнайдер - параллельные и распределенные вычисления
• Сарита Шенебек - взаимодействие человека с компьютером
• Гленда Шредер - оболочка командной строки, электронная почта
• Дана Скотт - теория предметной области
• Майкл Л. Скотт - языки программирования , алгоритмы , распределенные вычисления
• Роберт Седжвик - алгоритмы, структуры данных
• Рави Сетхи - составители, 2-я Книга Дракона
• Найджел Шэдболт
• Ади Шамир - RSA , криптоанализ
• Клод Шеннон - теория информации
• Дэвид Э. Шоу - вычислительные финансы, вычислительная биохимия, параллельные архитектуры
• Клифф Шоу - системный программист, искусственный интеллект
• Скотт Шенкер - нетворкинг
• Бен Шнейдерман - взаимодействие человека с компьютером , визуализация информации
• Эдвард Х. Шортлифф - MYCIN (медицинская диагностическая экспертная система)
• Джозеф Сифакис - проверка модели
• Герберт А. Саймон - искусственный интеллект
• Муниндар П. Сингх - многоагентные системы , программная инженерия , искусственный интеллект, социальные сети
• Рамеш Ситараман - помог построить высокопроизводительную сеть Akamai
• Дэниел Слейтор - развернутое дерево , амортизированный анализ
• Аарон Сломан - искусственный интеллект и когнитивная наука
• Арне Сёльвберг - информационное моделирование
• Брайан Кантуэлл Смит - размышления (информатика) , 3лист
• Стивен Спевак - планирование архитектуры предприятия
• Кэрол Спрэдлинг
• Роберт Спроул
• Рохини Кесаван Шрихари - поиск информации , текстовая аналитика, многоязычный анализ текста
• Саргур Шрихари - распознавание образов , машинное обучение , вычислительная криминология , CEDAR-FOX
• Мацей Стаховяк - GNOME , Safari , WebKit
• Ричард Столмен (1953 г.р.) - Проект GNU
• Рональд Стэмпер
• Ричард Э. Стернс - теория вычислительной сложности
• Гай Л. Стил младший - Схема , Common Lisp
• Томас Стерлинг - создатель кластеров Беовульфа
• У. Ричард Стивенс (1951–1999) - автор книг, в том числе « Иллюстрированное TCP / IP» и « Расширенное программирование в среде Unix»
• Ларри Стокмейер - вычислительная сложность, распределенные вычисления
• Сальваторе Столфо - компьютерная безопасность, машинное обучение
• Майкл Стоунбрейкер - практика и теория реляционных баз данных
• Олаф Стораасли - машина конечных элементов , линейная алгебра , высокопроизводительные вычисления
• Кристофер Стрейчи - денотационная семантика
• Фолькер Штрассен - умножение матриц , целочисленное умножение , критерий простоты Соловея – Штрассена
• Бьярн Страуструп - C ++
• Мадх Судан - теория сложности вычислений , теория кодирования
• Джеральд Джей Сассман - Схема
• Берт Сазерленд - графика , Интернет
• Иван Сазерленд - графика
• Марио Сегеди - теория сложности , квантовые вычисления

Т [ править ]

• Париса Тебриз - технический директор Google, также известная как Принцесса безопасности
• Роберто Тамассия - вычислительная геометрия , компьютерная безопасность
• Эндрю С. Таненбаум - операционные системы , MINIX
• Остин Тейт - Приложения искусственного интеллекта , планирование искусственного интеллекта , виртуальные миры
• Бернхард Тальхейм - фонд концептуального моделирования
• Эва Тардос
• Габор Тардос
• Роберт Тарджан - splay tree
• Валери Тейлор
• Марио Тчу - итальянский инженер, китайского происхождения, лидер Olivetti Elea проекта
• Хайме Тиван
• Шан-Хуа Тэн - анализ алгоритмов
• Ларри Теслер - взаимодействие человека с компьютером, графический пользовательский интерфейс, Apple Macintosh
• Ави Теванян - команда разработчиков ядра Mach, NeXT, Mac OS X
• Чарльз П. Такер - Xerox Alto , Microsoft Research
• Даниэль Тальманн - компьютерная графика , виртуальный актер
• Кен Томпсон - Unix
• Себастьян Трун - исследователь искусственного интеллекта, пионер автономного вождения
• Уолтер Ф. Тихи - RCS
• Сейноске Тода - сложность вычислений, лауреат премии Гёделя 1998 г.
• Линус Торвальдс - ядро Linux, Git
• Леонардо Торрес и Кеведо (1852–1936) - изобрел Эль Аджедресиста ( шахматиста ) в 1912 году, настоящий автомат, созданный для игры в шахматы без руководства человека. В своей работе « Очерки автоматики» (1913) ввел идею арифметики с плавающей запятой . В 1920 г. построил первое электромеханическое устройство аналитической машины .
• Годфрид Туссен - вычислительная геометрия, вычислительная теория музыки
• Глория Таунсенд
• Эдвин Э. Тозер - информационные системы для бизнеса
• Джозеф Ф. Трауб - вычислительная сложность научных задач
• Джон В. Такер - теория вычислимости
• Джон Тьюки - основатель алгоритма БПФ , ящичной диаграммы , исследовательского анализа данных и придания термина «бит»
• Алан Тьюринг (1912–1954) - британский пионер вычислительной техники, машина Тьюринга , алгоритмы , криптология, компьютерная архитектура
• Дэвид Тернер - SASL , Рекурсивный калькулятор Кента , Миранда , член IFIP WG 2.1
• Мюррей Турофф - компьютерное общение

U [ править ]

• Джеффри Д. Уллман - компиляторы, базы данных, теория сложности
• Умар Саиф

V [ править ]

• Лесли Валиант - теории сложности вычислений , вычислительной теории обучения
• Владимир Вапник - распознавание образов , теория вычислительного обучения
• Моше Варди - профессор информатики в Университете Райса
• Дороти Воан
• Умеш Вазирани
• Мануэла М. Велозу
• Франсуа Вернадат - моделирование предприятий
• Ричард Верьярд - моделирование предприятий
• Сергей Вилкомир - тестирование программного обеспечения , RC / DC
• Пол Витани - сложность Колмогорова , информационное расстояние , нормализованное расстояние сжатия , нормализованное расстояние Google
• Эндрю Витерби - алгоритм Витерби
• Джеффри Скотт Виттер - внешние памяти алгоритмы, сжатые структуры данных , сжатие данных , базы данных ,
• Пол Викси - DNS , BIND , PAIX , Консорциум интернет-программного обеспечения , MAPS , DNSBL

W [ править ]

• Эйити Вада - ALGOL N , член IFIP WG 2.1 , Японские промышленные стандарты (JIS) X 0208, 0212, Happy Hacking Keyboard
• Давид Вагнер - безопасность, криптография
• Дэвид Вальц
• Джеймс З. Ван
• Стив Уорд
• Манфред К. Вармут - теория вычислительного обучения
• Дэвид HD Уоррен - ИИ , логическое программирование , Пролог , Абстрактная машина Уоррена (WAM)
• Кевин Уорвик - искусственный интеллект
• Ян Вегларц
• Питер Вегнер - объектно-ориентированное программирование , взаимодействие (информатика)
• Джозеф Генри Вегштейн - член ALGOL 58 , ALGOL 60 , IFIP WG 2.1 , технические стандарты обработки данных , анализ отпечатков пальцев
• Питер Дж. Вайнбергер - дизайн языка программирования, буква w в AWK
• Марк Вайзер - вездесущие вычисления
• Джозеф Вайценбаум - искусственный интеллект, ELIZA
• Дэвид Уиллер - EDSAC, подпрограммы
• Франклин Х. Вестервельт - использование компьютеров в инженерном образовании, использование компьютеров в разговоре, Michigan Terminal System (MTS), ARPANET , дистанционное обучение
• Стив Уиттакер - взаимодействие человека с компьютером , компьютерная поддержка совместной работы, социальные сети
• Дженнифер Видом - нетрадиционное управление данными
• Gio Wiederhold - системы управления базами данных
• Норберт Винер - Кибернетика
• Адриан ван Вейнгаарден - голландский пионер; Член ARRA, ALGOL , IFIP WG 2.1
• Мэри Аллен Уилкс - разработчик LINC , конструктор ассемблера-компоновщика
• Морис Винсент Уилкс - микропрограммирование, EDSAC
• Йорик Уилкс - вычислительная лингвистика , искусственный интеллект
• Джеймс Х. Уилкинсон - численный анализ
• Софи Уилсон - архитектура ARM
• Алгоритм Шмуэля Винограда - Копперсмита – Винограда
• Терри Виноград - искусственный интеллект, SHRDLU
• Патрик Уинстон - искусственный интеллект
• Никлаус Вирт - ALGOL W , член IFIP WG 2.1 , Pascal , Modula , Oberon
• Нил Вайзман - компьютерная графика
• Деннис Э. Висноски - Интегрированное автоматизированное производство (ICAM), IDEF
• Стивен Вольфрам - Mathematica
• Майк Вудгер - Pilot ACE , ALGOL 60 , Ada (язык программирования)
• Филипп Вудворд - функция двусмысленности , синк функция , оператор расчески, оператор респ , Алгол 68-R
• Беатрис Хелен Уорсли - написала первую докторскую диссертацию с использованием современных компьютеров; был одним из тех, кто написал Transcode
• Стив Возняк - разработал персональные компьютеры первого поколения в Apple Computer
• Цзе Ву - компьютерные сети
• Уильям Вульф - составители

Д [ редактировать ]

• Михалис Яннакакис
• Эндрю Чи-Чи Яо
• Джон Йен
• Нобуо Йонеды - Йонеды лемма , Йонеды продукт , Алгол , МФОИ WG 2,1 член
• Эдвард Йордон - Метод анализа и проектирования структурных систем
• Моти Юнг

Z [ править ]

• Лотфи Заде - нечеткая логика
• Hans Zantema - анализ прерывания
• Ариф Заман - генератор псевдослучайных чисел
• Стэнли Здоник - системы управления базами данных
• Хусейн Зедан - формальные методы и системы реального времени
• Шломо Зильберштейн - искусственный интеллект, алгоритмы работы в любое время , автоматическое планирование и децентрализованные POMDP
• Джилл Циммерман - профессор математики и информатики Джеймса М. Билла в колледже Гушер
• Конрад Цузе - немецкий пионер аппаратного и программного обеспечения

См. Также [ править ]

Ссылки [ править ]

Внешние ссылки [ править ]

Викискладе есть медиафайлы, связанные с компьютерными учеными .

• CiteSeer список самых цитируемых авторов в области информатики
• Компьютерные специалисты с индексом Хирша> = 40