Торстен Альтенкирх

От / / Оставьте комментарий

Торстен Альтенкирх Биография Торстена Альтенкирха Немецкий профессор компьютерных наук в Ноттингемском университете  Известен исследованиями в области логики, теории типов и […]

Academics of the University of Nottingham, Alumni of the University of Edinburgh, German computer scientists, Living people, Академики Ноттингемского университета, Выпускники Эдинбургского университета, Живые люди, Немецкие ученые-компьютерщики

Торстен Альтенкирх

  • Биография Торстена Альтенкирха

    • Немецкий профессор компьютерных наук в Ноттингемском университете 
    • Известен исследованиями в области логики, теории типов и теории гомотопических типов 

  • Научная деятельность

    • Участник специального года по унивалентным фондам в Институте перспективных исследований в 2012/2013 
    • Сопредседатель Лаборатории функционального программирования в Ноттингеме с Грэмом Хаттоном 

  • Образование и достижения

    • Доктор философии в Эдинбургском университете в 1993 году 
    • Автор книги «Контейнеры, язык программирования эпиграмм и теория гомотопических типов: унивалентные основы математики» 

  • Участие в проектах и выступления

    • Вклад в разработку контейнеров и языка программирования эпиграмм 
    • Гость на YouTube-канале Computerphile 

  • Дополнительная информация

    • Ссылки на личную страницу и новую страницу в Ноттингеме 

Полный текст статьи:

Торстен Альтенкирх

Похожие статьи:

  1. Теория типов Теория типов Основы теории типов Теория типов — это формализм для определения и работы с типами...
  2. Торстен Визель Торстен Визель Торстен Визель — американский нейробиолог, лауреат Нобелевской премии по физиологии и медицине в 1981...
  3. Язык визуального программирования Язык визуального программирования Обзор визуальных языков программирования Визуальные языки программирования облегчают разработку программного обеспечения, используя графические...
  4. Теория гомотопических типов Теория гомотопических типов Основы теории гомотопических типов Теория гомотопических типов (HoTT) — это математическая теория, которая...
  5. Коллекция (абстрактный тип данных) Контейнер (абстрактный тип данных) Определение контейнера в информатике Контейнер — это класс или структура данных, которые...
  6. Михаил Шульман (математик) — Википедия Майкл Шульман (математик) Карьера Майкла Шульмана Американский математик, специализирующийся на теории категорий и высших категорий.  Получил...
  7. Система типов Система типов Основы типов данных Типы данных определяют допустимые значения и операции для переменных.  Типы данных...
  8. Теория гомотопических типов Теория гомотопических типов Теория гомотопических типов — это математическая теория, основанная на топологии и теории категорий. ...
  9. Формат контейнера Формат контейнера Определение и использование контейнеров Контейнеры объединяют потоки данных с метаданными.  Примеры включают архивные файлы...
  10. Формат контейнера Формат контейнера Определение и использование контейнеров Контейнеры объединяют потоки данных с метаданными.  Примеры включают архивные файлы...
  11. Список типов теории систем Список типов теории систем Обзор типов теории систем Теория систем была формализована в 1950-х годах и...
  12. Конор МакБрайд Конор Макбрайд Биография Конора Макбрайда Конор Макбрайд — преподаватель факультета компьютерных и информационных наук в Университете...
  13. Эзотерический язык программирования Эзотерический язык программирования Определение и история эсолангов Эсоланги — это языки программирования, которые часто используются для...
  14. Дайвинг в мусорных контейнерах Ныряние в мусорные контейнеры История фриганов Фриганы — это люди, которые стремятся к минимализму и отказу...
  15. n-группа (теория категорий) N-группа (теория категорий) Гомотопические n-группы используются для классификации гомотопических типов.  Существует несколько способов определения гомотопических n-групп,...
  16. Метродор (Грамматика) Метродор (грамматик) Метродор — греческий грамматик и математик, собиравший математические эпиграммы.  О его жизни ничего не...
  17. Список образовательных языков программирования Список образовательных языков программирования Обзор языков программирования для детей Языки программирования для детей направлены на обучение...
  18. История языков программирования История языков программирования Обзор истории языков программирования Языки программирования эволюционировали от ассемблеров до высокоуровневых языков.  Первые...
  19. Категория гомотопии Гомотопическая категория Основы гомотопической теории Гомотопическая теория изучает непрерывные отображения между топологическими пространствами.  Гомотопические категории являются...
  20. Ньиакенг Пуачуэ Хмонг Ньякенг Пуачуэ Хмонг Мероитский период Мероитский язык использовался в 3 веке до нашей эры.  Угаритский язык...
  21. История теории типов История теории типов История теории типов Теория типов возникла в 19 веке и связана с работами...
  22. Язык описания страниц Язык описания страницы Основы языка описания страницы (PDL) PDL — компьютерный язык для описания внешнего вида...

Оставьте комментарий

Прокрутить вверх