Стефани Вейрих

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

Оглавление1 Стефани Вейрих1.1 Биография Стефани Вейрих1.2 Образование и карьера1.3 Научные достижения1.4 Дополнительная информация2 Стефани Вейрих — Википедия Стефани Вейрих Биография […]

21st-century American women, American computer scientists, American women academics, American women computer scientists, Cornell University alumni, Living people, Programming language researchers, Rice University alumni, University of Pennsylvania faculty, Американские женщины 21-го века, Американские женщины-ученые, Американские женщины-ученые-компьютерщики, Американские ученые-компьютерщики, Выпускники Корнелльского университета, Выпускницы Университета Райса, Живые люди, Исследователи языка программирования, Преподаватели Пенсильванского университета

Стефани Вейрих

  • Биография Стефани Вейрих

    • Американский ученый-компьютерщик в области теории типов и функционального программирования 
    • Профессор компьютерных наук в Пенсильванском университете 

  • Образование и карьера

    • Окончила Университет Райса с отличием в 1996 году 
    • Защитила докторскую диссертацию в Корнеллском университете в 2002 году 
    • В 2002 году начала работать в Пенсильванском университете 

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

    • Работа над выводом типов включена в компилятор Glasgow Haskell Compiler 
    • Руководила проектом POPLmark challenge по сравнению систем типов языков программирования 
    • Получила премию имени Робина Милнера в 2016 году от ACM SIGPLAN 

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

    • Ссылки на внешние ресурсы и публикации Стефани Вейрих доступны на ее домашней странице 

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

Стефани Вейрих — Википедия

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

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

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

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