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

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

Оглавление1 Торстен Альтенкирх1.1 Биография Торстена Альтенкирха1.2 Научная деятельность1.3 Образование и достижения1.4 Участие в проектах и выступления1.5 Дополнительная информация1.6 Полный текст […]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  1. Система типов Оглавление1 Система типов1.1 Системы типов в программировании1.2 Цели систем типов1.3 Пример системы типов: язык Си1.4 Теория...
  2. Система типов Оглавление1 Type system1.1 Типы систем в программировании1.2 Примеры использования1.3 Типы и их значение1.4 Преимущества и недостатки1.5...
  3. Язык программирования – Arc.Ask3.Ru Оглавление1 Язык программирования1.1 Определение языков программирования1.2 Реализация языков программирования1.3 История языков программирования1.4 1960-е и 1970-е годы1.5...
  4. Торстен Андерссон Оглавление1 Торстен Андерссон1.1 Биография и творчество Торстена Андерссона1.2 Библиография и внешние ссылки1.3 Полный текст статьи:2 Торстен...
  5. Торстен Карлеман Оглавление1 Торстен Карлеман1.1 Биография и образование1.2 Научная деятельность1.3 Личная жизнь и общественная деятельность1.4 Последние годы и...
  6. Торстен Визель Торстен Визель Торстен Визель – американский нейробиолог, лауреат Нобелевской премии по физиологии и медицине в 1981...
  7. Торстен Перссон Оглавление1 Торстен Перссон1.1 Биография и карьера1.2 Сотрудничество и достижения1.3 Награды и признание1.4 Основные работы1.5 Полный текст...
  8. Торстен Визель Оглавление1 Торстен Визель1.1 Биография и карьера1.2 Исследования и достижения1.3 Награды и почести1.4 Личная жизнь1.5 Права человека1.6...
  9. Теория типов Оглавление1 Теория типов1.1 Основы теории типов1.2 История и развитие1.3 Основные понятия1.4 Применение и интерпретация1.5 Связь с...
  10. Теория гомотопических типов Оглавление1 Теория гомотопических типов1.1 Основы теории гомотопических типов1.2 Типы и пути в HoTT1.3 Эквивалентность типов1.4 Приложения...
  11. Система типов Оглавление1 Система типов1.1 Основы типов данных1.2 Системы типов и их классификация1.3 Безопасность типов и памяти1.4 Дополнительные...
  12. Теория гомотопических типов Теория гомотопических типов Теория гомотопических типов – это математическая теория, основанная на топологии и теории категорий. ...
  13. Михаил Шульман (математик) – Википедия Оглавление1 Майкл Шульман (математик)1.1 Карьера Майкла Шульмана1.2 Вклад в математику1.3 Публикационная деятельность1.4 Блоги и социальные сети1.5...
  14. Язык визуального программирования Оглавление1 Язык визуального программирования1.1 Обзор визуальных языков программирования1.2 Примеры визуальных языков1.3 Языки для обучения и разработки1.4...
  15. Теории заговора 11 сентября Оглавление1 теории заговора 11 сентября1.1 Теории заговора о терактах 11 сентября1.2 Основные теории заговора1.3 Мотивы и...
  16. Участие общественности Оглавление1 Участие общественности1.1 Определение и значение участия общественности1.2 История и развитие участия общественности1.3 Формы и методы...
  17. Теорема Ботта о периодичности Оглавление1 Теорема Ботта о периодичности1.1 Теорема Ботта о периодичности1.2 Периодичность Ботта1.3 J-гомоморфизм1.4 Контекст и значение1.5 Циклические...
  18. Конор МакБрайд Оглавление1 Конор Макбрайд1.1 Биография Конора Макбрайда1.2 Участие в разработке стандартов1.3 Предпочтения в языках программирования1.4 Исследования в...
  19. История языков программирования Оглавление1 История языков программирования1.1 Обзор истории языков программирования1.2 Ранние языки программирования1.3 Развитие языков программирования1.4 Современные тенденции...
  20. Участие общественности (принятие решений) Оглавление1 Участие общественности (принятие решений)1.1 Определение и классификация участия1.2 История и развитие участия1.3 Формы и методы...
  21. Метродор (Грамматика) Метродор (грамматик) Метродор – греческий грамматик и математик, собиравший математические эпиграммы.  О его жизни ничего не...
  22. n-группа (теория категорий) N-группа (теория категорий) Гомотопические n-группы используются для классификации гомотопических типов.  Существует несколько способов определения гомотопических n-групп,...

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

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