Фарон Мёллер

Фарон Мёллер
ФЛСВ ФБКС ФИМА
Фарон Мёллер ФЛСВ ФБКС ФИМА
	Фарон Мёллер
Рожденный	Фарон Джордж Моллер ; 25 февраля 1962 г. (62 года) ; Трейл, Британская Колумбия , Канада
Альма-матер	Университет Британской Колумбии (бакалавр) ; Университет Ватерлоо (Математика) ; Эдинбургский университет (доктор философии) ;
	Научная карьера
Поля	Теоретическая информатика
Учреждения	Университет Суонси ; Университет Стратклайда ; Эдинбургский университет ; Шведский институт компьютерных наук ; Королевский технологический институт ; Уппсальский университет
Диссертация	Аксиомы параллелизма (1989)
Докторантура	Робин Милнер
Веб-сайт	www .Суонси .и .uk /персонал /ф .г .моллер

Фарон Джордж Моллер FLSW FBCS FIMA (родился 25 февраля 1962 года в Трейле, Британская Колумбия ) — канадского происхождения британский учёный-компьютерщик и эксперт в области теоретической информатики , в частности теории автоматов с бесконечным числом состояний и темпоральной логики . ^[1] Его работа была сосредоточена на методах структурной декомпозиции для анализа абстрактных моделей вычислительных систем. Он является директором-основателем Группы проверки железных дорог Суонси; ^[2] директор технолагерей; и глава Института кодирования в Уэльсе. В 2023 году он был избран генеральным секретарем Научного общества Уэльса . ^[3]^[4]^[5]^[6]

Образование

Моллер изучал математику и информатику на бакалавриате в Университете Британской Колумбии , а затем в магистратуре в Университете Ватерлоо , прежде чем продолжить работу над докторской диссертацией под руководством Робина Милнера в Лаборатории основ компьютерных наук в университете. Эдинбурга . ^[7]^[8]

Карьера и исследования

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

Моллер является директором технолагерей. ^[9]^[10] общеуэльсская информационно-просветительская программа для школ, направленная на внедрение и укрепление компьютерных наук и цифровых навыков во всех школах Уэльса и побуждение молодых людей к изучению тем, связанных с компьютером; и глава Института кодирования в Уэльсе. ^[11]

Награды и почести

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

Ссылки

^ Jump up to: ^а ^б Публикации Фарона Мёллера , индексируемые Google Scholar
^ http://cs.swansea.ac.uk/Rail/
^ Ф. Моллер, Бесконечные результаты , в У Монтанари и В. Сассоне (ред.), Конспекты лекций по информатике, том 1119, Springer Verlag (1996), стр. 195–216.
^ О Буркарт, Д. Каукал, Ф. Моллер и Б. Стеффен, Проверка бесконечных состояний , в Дж. Бергстра, А. Понсе и С. А. Смолка (ред.), Справочник по алгебре процессов, Elsevier (2001), стр. 545–623.
^ Ф. Моллер, С. А. Смолка и Дж. Срба, О вычислительной сложности бисимуляции, редукции, информации и вычислений, том 194 (2), Elsevier (2004), стр. 129–143. дои : 10.1016/j.ic.2004.06.003
^ Ф. Моллер и Дж. Струт, Моделирование вычислительных систем, Springer-Verlag, 2013. ISBN 9781848003217
^ Фарон Мёллер в проекте «Математическая генеалогия»
^ Фарон Мёллер на DBLP библиографическом сервере
^ Кейси Хопкинс, Фарон Моллер (2024) Учебные курсы по цифровым навыкам Института кодирования в Уэльсе - Микро-кредиты: пилотный проект CEP '24: Материалы 8-й конференции по практике компьютерного образования дои : 10.1145/3633053.3633055
^ https://www.technocamps.com
^ https://instituteofcoding.org

[gs-1] Jump up to: ^а ^б Публикации Фарона Мёллера , индексируемые Google Scholar

[2] ttp://cs.swansea.ac.uk/Rail/

[3] Ф. Моллер, Бесконечные результаты , в У Монтанари и В. Сассоне (ред.), Конспекты лекций по информатике, том 1119, Springer Verlag (1996), стр. 195–216.

[4] О Буркарт, Д. Каукал, Ф. Моллер и Б. Стеффен, Проверка бесконечных состояний , в Дж. Бергстра, А. Понсе и С. А. Смолка (ред.), Справочник по алгебре процессов, Elsevier (2001), стр. 545–623.

[5] Ф. Моллер, С. А. Смолка и Дж. Срба, О вычислительной сложности бисимуляции, редукции, информации и вычислений, том 194 (2), Elsevier (2004), стр. 129–143. дои : 10.1016/j.ic.2004.06.003

[6] Ф. Моллер и Дж. Струт, Моделирование вычислительных систем, Springer-Verlag, 2013. ISBN 9781848003217

[mathgene-7] Фарон Мёллер в проекте «Математическая генеалогия»

[dblp-8] Фарон Мёллер на DBLP библиографическом сервере

[9] Кейси Хопкинс, Фарон Моллер (2024) Учебные курсы по цифровым навыкам Института кодирования в Уэльсе - Микро-кредиты: пилотный проект CEP '24: Материалы 8-й конференции по практике компьютерного образования дои : 10.1145/3633053.3633055

[10] ttps://www.technocamps.com

[11] ttps://instituteofcoding.org

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Норвегия Израиль Бельгия Соединенные Штаты Швеция Нидерланды
академики	Ассоциация вычислительной техники ДБЛП Google Академика Проект математической генеалогии ОРЦИД zbMATH
Другой	ИдРеф