Фарон Моллер - Википедия - Faron Moller

Фарон Моллер

FLSW FBCS ФИМА
Фарон Моллер.jpg
Фарон Моллер в 2019 году
Родившийся
Фарон Джордж Моллер

(1962-02-25) 25 февраля 1962 г. (58 лет)
Трейл, Британская Колумбия, Канада
Альма-матер

Фарон Джордж Моллер (родился 25 февраля 1962 г. в г. Трейл, Британская Колумбия ) это Канадский -родившийся Британский компьютерный ученый и эксперт по теоретическая информатика, особенно с бесконечным состоянием теория автоматов и темпоральная логика. Его работа сосредоточена на методах структурной декомпозиции для анализа абстрактных моделей вычислительных систем. Он является директором-основателем Группа проверки железной дороги Суонси; Директор Технокампов; и глава Института кодирования в Уэльсе.

биография

Моллер учился математика и Информатика как студент Университет Британской Колумбии, а затем в магистратуре Университет Ватерлоо, прежде чем продолжить кандидат наук под руководством Робин Милнер в Лаборатория основ информатики на Эдинбургский университет. Он занимал должности в университетах Strathclyde и Эдинбург, The Шведский институт компьютерных наук, The Королевский технологический институт в Стокгольме и Уппсальский университет до переезда в Уэльс профессором компьютерных наук в Суонси университет в 2000 г.

Назначения и почести

Моллер - это Парень из Научное общество Уэльса, а Парень из Британское компьютерное общество и Парень из Институт математики и ее приложений, и занимал пост президента Британский коллоквиум по теоретической информатике на 15 лет (2004-2019). Он дипломированный математик, дипломированный ученый и дипломированный ИТ-специалист. Его полная номенклатура с пост-именными буквами - это профессор Фарон Моллер, бакалавр, магистр наук, доктор философии, CITP, CMath, CSci, FLSW, FBCS, FIMA.

Он также является директором Technocamp, общеуэльской образовательной программы для школ, направленной на внедрение и усиление компьютерных наук и цифровых навыков во всех валлийских школах и вдохновляющие молодых людей на изучение компьютерных тем; и руководитель Институт кодирования в Уэльсе.

Рекомендации

  1. Ф. Моллер, Бесконечные результаты, в У Монтанари и В. Сассоне (ред.), Конспект лекций по информатике, Том 1119, Springer Verlag (1996), стр. 195–216.
  2. О Буркарт, Д. Кокаль, Ф. Моллер и Б. Штеффен, Проверка по бесконечным состояниям, в J Bergstra, A Ponse и S. A. Smolka (ред.), Справочник по алгебре процессов, Elsevier (2001), стр. 545–623.
  3. Ф. Мёллер, С.А. Смолка, Я. Срба, О вычислительной сложности бисимуляции, Redux, Информация и вычисления , Том 194 (2), Elsevier (2004), стр. 129–143.
  4. Ф. Моллер и Дж. Струт, Моделирование вычислительных систем, Springer-Verlag 2013. ISBN  9781848003217.

внешняя ссылка