WikiDer > Список компьютерных ученых - Википедия
Это список компьютерных ученых, люди, которые работают в Информатика, особенно исследователи и авторы.
Некоторые лица, известные как программисты включены сюда, потому что они работают как в исследовательской, так и в программной областях. Некоторые из этих людей появились раньше изобретение цифровой ЭВМ; теперь они считаются компьютерными специалистами, потому что их работа может рассматриваться как ведущая к изобретению компьютера. Другие - математики, чья работа относится к тому, что сейчас назвали бы теоретической информатикой, например теория сложности и алгоритмическая теория информации.
А
- Вил ван дер Аалст – управление бизнес-процессами, процесс добычи, Сети Петри
- Скотт Ааронсон – квантовые вычисления и теория сложности
- Rediet Abebe – алгоритмы, искусственный интеллект
- Хэл Абельсон - пересечение вычислений и обучения
- Серж Абитебул - теория баз данных
- Самсон Абрамский – семантика игры
- Леонард Адлеман – ЮАР, ДНК-вычисления
- Маниндра Агравал - полиномиальное время проверка на простоту
- Луис фон Ан – человеческие вычисления
- Альфред Ахо - книга составителей, буква "а" в AWK
- Фрэнсис Э. Аллен – оптимизация компилятора
- Джин Амдал – суперкомпьютер разработчик Amdahl Corporation основатель
- Дэвид П. Андерсон - волонтерские вычисления
- Лиза Энтони – естественные пользовательские интерфейсы
- Эндрю Аппель - составитель учебников
- Сесилия Р. Арагон - изобрел трогать, наука о данных, ориентированная на человека
- Брюс Арден - компиляторы языков программирования (GAT, Мичиганский алгоритм декодирования (MAD)), архитектура виртуальной памяти, Терминальная система Мичигана (МТС)
- Санджив Арора – Теорема PCP
- Уинифред "Тим" Элис Эспри - учредила учебную программу по информатике в Колледж Вассар
- Джон Винсент Атанасов - компьютерный пионер, создатель ABC или Atanasoff Berry Computer
B
- Чарльз Бэббидж (1791–1871) - изобрел первый механический компьютер, названный высшим математиком.
- Чарльз Бахман - американский ученый-компьютерщик, известный Интегрированное хранилище данных
- Роланд Карл Бэкхаус - математика компьютерная программа строительство, алгоритмический решение проблем, АЛГОЛ
- Джон Бэкус – FORTRAN, Форма Бэкуса – Наура, первый полный компилятор
- Дэвид Ф. Бэкон - языки программирования, сборка мусора
- Дэвид А. Бадер
- Виктор Баль
- Энтони Джеймс Барр – Система SAS
- Жан Бартик (1924–2011) - один из первых программисты, на ENIAC (1946), один из первых Вакуумная труба компьютеры, назад, когда "программирование" включало использование кабелей, регуляторов и переключателей для физического переподключения машины; работал с Джон Мочли к БИНАК (1949), EDVAC (1949), UNIVAC (1951), чтобы развить рано »сохраненная программа"компьютеры
- Эндрю Барто
- Фридрих Л. Бауэр – Стек (структура данных), Последовательный перевод формул, АЛГОЛ, программная инженерия, Теорема Бауэра – Фике.
- Рудольф Байер – B-дерево
- Гордон Белл (1934 г.р.) - компьютерный дизайнер DEC VAX, автор: Компьютерные структуры
- Стивен М. Белловин – сетевая безопасность
- Сесилия Бердичевская (1925 - 2010) аргентинский ученый-новатор
- Тим Бернерс-Ли – Всемирная паутина
- Дэниел Дж. Бернштейн - qmail, ПО как защищенная речь
- Питер Бернус
- Абхай Бхушан
- Dines Bjørner – Венский метод развития (VDM), ПОДНИМАТЬ
- Геррит Блаау - один из главных конструкторов IBM Система 360 линейка компьютеров
- Сью Блэк
- Дэвид Блей
- Дороти Блюм – Национальное Агенство Безопасности
- Ленор Блюм – сложность
- Мануэль Блюм – криптография
- Барри Бем - экономика программной инженерии, спиральная разработка
- Коррадо Бём - автор теоремы о структурированной программе
- Курт Боллакер
- Джефф Бонвик - изобрел размещение плиты и ZFS
- Грэди Буч – Единый язык моделирования, Группа управления объектами
- Джордж Буль – Логическая логика
- Эндрю Бут - разработан первый вращающийся барабан запоминающее устройство
- Кэтлин Бут - разработан первый язык ассемблера
- Анита Борг (1949–2003) - американский ученый-компьютерщик, основатель Институт женщин и технологий Аниты Борг
- Берт Бос – Каскадные таблицы стилей
- Михаил Ботвинник - Чемпион мира по шахматам, ученый-компьютерщик и инженер-электрик, рано начавший экспертная система AI и компьютерные шахматы
- Джонатан Боуэн – Обозначение Z, формальные методы
- Стивен Р. Борн – Оболочка Борна, портативный АЛГОЛ 68C компилятор
- Гарри Бауман (1953 г.р.) - голландский исследователь информационных систем, профессор Университета Або Академи
- Роберт С. Бойер - поиск по строке, Программа доказательства теорем ACL2
- Карлхайнц Бранденбург - Главный mp3 участник
- Лоуренс М. Брид - реализация Iverson Notation (APL), совместно разработанная APL\360, Корпорация научного разделения времени соучредитель
- Джек Э. Брезенхэм - ранние разработки компьютерной графики, в том числе Алгоритм Брезенхема
- Сергей Брин - соучредитель Google
- Дэвид Дж. Браун – унифицированная архитектура памяти, двоичная совместимость
- Пер Бринч Хансен (фамилия "Бринч Хансен") - параллелизм
- Сяак Бринкемпер - методология разработки программного обеспечения продукта
- Фред Брукс – Система 360, OS / 360, Мифический человеко-месяц, Нет серебряной пули
- Род Брукс
- Майкл Батлер – Событие-B
C
- Трейси Кэмп – беспроводные вычисления
- Мартин Кэмпбелл-Келли – история вычислений
- Розмарин Кэндлин
- Брайан Кэнтрилл - изобрел DTrace
- Лука Карделли –
- Джон Кармак - кодовая разработка Рок
- Эдвин Кэтмелл – компьютерная графика
- Винтон Серф - Интернет, TCP / IP
- Григорий Чайтин
- Чжоу Чаочен – расчет продолжительности
- Питер Чен – модель сущность-связь, моделирование данных, концептуальная модель
- Леонардо Кьяриглионе - Основатель MPEG
- Трейси Чоу - компьютерный ученый и активист
- Церковь Алонсо - математика комбинаторов, лямбда-исчисление
- Альберто Чьярамелла – распознавание речи, патентная информатика
- Эдмунд М. Кларк – проверка модели
- Джон Кок – RISC
- Эдгар Ф. Кодд (1923–2003) - сформулировал база данных реляционная модель
- Жак Коэн - профессор информатики
- Саймон Колтон – вычислительное творчество
- Ален Колмерауэр – Пролог
- Дуглас Комер - Xinu
- Пол Джастин Комптон – Правила Ripple Down
- Гордон Кормак - соавторство динамическое марковское сжатие
- Стивен Кук – NP-полнота
- Джеймс Кули – Быстрое преобразование Фурье (БПФ)
- Данезе Купер – программное обеспечение с открытым исходным кодом
- Фернандо Х. Корбато – Совместимая система разделения времени (CTSS), Мультики
- Kit Cosper - программное обеспечение с открытым исходным кодом
- Патрик Кузо – абстрактная интерпретация
- Ингемар Кокс – цифровые водяные знаки
- Сеймур Крей – Cray Research, суперкомпьютер
- Нелло Кристианини - машинное обучение, анализ паттернов, искусственный интеллект
- Джон Кроукрофт - нетворкинг
- В. Брюс Крофт
- Глен Каллер - интерактивные вычисления, компьютерная графика, высокопроизводительные вычисления
- Хаскелл Карри
D
- Луиджи Дадда - дизайнер Дадда множитель
- Оле-Йохан Даль – Симула, объектно-ориентированного программирования
- Райан Даль - Основатель node.js проект
- Андрис ван Дам – компьютерная графика, гипертекст
- Самир Дас – Беспроводные сети, Мобильные вычисления, Автомобильная сеть ad hoc, Сенсорные сети, Ячеистая сеть, Беспроводная специальная сеть
- Нил Дасвани – компьютерная безопасность, соучредитель и содиректор Stanford Advanced Computer Security Program, соучредитель Dasient (приобретенного Twitter), бывший руководитель отдела информационной безопасности LifeLock и подразделения Symantec Consumer Business Unit
- Кристофер Дж. Дат - сторонник база данных реляционная модель
- Джефф Дин – Большой стол, Уменьшение карты, Гаечный ключ Google
- Эрик Демейн – вычислительное оригами
- Том ДеМарко
- Ричард ДеМилло – компьютерная безопасность, программная инженерия, образовательная технология
- Дороти Э. Деннинг - компьютерная безопасность
- Питер Дж. Деннинг - выявлено использование Операционная системас рабочий набор и баланс, президент ACM
- Майкл Дертузос - Директор Массачусетский Институт Технологий (MIT) Лаборатория компьютерных наук (LCS) с 1974 по 2001 год
- Александр Дьюдни
- Роберт Дьюар – IFIP WG 2.1 член, АЛГОЛ 68, председатель; AdaCore соучредитель, президент, генеральный директор
- Винод Дхам – P5 Pentium процессор
- Ян Диц (1945 г.р.) (постоянная распада) – информационные системы теория и Методология проектирования и инжиниринга для организаций
- Уитфилд Диффи (1944 г.р.) (функция линейного отклика) - открытый ключ криптография, Обмен ключами Диффи – Хеллмана
- Эдсгер Дейкстра – алгоритмы, Алгоритм Дейкстры, Перейти к заявлению, которое считается вредным, семафор (программирование), IFIP WG 2.1 член
- Мэтью Диллон – DragonFly BSD с LWKT, vkernel Виртуализация на уровне ОС, файловые системы: МОЛОТОК1, МОЛОТОК2
- Алан Дикс - написал важный учебник университетского уровня по взаимодействие человека с компьютером
- Джек Донгарра – линейная алгебра высокопроизводительные вычисления (HCI)
- Марко Дориго – оптимизация колонии муравьев
- Пол Дуриш – взаимодействие человека с компьютером
- Чарльз Старк Дрейпер (1901–1987) - конструктор Компьютер наведения Apollo, "отец инерциальная навигация", Профессор Массачусетского технологического института
- Сьюзан Дюмэ – поиск информации
- Джон Майкл Данн - декан-основатель Школы информатики Университета Индианы, особенно информационной логики логика релевантности
- Шахрам Дустдар - Распределенные системы, TU Wien, Австрия
E
- Питер Идс – рисунок графика
- Энни Дж. Изли
- Вим Эббинкхейсен – КОБОЛ
- Джон Преспер Эккерт – ENIAC
- Брендан Эйх – JavaScript, Mozilla
- Филип Эмеагвали - суперкомпьютеры
- Э. Аллен Эмерсон - проверка модели
- Дуглас Энгельбарт - плиточный окна, гипертекст, компьютерная мышь
- Дэвид Эппштейн
- Андрей Ершов - языки АЛЬФА, Рапира; первый советский совместное времяпровождение система АИСТ-0, электронная издательская система ВБИВАТЬ В ГОЛОВУ, многопроцессорность рабочая станция MRAMOR, IFIP WG 2.1 член, Эстетика и человеческий фактор в программировании
- Дон Эстридж (1937–1985) - руководил разработкой оригинального Персональный компьютер IBM (ПК); известный как "отец IBM PC"
- Орен Эциони – MetaCrawler, Netbot
- Кристофер Рич Эванс
- Дэвид С. Эванс – компьютерная графика
- Шимон Эвен
F
- Скотт Фальман
- Эдвард Фейгенбаум – интеллект
- Эдвард Фелтен – компьютерная безопасность
- Тим Финин
- Рафаэль Финкель
- Дональд Файресмит
- Гэри Уильям Флейк
- Томми Флауэрс – Колосс компьютер
- Роберт Флойд – NP-полнота
- Салли Флойд - Контроль перегрузки интернета
- Лоуренс Дж. Фогель – эволюционное программирование
- Джеймс Д. Фоули
- Кен Форбус
- Л. Р. Форд-младший
- Лэнс Фортноу
- Мартин Фаулер
- Роберт Франс
- Герберт В. Франке
- Эдвард Фредкин
- Йоав Фройнд
- Дэниел П. Фридман
- Шарлотта Фрезе Фишер - вычислительная теоретическая физика
- Пинг Фу
- Д. Р. Фулкерсон
грамм
- Ричард П. Габриэль – Маклисп, Common Lisp, Чем хуже, тем лучше, Лига свободы программирования, Lucid Inc., XEmacs
- Цви Галил
- Бернард Галлер – MAD (язык программирования)
- Эктор Гарсиа-Молина
- Майкл Гэри – NP-полнота
- Уго де Гарис
- Билл Гейтс - соучредитель Microsoft
- Дэвид Гелернтер
- Лиза Гелобтер - был директором по цифровым сервисам Министерства образования США, основателем teQuitable.
- Чарльз Гешке
- Зубин Гахрамани
- Санджай Гемават
- Джереми Гиббонс – общее программирование, функциональное программирование, формальные методы, вычислительная биология, биоинформатика
- Хуан Э. Гилберт – человеко-ориентированные вычисления
- Ли Джайлз – CiteSeer
- Сеймур Гинзбург – формальные языки, теория автоматов, Теория AFL, теория баз данных
- Роберт Л. Гласс
- Курт Гёдель – вычислимость; не компьютерный ученый как таковой, но его работа была бесценна в этой области
- Джозеф Гогуэн
- Э. Марк Голд – Определение языка в лимите
- Адель Голдберг – Болтовня
- Эндрю В. Гольдберг – алгоритмы, разработка алгоритмов
- Ян Голдберг - криптограф, обмен сообщениями не для записи
- Одед Гольдрайх – криптография, теория сложности вычислений
- Шафи Гольдвассер – криптография, теория сложности вычислений
- Гена Голуб – Матрица вычисление
- Мартин Чарльз Голумбик – алгоритмическая теория графов
- Gastón Gonnet - соучредитель Клен Ватерлоо Inc.
- Ян Гудфеллоу – машинное обучение
- Джеймс Гослинг - Новости, Ява
- Пол Грэм – Viaweb, На Лиспе, Дуга
- Роберт М. Грэм - компиляторы языков программирования (GAT, Мичиганский алгоритм декодирования (MAD)), архитектура виртуальной памяти, Мультики
- Сьюзан Л. Грэм – компиляторы, среды программирования
- Джим Грей – база данных
- Шейла Грейбах – Нормальная форма Грейбаха, Теория AFL
- Ральф Грисволд – СНОБОЛ
- Билл Гропп – Интерфейс передачи сообщений, PETSc
- Том Грубер – онтологическая инженерия
- Шелия Губерман – распознавание почерка
- Раманатан В. Гуха – RDF, Netscape, RSS, Эпинионы
- Нил Дж. Гюнтер – производительность компьютера анализ, планирование мощности
- Майкл Гай – Феникс, работа над теория чисел, компьютерная алгебра, высшее измерение многогранники теория; с Джон Хортон Конвей
ЧАС
- Филипп Маттеус Хан - механический калькулятор
- Элдон С. Холл – Компьютер наведения Apollo
- Венди Холл
- Джозеф Халперн
- Маргарет Гамильтон - сверхнадежный дизайн программного обеспечения
- Ричард Хэмминг – Код Хэмминга, основатель Ассоциация вычислительной техники
- Цзявэй Хан – сбор данных
- Фрэнк Харари – теория графов
- Юрис Хартманис – теория сложности вычислений
- Йохан Хастад – теория сложности вычислений
- Les Hatton – сбой программного обеспечения и уязвимости
- Игорь Гаврышкевич, (род. 1948) - американский ученый-компьютерщик и теоретик организации
- Он Цзифэн – доказуемо правильный системы
- Эрик Хенер – предикативное программирование, формальные методы, обозначение цитаты, АЛГОЛ
- Мартин Хеллман - шифрование
- Гернот Хайзер - развитие L4 и основатель ОК Labs
- Джеймс Хендлер – Семантическая сеть
- Джон Л. Хеннесси – компьютерная архитектура
- Эндрю Герберт
- Карл Хьюитт
- Дэнни Хиллис – Соединительная машина
- Джеффри Хинтон
- Юлия Хиршберг
- Тин Кам Хо – искусственный интеллект, машинное обучение
- К. А. Р. Хоар – логика, строгость, связь последовательных процессов (CSP)
- Бетти Холбертон – ENIAC программист, разработал первый Генератор слияния сортировки
- Джон Генри Холланд – генетические алгоритмы
- Герман Холлерит (1860–1929) - изобрел запись данных на машиночитаемый носитель с использованием перфокарты
- Джерард Хольцманн – проверка программного обеспечения, проверка логической модели (ВРАЩЕНИЕ)
- Джон Хопкрофт - компиляторы
- Адмирал Грейс Хоппер (1906–1992) - разработал ранние компиляторы: FLOW-Matic, КОБОЛ; работал над UNIVAC; выступила с речами по компьютерной истории, где раздала наносекунды
- Эрик Хорвиц – искусственный интеллект
- Элстон Хаусхолдер
- Пол Худак (1952–2015) – Haskell языковой дизайн
- Дэвид А. Хаффман (1925–1999) – Кодирование Хаффмана, используется при сжатии данных
- Джон Хьюз - структурирование вычислений с стрелки; Быстрая проверка структура рандомизированного тестирования программ; Haskell языковой дизайн
- Роджер Хуэй - соавтор J язык
- Уоттс Хамфри (1927–2010) – Персональный программный процесс (PSP), Качество программного обеспечения, Командный программный процесс (TSP)
я
- Жан Ичбия – Ада
- Дэн Ингаллс – Болтовня, BitBlt, Живое ядро
- Мэри Джейн Ирвин
- Кеннет Э. Айверсон – APL, J
J
- Ивар Якобсон – Единый язык моделирования, Группа управления объектами
- Анил К. Джайн (родился в 1948 году)
- Рамеш Джайн
- Джонатан Джеймс
- Дэвид С. Джонсон
- Стивен С. Джонсон
- Клифф Джонс – Венский метод развития (VDM)
- Майкл И. Джордан
- Матай Джозеф
- Аравинд К. Джоши
- Билл Джой (родился в 1954 г.) - Sun Microsystems, BSD UNIX, vi, csh
- Дэн Джурафски - обработка естественного языка
K
- Уильям Кахан – числовой анализ
- Роберт Э. Кан – TCP / IP
- Авинаш Как – цифровая обработка изображений
- Поул-Хеннинг Камп - изобрел GBDE, FreeBSD Jails, Лаковый кеш
- Дэвид Каргер
- Ричард Карп – NP-полнота
- Нарендра Кармаркар – Алгоритм Кармаркара
- Марек Карпински - Задачи оптимизации NP
- Тед Келер – Болтовня, Писк, HyperCard
- Алан Кей – Dynabook, Болтовня, перекрытие окна
- Нирадж Каял – Тест на простоту AKS
- Джон Джордж Кемени – БАЗОВЫЙ
- Кен Кеннеди - компиляция для параллельных и векторных машин
- Брайан Керниган (1942 г.р.) - Unix, "к" в AWK
- Карл Кессельман – сеточные вычисления
- Грегор Кичалес – ЗАКРЫТЬ, отражение, аспектно-ориентированное программирование
- Питер Т. Кирштейн - Интернет
- Стивен Коул Клини – Клини закрытие, теория рекурсии
- Дэн Кляйн – Обработка естественного языка, Машинный перевод
- Леонард Клейнрок – ARPANET, теория массового обслуживания, коммутация пакетов, иерархическая маршрутизация
- Дональд Кнут – Искусство программирования, СМЕШИВАНИЕ/MMIX, TeX, грамотное программирование
- Эндрю Кениг – C ++
- Дафна Коллер – Искусственный интеллект, байесовская сеть
- Михаэль Келлинг – BlueJ
- Андрей Николаевич Колмогоров – теория алгоритмической сложности
- Джанет Л. Колоднер – аргументация по делу
- Дэвид Корн – KornShell
- Кис Костер – АЛГОЛ 68
- Роберт Ковальски – логическое программирование
- Джон Коза – генетическое программирование
- Джон Крогсти – SEQUAL каркас
- Джозеф Крускал – Алгоритм Краскала
- Томас Э. Курц (род. 1928) - БАЗОВЫЙ язык программирования; Компьютерный профессор Дартмутского колледжа
L
- Ричард Э. Ладнер
- Моника С. Лам
- Лесли Лэмпорт – алгоритмы за распределенных вычислений, Латекс
- Батлер Лэмпсон – SDS 940, Основатель Xerox PARC, Xerox Alto, Премия Тьюринга
- Питер Ландин – Я ПЛАВАЮ, Оператор J, Машина SECD, вне игры, синтаксический сахар, АЛГОЛ, IFIP WG 2.1 член, продвинутый лямбда-исчисление моделировать языки программирования (помог функциональное программирование), денотационная семантика
- Том Лейн – Независимая группа JPEG, PostgreSQL, Переносимая сетевая графика (PNG)
- Бёрье Лангефорс
- Крис Латтнер - создатель Swift (язык программирования) и LLVM инфраструктура компилятора
- Стив Лоуренс
- Эдвард Д. Лазовска
- Джошуа Ледерберг
- Мэнни М. Леман
- Чарльз Э. Лейзерсон – алгоритмы без кешированиядоказуемо хорошо воровство, соавтор Введение в алгоритмы
- Дуглас Ленат – искусственный интеллект, Цикл
- Янн ЛеКун
- Расмус Лердорф – PHP
- Макс Левчин – Тест Гаузбека – Левчина и PayPal
- Леонид Левин – теория сложности вычислений
- Кевин Лейтон-Браун – искусственный интеллект
- J.C.R. Ликлайдер
- Дэвид Лиддл
- Джон Лайонс – Комментарий Льва к 6-му изданию UNIX с исходным кодом (Книга львов)
- Чарльз Х. Линдси – IFIP WG 2.1 член Пересмотренный отчет о АЛГОЛ 68
- Ричард Дж. Липтон – теория сложности вычислений
- Барбара Лисков – языки программирования
- Даррелл Лонг – компьютерное хранилище данных
- Патрисия Д. Лопес - расширение участия в вычислениях
- Джиллиан Лавгроув
- Ада Лавлейс - первый программист
- Дэвид Лакхэм – Лисп, Автоматическое доказательство теорем, Стэнфорд Паскаль Верификатор, Обработка сложных событий, Рациональное программное обеспечение соучредитель (Ада компилятор)
- Евгений Лукс
- Нэнси Линч
M
- Надя Магненат Тельманн – компьютерная графика, виртуальный актер
- Том Майбаум
- Зохар Манна – нечеткая логика
- Джеймс Мартин – информационная инженерия
- Роберт С. Мартин (дядя Боб) – мастерство программного обеспечения
- Джон Маши
- Юрий Матиясевич - решение Десятая проблема Гильберта
- Юкихиро Мацумото – Ruby (язык программирования)
- Джон Мочли (1907–1980) - разработан ENIAC, первый электронный цифровой компьютер общего назначения, а также EDVAC, BINAC и UNIVAC I, первый коммерческий компьютер; работал с Жан Бартик на ENIAC и Грейс Мюррей Хоппер на UNIVAC
- Дерек МакАули – повсеместные вычисления, компьютерная архитектура, нетворкинг
- Джон Маккарти – Лисп (язык программирования), АЛГОЛ, IFIP WG 2.1 член, искусственный интеллект
- Эндрю МакКаллум
- Дуглас Макилрой – макросы, трубы, Философия Unix
- Крис МакКинстри – искусственный интеллект, Mindpixel
- Маршалл Кирк МакКусик – BSD, Быстрая файловая система Беркли
- Ламберт Меертенс – АЛГОЛ 68, ABC (язык программирования)
- Курт Мельхорн - алгоритмы, структуры данных, LEDA
- Бертран Мейер – Eiffel (язык программирования)
- Сильвио Микали – криптография
- Робин Милнер – ML (язык программирования)
- Джек Минкер - логика базы данных
- Марвин Мински – искусственный интеллект, перцептроны, Общество разума
- Том М. Митчелл
- Пол Мокапетрис – система доменных имен (DNS)
- Клив Молер – числовой анализ, MATLAB
- Фарон Моллер – теория параллелизма
- Джон П. Мун – изобретатель, Apple Inc.
- Чарльз Х. Мур – Четвертый язык
- Эдвард Ф. Мур – Машина Мура
- Гордон Мур – Закон Мура
- Дж. Стротер Мур - поиск по строке, Программа доказательства теорем ACL2
- Роджер Мур - совместно разработан APL 360, создано IPSANET, соучредитель I. P. Sharp Associates
- Ганс Моравец - робототехника
- Кэрролл Морган
- Роберт Таппан Моррис – Червь Морриса
- Джоэл Моисей – Macsyma
- Раджив Мотвани – рандомизированный алгоритм
- Стивен Магглетон – Индуктивное логическое программирование
- Алан Майкрофт - языки программирования
N
- Михай Надин - исследование предвкушения
- Макото Нагао - машинный перевод, обработка естественного языка, электронная библиотека
- Frieder Nake - пионер компьютерного искусства
- Бонни Нарди - взаимодействие человека с компьютером
- Питер Наур – Форма Бэкуса – Наура (BNF), АЛГОЛ 60, IFIP WG 2.1 член
- Роджер Нидхэм - компьютерная безопасность
- Джеймс Дж. Нелл – ГЕРАМ
- Бернар де Нойман - автономный сотовый процессор с массовым параллелизмом, исследования в области разработки программного обеспечения
- Клара Дэн фон Нейман (1911–1963) - ранние компьютеры, ENIAC программист и проектировщик управления
- Джон фон Нейман (1903–1957) - ранние компьютеры, машина фон Неймана, теория множеств, функциональный анализ, пионер математики, линейное программирование, квантовая механика
- Аллен Ньюэлл – искусственный интеллект, Компьютерные структуры
- Макс Ньюман – Колосс компьютер, MADM
- Эндрю Нг – искусственный интеллект, машинное обучение, робототехника
- Нильс Нильссон – искусственный интеллект
- Г. Nijssen - Методология анализа информации Nijssen (NIAM) объектно-ролевое моделирование
- Тобиас Нипков - доказательная помощь
- Морис Нива – теоретическая информатика, Теоретическая информатика журнал АЛГОЛ, IFIP WG 2.1 член
- Пхива Нкамбуле – Финтех, искусственный интеллект, машинное обучение, робототехника
- Джерр Ноэ - компьютеризированный банкинг
- Питер Нордин – искусственный интеллект, генетическое программирование, эволюционная робототехника
- Дональд Норман – пользовательские интерфейсы, удобство использования
- Питер Норвиг – искусственный интеллект, Директор по исследованиям Google
- Георгий Новацкий - Университет Питтсбурга: ассистент кафедры, старший преподаватель информатики, заместитель декана КАС по бакалавриату
- Кристен Найгаард – Симула, объектно-ориентированного программирования
О
- Мартин Одерский – Scala язык программирования
- Питер О'Хирн – логика разделения, связная логика, Статический анализатор Infer
- Т. Уильям Олле - Ферранти Меркьюри
- Стив Омохундро
- Северо Орнштейн
- Джон О'Салливан – Вай фай
- Джон Остерхаут – Tcl язык программирования
- Марк Овермарс – видео игра программирование
п
- Ларри Пейдж - соучредитель Google
- Санкар Пал
- Паритош Пандья
- Христос Пападимитриу
- Давид Парнас – скрытие информации, модульное программирование
- DJ Патил - бывший главный научный сотрудник США
- Йельский Патт – Параллелизм на уровне инструкций, спекулятивные архитектуры
- Дэвид А. Паттерсон
- Михай Пэтрашку – структуры данных
- Лоуренс Полсон – ML
- Рэнди Пауш (1960–2008) – взаимодействие человека с компьютером, Профессор Карнеги "Последняя лекция"
- Хуан Павон – программные агенты
- Жемчужина Иудеи – искусственный интеллект, алгоритмы поиска
- Дэвид Пирсон – CADES, компьютерная графика
- Алан Перлис – Жемчуг программирования
- Радия Перлман – протокол связующего дерева
- Пьер Джорджио Перотто - компьютерный дизайнер в Olivetti, дизайнер Programma 101 программируемый калькулятор
- Рожа Петер – теория рекурсивных функций
- Саймон Пейтон Джонс – функциональное программирование
- Кэти Фам - данные, искусственный интеллект, гражданские технологии, здравоохранение, этика
- Роберто Пьерачини - речевой технолог, технический директор Google
- Гордон Плоткин
- Амир Пнуели – темпоральная логика
- Виллем ван дер Поэль - компьютерная графика, робототехника, геоинформационные системы, изображения, мультимедиа, виртуальные среды, игры
- Сисели Попплуэлл (1920–1995) - британский инженер-программист в 1960-е гг.
- Эмиль Пост - математика
- Джон Постел - Интернет
- Франко Препарата – компьютерная инженерия, вычислительная геометрия, параллельные алгоритмы, вычислительная биология
- Уильям Х. Пресс - численные алгоритмы
р
- Рапеланг Рабана
- Роберто Иерусалимши – Lua (язык программирования)
- Майкл О. Рабин – недетерминированная машина
- Драгомир Р. Радев – обработка естественного языка, поиск информации
- Т. В. Раман – доступность, Emacspeak
- Брайан Рэнделл – АЛГОЛ 60, программного обеспечения Отказоустойчивость, надежность, до 1950 г. история вычислительной техники
- Андерс П. Равн – Расчет продолжительности
- Радж Редди – искусственный интеллект
- Дэвид П. Рид
- Трюгве Реенскауг – модель – представление – контроллер (MVC) шаблон архитектуры программного обеспечения
- Джон С. Рейнольдс – продолжения, дефиниционные переводчики, дефункционализация, Форсайт, Геданкенский язык, типы пересечений, полиморфное лямбда-исчисление, реляционный параметричность, логика разделения, АЛГОЛ
- Джойс К. Рейнольдс - Интернет
- Бернард Ричардс – медицинская информатика
- Мартин Ричардс - BCPL
- Адам Ризе
- К. Дж. Ван Рейсберген
- Деннис Ричи – C (язык программирования), Unix
- Рон Ривест – ЮАР, MD5, RC4
- Колетт Роллан - Методология РЕМОРА, мета-моделирование
- Джон Ромеро - кодовая разработка Рок
- Азриэль Розенфельд
- Дуглас Т. Росс - Автоматически программируемые инструменты (APT), Системы автоматизированного проектирования, структурированный анализ и методика проектирования, АЛГОЛ X
- Гвидо ван Россум – Python (язык программирования)
- Уинстон В. Ройс - модель водопада
- Руди Ракер - математик, писатель, педагог
- Стивен Рудич - теория сложности, криптография
- Джефф Рулифсон
- Джеймс Рамбо – Единый язык моделирования, Группа управления объектами
- Петр Ружичка - словацкий специалист в области информатики и математик
S
- Джордж Садовски
- Умар Саиф
- Джерард Солтон – поиск информации
- Жан Э. Саммет – языки программирования
- Клод Саммут – искусственный интеллект Исследователь
- Карл Сассенрат – операционные системы, языки программирования, Amiga, REBOL
- Махадев Сатьянараянан – файловые системы, распределенные системы, Мобильные вычисления, всеобъемлющие вычисления
- Уолтер Сэвич - открытие класса сложности NL, Теорема савича, обработка естественного языка, математическая лингвистика
- Джонатан Шеффер
- Вильгельм Шикард - один из первых счетные машины
- Стив Шнайдер - формальные методы, безопасность
- Брюс Шнайер - криптография, безопасность
- Фред Б. Шнайдер - параллельные и распределенные вычисления
- Гленда Шредер - оболочка командной строки, электронная почта
- Дана Скотт – теория предметной области
- Майкл Л. Скотт – языки программирования, алгоритмы, распределенных вычислений
- Роберт Седжвик - алгоритмы, структуры данных
- Рави Сетхи - составители, 2-е Книга Дракона
- Найджел Шэдболт
- Ади Шамир – ЮАР, криптоанализ
- Клод Шеннон – теория информации
- Дэвид Э. Шоу - вычислительные финансы, вычислительная биохимия, параллельные архитектуры
- Клифф Шоу - системный программист, искусственный интеллект
- Скотт Шенкер - нетворкинг
- Бен Шнейдерман – взаимодействие человека с компьютером, визуализация информации
- Эдвард Х. Шортлифф – МИЦИН (медицинская диагностическая экспертная система)
- Джозеф Сифакис - проверка модели
- Герберт А. Саймон – искусственный интеллект
- Муниндар П. Сингх – мультиагентные системы, программная инженерия, искусственный интеллект, социальные сети
- Рамеш Ситараман - помог построить Акамайвысокопроизводительная сеть
- Дэниел Слейтор – растопленное дерево, амортизированный анализ
- Аарон Сломан - искусственный интеллект и когнитивная наука
- Арне Сёльвберг - информационное моделирование
- Брайан Кантуэлл Смит – отражение (информатика), 3лисп
- Стивен Спевак – планирование архитектуры предприятия
- Кэрол Спрэдлинг
- Роберт Спроул
- Рохини Кесаван Шрихари – поиск информации, аналитика текста, многоязычный анализ текста
- Саргур Шрихари – распознавание образов, машинное обучение, вычислительная криминология, КЕДР-ФОКС
- Мацей Стаховяк – ГНОМ, Сафари, WebKit
- Ричард Столмен (1953 г.р.) - Проект GNU
- Рональд Стампер
- Ричард Э. Стернс – теория сложности вычислений
- Гай Л. Стил-младший. – Схема, Common Lisp
- Томас Стерлинг - создатель Кластеры Беовульфа
- В. Ричард Стивенс (1951–1999) - автор книг, в том числе Иллюстрированный TCP / IP и Расширенное программирование в среде Unix
- Ларри Стокмейер - вычислительная сложность, распределенные вычисления
- Сальваторе Стольфо - компьютерная безопасность, машинное обучение
- Майкл Стоунбрейкер – реляционная база данных практика и теория
- Олаф Сторааслы – машина конечных элементов, линейная алгебра, высокопроизводительные вычисления
- Кристофер Стрейчи – денотационная семантика
- Фолькер Штрассен – матричное умножение, целочисленное умножение, Тест на простоту Соловея – Штрассена
- Бьярне Страуструп – C ++
- Мадху Судан – теория сложности вычислений, теория кодирования
- Джеральд Джей Сассман – Схема
- Берт Сазерленд – графика, Интернет
- Иван Сазерленд – графика
- Марио Сегеди – теория сложности, квантовые вычисления
Т
- Париса Тебриз - Технический директор Google, также известная как Security Princess
- Роберто Тамассия – вычислительная геометрия, компьютерная безопасность
- Эндрю С. Таненбаум – операционные системы, МИНИКС
- Остин Тейт – Искусственный интеллект Приложения, AI планирование, Виртуальные миры
- Бернхард Тальхейм - фундамент концептуального моделирования
- Эва Тардос
- Габор Тардос
- Роберт Тарджан - растопыренное дерево
- Валери Тейлор
- Марио Чоу - итальянский инженер китайского происхождения, руководитель Оливетти Элея проект
- Хайме Тиван
- Шан-Хуа Тэн - анализ алгоритмов
- Ларри Теслер - взаимодействие человека с компьютером, графический пользовательский интерфейс, 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, СВЯЗЫВАТЬ, PAIX, Консорциум интернет-программного обеспечения, КАРТЫ, DNSBL
W
- Эйити Вада – АЛГОЛ N, IFIP WG 2.1 член, Японские промышленные стандарты (JIS) X 0208, 0212, Happy Hacking Keyboard
- Давид Вагнер - безопасность, криптография
- Ларри Уолл – Perl язык программирования
- Дэвид Вальц
- Джеймс З. Ван
- Стив Уорд
- Манфред К. Вармут – теория вычислительного обучения
- Дэвид Х. Д. Уоррен – AI, логическое программирование, Пролог, Абстрактная машина Уоррена (WAM)
- Кевин Уорвик - искусственный интеллект
- Ян Вегларц
- Питер Вегнер – объектно-ориентированного программирования, взаимодействие (информатика)
- Джозеф Генри Вегштейн – АЛГОЛ 58, АЛГОЛ 60, IFIP WG 2.1 член, обработка данных технические стандарты, отпечаток пальца анализ
- Питер Дж. Вайнбергер - дизайн языка программирования, буква w в AWK
- Марк Вайзер – повсеместные вычисления
- Йозеф Вайценбаум - искусственный интеллект, ELIZA
- Дэвид Уиллер - EDSAC, подпрограммы
- Франклин Х. Вестервельт - использование компьютеров в инженерном образовании, разговорный компьютер, Терминальная система Мичигана (МТС), ARPANET, дистанционное обучение
- Стив Уиттакер – взаимодействие человека с компьютером, компьютерное сопровождение совместной работы, социальные медиа
- Дженнифер Видом - нетрадиционное управление данными
- Джио Видерхольд – системы управления базами данных
- Норберт Винер – Кибернетика
- Адриан ван Вейнгаарден - голландский первопроходец; ARRA, АЛГОЛ, IFIP WG 2.1 член
- Мэри Аллен Уилкс – LINC разработчик, ассемблер-компоновщик
- Морис Винсент Уилкс - микропрограммирование, EDSAC
- Йорик Уилкс – компьютерная лингвистика, искусственный интеллект
- Джеймс Х. Уилкинсон – числовой анализ
- Софи Уилсон – ARM архитектура
- Шмуэль Виноград – Алгоритм Копперсмита – Винограда
- Терри Виноград - искусственный интеллект, ШРДЛУ
- Патрик Уинстон - искусственный интеллект
- Никлаус Вирт – АЛГОЛ W, IFIP WG 2.1 член, Паскаль, Modula, Оберон
- Нил Уайзман - компьютерная графика
- Деннис Э. Висноски – Интегрированное автоматизированное производство (ICAM), IDEF
- Стивен Вольфрам – Mathematica
- Майк Вудгер – Пилотный ACE, АЛГОЛ 60, Ада (язык программирования)
- Филип Вудворд – функция неоднозначности, функция sinc, оператор гребня, оператор реп, АЛГОЛ 68-R
- Беатрис Хелен Уорсли - написал первую кандидатскую диссертацию на современных компьютерах; был одним из тех, кто написал Перекодировать
- Стив Возняк - разработал персональные компьютеры первого поколения в Apple Computer
- Цзе Ву – компьютерная сеть
- Уильям Вульф - компиляторы
Y
- Михалис Яннакакис
- Эндрю Чи-Чи Яо
- Джон Йен
- Нобуо Йонеда – Лемма Йонеды, Йонеда продукт, АЛГОЛ, IFIP WG 2.1 член
- Эдвард Йордон – Структурный системный анализ и метод проектирования
- Моти Юнг
Z
- Лотфи Заде – нечеткая логика
- Ханс Зантема – анализ прекращения
- Ариф Заман – псевдослучайное число генератор
- Хусейн Зедан – формальные методы и системы реального времени
- Шломо Зильберштейн - искусственный интеллект, в любое время алгоритмы, автоматизированное планирование, и децентрализованный POMDP
- Джилл Циммерман - Джеймс М. Билл, профессор математики и компьютерных наук в Goucher College
- Конрад Зузе - Немецкий пионер аппаратного и программного обеспечения
Смотрите также
- Список вычислительных людей
- Список важных публикаций по информатике
- Список американских евреев-компьютерщиков
- Список членов Национальной академии наук (компьютерные и информационные науки)
- Список пионеров информатики
- Список программистов
- Список исследователей языков программирования
- Список российских ИТ-разработчиков
- Список словенских компьютерных ученых
- Список индийских компьютерных ученых
Рекомендации
внешняя ссылка
Викискладе есть медиафайлы по теме Компьютерные ученые. |