Томас Штрайхер

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

Томас Штрайхер Биография и научная деятельность Томаса Штрайхера Родился в 1958 году, австрийский математик, профессор в Дармштадте.  Защитил докторскую диссертацию […]

1958 births, 1958 рождений, 20th-century German mathematicians, 21st-century German mathematicians, Academic staff of Technische Universität Darmstadt, German mathematician stubs, Living people, University of Passau alumni, Академический состав Технического университета Дармштадта, Выпускники Университета Пассау, Живые люди, Незавершенные статьи о немецких математиках, Немецкие математики XX века, Немецкие математики XXI века

Томас Штрайхер

  • Биография и научная деятельность Томаса Штрайхера

    • Родился в 1958 году, австрийский математик, профессор в Дармштадте. 
    • Защитил докторскую диссертацию в 1988 году под руководством Манфреда Броя. 

  • Научные интересы и достижения

    • Занимается категориальной логикой, теорией предметных областей и теорией типов Мартина-Лефа. 
    • Совместно с Мартином Хофманом разработал модель для интенсиональной теории типов с нетривиальными типами идентичности. 
    • Получил премию LICS Test-of-Time Award за работу о моделях с нетривиальными типами идентичности. 

  • Библиография

    • Опубликовал работы по семантике теории типов и теоретико-предметным основам функционального программирования. 

  • Дополнительные сведения

    • Имеет официальный сайт и является участником проекта «Математическая генеалогия». 
    • Статья о Томасе Штрайхере является заглушкой и приглашает к расширению Википедии. 

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

Томас Штрайхер

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

  1. Тип удостоверения Тип удостоверения личности Основы теории типов Тип идентификатора в теории типов представляет равенство.  Равенство в теории...
  2. Язык визуального программирования Язык визуального программирования Обзор визуальных языков программирования Визуальные языки программирования облегчают разработку программного обеспечения, используя графические...
  3. Теоретико-информационная безопасность Теоретико-информационная безопасность Теоретико-информационная безопасность криптосистем Криптосистемы с теоретико-информационной безопасностью защищены от атак с неограниченными вычислительными ресурсами. ...
  4. Теория типов Теория типов Основы теории типов Теория типов — это формализм для определения и работы с типами...
  5. Идентичность (социальные науки) Идентичность (социальные науки) Определение и значение идентичности Идентичность — это набор характеристик, которые определяют уникальность человека. ...
  6. Теоретико-модельная грамматика Теоретико-модельная грамматика Основы теоретико-модельного синтаксиса Теоретико-модельные грамматики ограничивают синтаксическую структуру, а не генерируют ее.  Порождающие грамматики...
  7. История теории типов История теории типов История теории типов Теория типов возникла в 19 веке и связана с работами...
  8. Список образовательных языков программирования Список образовательных языков программирования Обзор языков программирования для детей Языки программирования для детей направлены на обучение...
  9. Система типов Система типов Основы типов данных Типы данных определяют допустимые значения и операции для переменных.  Типы данных...
  10. Э. Донналл Томас Э. Донналл Томас Эдвард Донналл Томас — американский врач, почетный профессор и директор отдела клинических исследований...
  11. Теория двойников Теория аналогов Обзор статьи Статья посвящена проблеме идентичности и ее философскому анализу.  Обсуждаются различные подходы к...
  12. Теоретико-доказательная семантика Теоретико-доказательная семантика Основы теоретико-доказательной семантики Основана Герхардом Гентценом, формализована в его отчете об исключении сокращений.  Изучает...
  13. Зависимый тип Зависимый тип Основы теории зависимых типов Теория зависимых типов (ТДТ) расширяет систему типов, добавляя зависимые типы. ...
  14. Программирование на функциональном уровне Программирование на функциональном уровне Парадигмы программирования Функциональное программирование и ценностное программирование — две основные парадигмы, описанные...
  15. Теория социальной идентичности Теория социальной идентичности Основы теории социальной идентичности Теория социальной идентичности была разработана Генри Тайфелем в 1951...
  16. История языков программирования История языков программирования Обзор истории языков программирования Языки программирования эволюционировали от ассемблеров до высокоуровневых языков.  Первые...
  17. Зависимый тип Зависимый тип Основы теории зависимых типов Теория зависимых типов (ТДТ) расширяет систему типов, добавляя зависимые типы. ...
  18. Томас Мэлори Томас Мэлори Сэр Томас Мэлори — английский писатель, автор «Смерти Артура».  Самая популярная версия «Смерти Артура»...
  19. Функциональный дизайн Функциональный дизайн Основы функционального дизайна Функциональный дизайн упрощает проектирование аппаратных и программных устройств.  Модули выполняют только...
  20. Система чистых типов Система чистого типа Основы теории доказательств и типов Система чистых типов (PTS) — это форма типизированного...
  21. Сильная и слабая типизация Сильная и слабая типизация Классификация языков программирования по типу системы Строгая типизация: строгие правила набора текста,...
  22. Сильная и слабая типизация Сильная и слабая типизация Классификация языков программирования по типу системы Строгая типизация: строгие правила набора текста,...

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

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