Питер Моссес

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

Оглавление1 Питер Мосс1.1 Биография Питера Дэвида Мосса1.2 Научная карьера1.3 Текущая деятельность1.4 Дополнительная информация2 Питер Моссес — Википедия Питер Мосс Биография […]

1948 births, Academics of Swansea University, Alumni of Trinity College, Alumni of Wolfson College, British academic biography stubs, British computer scientists, British computer specialist stubs, Formal methods people, Living people, Members of the Department of Computer Science, Oxford, University of Oxford, Академики Университета Суонси, Британские учёные-компьютерщики, Выпускники Вольфсон-колледжа, Выпускники Тринити-колледжа, Живые люди, Люди формальных методов, незавершённые британские академические биографии, Незавершенные статьи о британских компьютерных специалистах, Оксфорд, рождения в 1948 году, Члены факультета компьютерных наук Оксфордского университета

Питер Мосс

  • Биография Питера Дэвида Мосса

    • Британский ученый-компьютерщик, родился в 1948 году. 
    • Изучал математику в Оксфорде, получил докторскую степень в 1970-х. 
    • Последний студент, защитивший диссертацию под руководством Кристофера Стрейчи. 

  • Научная карьера

    • Опубликовал компилятор SIS в 1978 году, использующий денотационное описание языков. 
    • Работал в БРИКС в Дании, вернулся на кафедру в Суонси, Уэльс. 
    • Внес вклад в формальную семантику программ, разработал семантику действия с Дэвидом Уоттом. 

  • Текущая деятельность

    • В настоящее время работает в Делфтском техническом университете. 

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

    • Статья является заглушкой, просит помощи в расширении. 

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

Питер Моссес — Википедия

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

  1. Суонси, Массачусетс Оглавление1 Суонси, Массачусетс1.1 История Суонси1.2 География и демография1.3 Экономика и инфраструктура1.4 Образование и транспорт1.5 Известные люди1.6...
  2. Джимми Уэйлс Оглавление1 Джимми Уэйлс1.1 Ранние годы и образование1.2 Карьера в финансах и интернет-предпринимательство1.3 Создание Nupedia и Википедии1.4...
  3. Позитивные действия Оглавление1 Позитивные действия1.1 Позитивные действия1.2 Историческое обоснование1.3 Разнообразие подходов1.4 Споры и общественное мнение1.5 Происхождение термина1.6 Методы...
  4. Позитивные действия Оглавление1 Позитивные действия1.1 Позитивные действия1.2 Историческое обоснование1.3 Разнообразие подходов1.4 Споры и общественное мнение1.5 Происхождение термина1.6 Методы...
  5. Принципы действия Оглавление1 Принципы действия1.1 Принципы действия в физике1.2 Вариативный подход1.3 Различные принципы действия1.4 Применение принципов действия1.5 Общие...
  6. Дюна Оглавление1 Дюна1.1 Определение и формы дюн1.2 Образование и типы дюн1.3 Эолийские дюны1.4 Барханные дюны1.5 Поперечные дюны1.6...
  7. Университет Суонси Оглавление1 Университет Суонси1.1 История и развитие Университета Суонси1.2 Структура и кампусы1.3 Образование и исследования1.4 Международное признание1.5...
  8. Список пионеров Интернета Оглавление1 Список пионеров Интернета1.1 История Интернета1.2 Основные пионеры Интернета1.3 Джозеф Карл Робнет Ликлайдер1.4 Пол Баран1.5 Дональд...
  9. Список пионеров Интернета Оглавление1 Список пионеров Интернета1.1 История Интернета1.2 Основные пионеры Интернета1.3 Джозеф Карл Робнет Ликлайдер1.4 Пол Баран1.5 Дональд...
  10. Пандемия COVID-19 в Австралии Оглавление1 Пандемия COVID-19 в Австралии1.1 Пандемия COVID-19 в Австралии1.2 Меры реагирования1.3 Стратегия “подавления” COVID1.4 Вакцинация и...
  11. Жан Томас (биохимик) Оглавление1 Джин Томас (биохимик)1.1 Биография и образование Джин Томас1.2 Карьера и научные достижения1.3 Вклад в образование...
  12. Алан Кокс (программист) Оглавление1 Алан Кокс (программист)1.1 Биография Алана Кокса1.2 Участие в разработке Linux1.3 Карьера и награды1.4 Активизм и...
  13. Главный раввин Оглавление1 Главный раввин1.1 История и значение должности главного раввина1.2 Главные раввины в разных странах1.3 Главные раввины...
  14. Время Оглавление1 Время1.1 Определение времени1.2 История и философия времени1.3 Измерение времени1.4 Физика времени1.5 Исторические методы измерения времени1.6...
  15. Серебряная медаль АСА – Arc.Ask3.Ru Оглавление1 Серебряная медаль ASA1.1 Серебряная медаль ASA1.2 Акустическая океанография1.3 Биоакустика животных1.4 Архитектурная акустика1.5 Биомедицинская акустика1.6 Биомедицинский...
  16. Выборы в штате Новый Южный Уэльс 2023 г. Оглавление1 Выборы в штате Новый Южный Уэльс в 2023 году1.1 Выборы в штате Новый Южный Уэльс...
  17. Уэльский университет Тринити-Сент-Дэвид Оглавление1 Уэльский университет Тринити-Сент-Дэвид1.1 История и развитие1.2 Структура и кампусы1.3 Партнеры и организация1.4 Репутация и исследования1.5...
  18. Эдвард Джордж Боуэн Оглавление1 Эдвард Джордж Боуэн1.1 Ранние годы и образование1.2 Наземный радар1.3 Бортовой радар1.4 Вторая мировая война1.5 Миссия...
  19. Дайан Эдвардс Оглавление1 Диана Эдвардс1.1 Ранняя жизнь и карьера1.2 Основные работы1.3 Открытия1.4 Различия и награды1.5 Полный текст статьи:2...
  20. Метод бесконечных элементов Оглавление1 Метод бесконечных элементов1.1 Основные разделы математики и их особенности1.2 Методы и теории в математике1.3 Математические...
  21. Групповое действие Оглавление1 Group action1.1 Основные понятия теории групп1.2 Свойства действий групп1.3 Примеры действий групп1.4 Топологические свойства действий...
  22. Неуверенность в вакцинации Оглавление1 Нерешительность в отношении вакцины1.1 Вакцинация и её эффективность1.2 Нерешительность в отношении вакцин1.3 Антивакцинальная активность1.4 Эффективность...

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

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