Темы

Теоретическая информатика

Theoretical Computer Science · 49 статей

  1. Брайан Керниган: Пионер информатики и создатель языков программирования

    Брайан Керниган: канадский ученый, автор Unix-программ (ditroff, AWK, AMPL) и соавтор языка C (K&R). Разработчик алгоритмов оптимизации (Kernighan–Lin).

    #851 · 2 мин чтения

  2. Дональд Кнут: Пионер информатики и создатель TeX

    Дональд Кнут: вклад в анализ алгоритмов, разработка TeX, METAFONT и языков программирования WEB/CWEB. Основы теории вычислительной сложности.

    #1847 · 6 мин чтения

  3. Дискретная математика: обзор и применение

    Дискретная математика: изучение структур, состоящих из отдельных элементов (целые числа, графы, логика). Отличие от непрерывной математики и её применение.

    #1956 · 9 мин чтения

  4. Роберт Тарьян: Жизнь и научные достижения

    Роберт Тарьян: биография, вклад в информатику и математику. Алгоритмы графов, splay-деревья, Fibonacci-кучи. Профессор Принстонского университета.

    #10862 · 2 мин чтения

  5. Рональд Ривест: Пионер современной криптографии

    Рональд Ривест – американский криптограф, соавтор алгоритма RSA и разработчик шифров RC2, RC4, RC5, RC6. Вклад в криптографию и машинное обучение.

    #15726 · 3 мин чтения

  6. Дэниел Доминик Каплан Слейтор: Биография и достижения

    Дэниел Слитор – известный американский ученый в области компьютерных наук, пионер амортизированного анализа и создатель структур данных (splay trees и др.).

    #49152 · 1 мин чтения

  7. Информатика: Обзор и руководство по дисциплине

    Компьютерные науки: теория вычислений, алгоритмы, структуры данных и применение в компьютерных системах. Обзор и классификация ACM.

    #51830 · 2 мин чтения

  8. Лесли Лампорт: Пионер распределенных систем и создатель LaTeX

    Лесли Лампорт: учёный в области распределённых систем, создатель LaTeX и лауреат премии Тьюринга 2013 года. Алгоритмы, надёжность, верификация систем.

    #57333 · 3 мин чтения

  9. Роберт Седжвик: Биография и вклад в информатику

    Роберт Седжвик – видный американский ученый-компьютерщик, профессор Принстонского университета. Алгоритмы, структуры данных, аналитическая комбинаторика.

    #64587 · 4 мин чтения

  10. Леонард Адлеман: Пионер криптографии и ДНК-вычислений.

    Леонард Адлеман: американский ученый-компьютерщик, соавтор RSA шифрования и пионер ДНК-вычислений. Лауреат премии Тьюринга 2002 года. Биография и вклад в науку.

    #67142 · 2 мин чтения

  11. Ричард Карп: Жизнь и вклад в компьютерную науку.

    Ричард Карп: биография выдающегося американского математика, вклад в теорию NP-полноты, комбинаторные алгоритмы и вероятностные методы в информатике.

    #74517 · 2 мин чтения

  12. Джон Хопкрофт: выдающийся ученый в области информатики

    Джон Хопкрофт: биография известного американского ученого в области компьютерных наук, автор учебников по теории вычислений и структурам данных.

    #74622 · 3 мин чтения

  13. Эндрю Яо: путь выдающегося ученого в области компьютерных наук

    Эндрю Яо: китайский ученый-компьютерщик, теоретик, профессор Tsinghua University. Разработал принцип Яо, отказался от гражданства США.

    #74643 · 2 мин чтения

  14. Роберт Флойд: Пионер информатики

    Роберт Флойд: биография и вклад в информатику. Алгоритмы Флойда-Уоршелла, обнаружение циклов, проверка программ и диффузия ошибок. Важные разработки!

    #75031 · 2 мин чтения

  15. Юрис Хартманис: Жизнь и вклад в теорию вычислительной сложности

    Юрис Хартманис (1928-2022) – латвийско-американский ученый, лауреат премии Тьюринга за вклад в теорию вычислительной сложности. Биография и достижения.

    #75662 · 1 мин чтения

  16. Леонард Блум: учёный, педагог и борец за равенство.

    Леонард Блум: биография венесуэльского ученого, образование в MIT (электротехника, математика). Профессор информатики, ученик Марвина Мински.

    #76114 · 1 мин чтения

  17. Амир Пнуэли: Жизнь и вклад в компьютерную науку

    Амир Пнуэли: израильский учёный-компьютерщик, лауреат премии Тьюринга (1996). Биография, образование (Технион, Вайцман) и вклад в науку.

    #76118 · 1 мин чтения

  18. Мадху Судан: выдающийся ученый в области компьютерных наук

    Мадху Судан – индийско-американский ученый-компьютерщик, лауреат премии Рольфа Неванлинны за вклад в математические основы информатики. MIT, IBM.

    #89021 · 1 мин чтения

  19. Элвин Ральф Берлекамп: Жизнь и вклад в математику и информатику

    Элвин Берлекamp (1940-2019) – американский математик и ученый в области компьютерных наук. Алгоритмы, теория кодирования, игры и инвестиции.

    #130315 · 3 мин чтения

  20. Сартaj Кумар Сани: Пионер в области структур данных и алгоритмов

    Сартадж Кумар Сани – американский ученый-компьютерщик, пионер в области структур данных. Автор 280+ статей и 15 учебников по алгоритмам и вычислениям.

    #151330 · 2 мин чтения

  21. Институт информатики им. Макса Планка: исследования и достижения

    Институт информатики им. Макса Планка: исследования в области алгоритмов, машинного обучения, компьютерной графики и ИИ. Фундаментальная и прикладная наука.

    #156279 · 2 мин чтения

  22. Филипп Флажоле: Жизнь и вклад в анализ алгоритмов

    Филлип Флажоле: французский ученый-компьютерщик, пионер аналитической комбинаторики. Исследования алгоритмов, вычислительная сложность, теория средних случаев.

    #157297 · 2 мин чтения

  23. Эрик Дэмейн: путь от вундеркинда до профессора MIT

    Эрик Демейн: канадско-американский профессор MIT, вундеркинд в компьютерных науках. Раннее образование, Dalhousie и Waterloo, PhD в 20 лет.

    #168734 · 3 мин чтения

  24. Бернар Шазель: Французский ученый-компьютерщик и профессор Принстонского университета.

    Бернар Шазель – французский ученый-компьютерщик, профессор Принстонского университета. Разработки в области вычислительной геометрии, алгоритмов и структур данных.

    #175342 · 1 мин чтения

  25. Грег Терк: от "Стэнфордского кролика" к достижениям в компьютерной графике.

    Грег Терк – учёный в области компьютерной графики, профессор Georgia Tech. Разработал метод реконструкции поверхностей и популяризировал "Стэнфордского кролика".

    #178767 · 1 мин чтения

  26. Джон Майкл Кляйнберг: Алгоритмы, Сети и Вклад в Информатику

    Джон Кляйнберг: американский ученый-компьютерщик, профессор Корнеллского университета, эксперт в алгоритмах и сетях. Лауреат премии Неванлинны.

    #202215 · 3 мин чтения

  27. Эдвард Грэди Коффман: путь выдающегося ученого в области компьютерных наук

    Эдвард Коффман – известный ученый-компьютерщик, профессор. Карьера в SDC, Princeton, Columbia, Bell Labs и др. Разработки в области системного программирования.

    #204250 · 3 мин чтения

  28. Эндрю Уилсон Аппел: Компьютерный ученый и эксперт в области компиляторов.

    Эндрю Уилсон Аппель: известный американский ученый-компьютерщик, профессор Принстона. Автор книг по компиляторам, вкладчик Standard ML of New Jersey.

    #207279 · 1 мин чтения

  29. Дэвид Аллен Байер: Математик, консультант и вклад в Bitcoin.

    Дэвид Аллен Байер – американский математик, профессор Columbia University. Специалист по алгебре, символьным вычислениям и консультант в киноиндустрии.

    #217808 · 1 мин чтения

  30. Джеффри Уллман: выдающийся учёный в области информатики

    Джеффри Уллман – выдающийся американский ученый-компьютерщик, лауреат премии Тьюринга. Автор учебников по базам данных, алгоритмам и компиляторам.

    #243386 · 2 мин чтения

  31. Стивен Рудич: учёный, педагог и создатель летней школы по информатике.

    Стивен Рудик – выдающийся американский ученый в области компьютерных наук, лауреат премии Гёделя. Исследования сложности вычислений и преподавание в CMU.

    #254946 · 1 мин чтения

  32. Европейская ассоциация теоретической информатики: деятельность и награды.

    EATCS: Европейская ассоциация теоретической информатики. ICALP, публикации, премии за вклад в науку. Список Fellows и лауреатов наград с 2000 года.

    #283841 · 3 мин чтения

  33. Неeraj Каял: Индийский ученый и математик, разработчик теста AKS простоты.

    Неeraj Kayal – индийский ученый, соавтор теста AKS для проверки чисел на простоту. Выпускник IIT Kanpur. Математика и информатика.

    #285753 · 1 мин чтения

  34. Нитин Саксена: Индийский математик и информатик.

    Нитин Саксена: индийский математик и ученый в области компьютерных наук. Соавтор теста AKS для проверки простоты чисел, лауреат премий Фулькерсона и Гёделя.

    #298793 · 1 мин чтения

  35. Нэнси Линч: Пионер теории распределённых систем

    Нэнси Линч: видный американский ученый-компьютерщик из MIT. Профессор, эксперт в теории распределенных систем и разработке ПО. Биография и достижения.

    #306739 · 1 мин чтения

  36. Парис Канеллакис: Жизнь и трагическая гибель учёного-информатика

    Парис Канеллакис (1953-1995) – греческо-американский ученый-компьютерщик. Биография, образование (NTU, MIT) и вклад в науку. Компьютерные науки.

    #352551 · 2 мин чтения

  37. Лесли Вэлиант: Пионер теоретической информатики и эволюционной теории.

    Лесли Вэлиант: биография выдающегося ученого, лауреата премии Тьюринга. Теоретическая информатика, Harvard, BSP-программирование, анализ графов.

    #354517 · 3 мин чтения

  38. Виджай Вазирани: путь выдающегося ученого в области компьютерных наук

    Виджай Вазирани: биография и научные достижения. Индийско-американский профессор информатики из Калифорнийского университета, образование в MIT и Berkeley.

    #354538 · 2 мин чтения

  39. Робин Полсон: Американский учёный в области компьютерных наук

    Российский ученый-информатик, профессор Кембриджского университета. Автор книги ML for the Working Programmer. Исследования в области языков программирования.

    #366946 · 1 мин чтения

  40. Международная конференция по автоматитам, языкам и программированию ICALP: История и развитие

    ICALP: международная конференция по теоретической информатике. Обзор, история (с 1972 г.), публикация статей в Springer и Leibniz. Автоматы, языки, программирование.

    #375059 · 1 мин чтения

  41. Атанасиос Цакаллидис: вклад в теоретическую информатику

    Афанасиос Цакаллидис – греческий ученый-компьютерщик, профессор Университета Патры. Исследования: структуры данных, алгоритмы, GIS, биоинформатика.

    #384527 · 4 мин чтения

  42. Ласло Бабай: Биография и научные достижения

    Ласло Бабай: биография, достижения и научные работы венгерского математика и ученого в области компьютерных наук. Чикагский университет, алгоритмы.

    #385531 · 1 мин чтения

  43. Алгоритмы: Фундаментальный учебник по программированию (CLRS)

    Алгоритмы КЛРС: учебник по программированию от Кормена, Лейзерсона, Ривеста и Стейна. Основы алгоритмов, миллионный тираж, цитируется в научных работах.

    #387948 · 2 мин чтения

  44. Христос Пападимитриу: выдающийся ученый в области компьютерных наук.

    Христос Пападимитриу: биография известного греческого ученого в области компьютерных наук, профессора Колумбийского университета. Теория вычислений.

    #388608 · 3 мин чтения

  45. Конкретная математика: Основы для компьютерных наук

    Конкретная математика: учебник Грэма, Кнута, Паташника для анализа алгоритмов. Основы дискретной и непрерывной математики в компьютерных науках.

    #394152 · 1 мин чтения

  46. Майкл Сипсер: Биография и вклад в теорию вычислений.

    Майкл Сипсер – видный американский ученый в области теории вычислительной сложности. Профессор MIT, вклад в науку, биография и карьера.

    #397799 · 3 мин чтения

  47. Орен Паташник: Американский ученый в области компьютерных наук

    Орен Паташник: американский ученый-компьютерщик, соавтор BibTeX и "Конкретная математика". Исследования в CCR, Ла-Хойя. Биография и достижения.

    #432252 · 1 мин чтения

  48. S. Barry Cooper

    #497480 · 2 мин чтения

  49. Seymour Ginsburg

    #500040 · 4 мин чтения