Відомі інформатики та їх внесок у галузь

Текст присвячено дослідникам, чиї ідеї сформували інформатику як науку та інженерну дисципліну. Їхні моделі обчислень, алгоритми й апаратні рішення стали фундаментом сучасних цифрових систем.

Постаті, що дійсно визначили розвиток інформатики

Алан Тюрінг

Тюрінг розробив абстрактну модель машини, яка стала основою теорії алгоритмів. Його робота в криптоаналізі під час Другої світової війни прискорила розвиток обчислювальних пристроїв. Цікаво, що ранні дослідження Тюрінга торкались питань штучного інтелекту — він поставив питання, чи може машина мислити, сформулювавши тест, який досі обговорюють.

«Ми можемо лише сказати, що машина мислить, коли її поведінка неможливо відрізнити від поведінки людини». — Алан Тюрінг

Джон фон Нейман

Фон Нейман запропонував архітектуру комп’ютера зі спільною пам’яттю для даних і програм. Саме ця модель визначила вигляд більшості сучасних машин. Його дослідження у сфері теорії ігор та чисельних методів стали основою для моделювання складних систем.

Грейс Гоппер

Гоппер розробила ідею компілятора та сприяла появі мов програмування високого рівня. Вона стала однією з ключових постатей у створенні COBOL, мови, яка десятиліттями використовувалась у фінансових та адміністративних системах. Її підхід до абстракції коду зробив програмування доступнішим.

Дональд Кнут

Кнут систематизував алгоритми, створивши фундаментальну працю «Мистецтво програмування». Він дослідив складність алгоритмів, ввівши нотацію O-велике, яка сьогодні є стандартним інструментом аналізу. Його внесок охоплює також формальні мови та типографічну систему TeX.

Видатні дослідники у галузі інформатики

Роки життя Хто це Відкриття чи дослідження
1912–1954Алан ТюрінгМашина Тюрінга, теорія алгоритмів
1903–1957Джон фон НейманАрхітектура фон Неймана
1906–1992Грейс ГопперКомпілятор, COBOL
1938–Дональд КнутАналіз алгоритмів, TeX
1955–Тім Бернерс-ЛіWWW, URL, HTTP
1941–2019Фредерік БруксМенеджмент ПЗ, «людино-місяць»
1953–Джеффрі УллманТеорія компіляції, СУБД
1942–Альфред АхоАлгоритми, Aho–Corasick
1937–Андрій КолмогоровСкладність Колмогорова
1939–Леслі ЛамппортАлгоритм Ламппорта, розподілені системи
1943–Вінтон СерфСтворення TCP/IP
1938–2013Денніс РітчіМова C, Unix
1941–Кен ТомпсонUnix, B-дерева
1949–Б'ярн СтрауструпC++
1956–Гвідо ван РоссумPython
1934–Едсгер ДейкстраАлгоритм Дейкстри, структурне програмування
1934–2015Джон МаккартіLISP, термін «AI»
1928–2021Моріс ВілксМікропрограмування
1930–Ніклаус ВіртPascal, Modula
1916–2001Річард ГеммінгКоди Геммінга
1944–Барбара ЛісковПринцип Лісков, абстракції типів
1952–Лінус ТорвальдсЯдро Linux
1949–Девід ПаттерсонRISC-архітектура
1939–2011Джон БакусFortran, BNF
1938–С. КукNP-повнота
1954–Ендрю ТаненбаумMINIX, мережеві моделі
1965–Джеймс ГослінгJava
1948–Роберт МеткалфEthernet
1930–Марвін МінськийШІ, нейромережі
1945–Стенлі МазорПроєктування мікропроцесорів Intel
1949–Вітфілд ДіффіДіффі–Геллман
1935–Мартін ГеллманКриптографія відкритих ключів
1949–Рон РівестRSA, RC4
1955–Аді ШамірRSA, Shamir Secret Sharing
1947–Леонард АдлеманRSA
1956–Джеффрі ДінMapReduce, інженерія Google
1973–Сан МікерАналітика інтернет-трендів
1957–Пітер НорвігПідручники AI, інженерія Google
1946–Джудія ПерлБаєсові мережі
1962–Ян ЛекунCNN, глибинне навчання
1967–Джеффрі ХінтонBackpropagation, нейромережі
1960–Йошуа БенджіоГлибинні моделі
1972–Ендрю ЕнґMachine Learning, онлайн-курси
1963–Тоні ХоарQuicksort, CSP, Hoare Logic
1945–Річард СтоллманGNU, вільне ПЗ

Цікавий факт
Одне з перших задокументованих «збоїв» комп’ютера було спричинене реальним метеликом, який застряг у реле машини Mark II. Грейс Гоппер приклеїла його до журналу, підписавши як «перший знайдений bug».

© arxweb.net - цитування з активним лінком, усі права застережено


Категорія: Статті | Переглядів: 12 | Додав: arxwin | Теги: інформатика | Рейтинг: 0.0/0
Усього коментарів: 0
Перевірка чи ви людина *:
Онлайн всього: 1
Гостей: 1
Користувачів: 0