ファロン・モラー | |
|---|---|
ファロン・モラー | |
| 生まれる | ファロン・ジョージ・モラー 1962年2月25日 |
| 母校 |
|
| 科学者としてのキャリア | |
| フィールド | 理論計算機科学[1] |
| 機関 | スウォンジー大学 ストラスクライド大学 エディンバラ大学 スウェーデン コンピュータサイエンス研究所 王立工科大学 ウプサラ大学 |
| 論文 | 並行性の公理 (1989) |
| 博士課程の指導教員 | ロビン・ミルナー |
| Webサイト | www.swansea.ac.uk/staff/fgmoller |
ファロン・ジョージ・モラー( FLSW FBCS FIMA 、1962年2月25日、ブリティッシュコロンビア州トレイル生まれ)は、カナダ生まれのイギリス人コンピュータ科学者であり、理論計算機科学、特に無限状態オートマトン理論と時相論理の専門家である。[1]彼の研究は、コンピューティングシステムの抽象モデルを分析するための構造分解技術に焦点を当てている。彼は、スウォンジー鉄道検証グループの創設ディレクター、[2]テクノキャンプのディレクター、ウェールズコーディング研究所の所長を務めている。2023年、彼はウェールズ学術協会の事務局長に選出された。[3] [4] [5] [6]
教育
モラーはブリティッシュコロンビア大学で学部生として数学とコンピュータサイエンスを学び、その後ウォータールー大学で修士課程に進み、その後エディンバラ大学のコンピュータサイエンス基礎研究所でロビン・ミルナーの指導の下で博士号を取得しました。[7] [8]
キャリアと研究
モラー氏は、ストラスクライド大学、エディンバラ大学、スウェーデンコンピュータサイエンス研究所、ストックホルム王立工科大学、ウプサラ大学で職を歴任した後、 2000年に ウェールズのスウォンジー大学でコンピュータサイエンスの教授に就任しました。
モラー氏はテクノキャンプ[9] [10]のディレクターを務めている。テクノキャンプはウェールズ全土の学校を対象にしたアウトリーチプログラムで、ウェールズ全土の学校にコンピュータサイエンスとデジタルコンピテンシーを導入・強化し、若者にコンピューティング関連のトピックを学ぶよう促すことを目的としたものである。また、ウェールズのコーディング研究所の所長も務めている。[11]
受賞と栄誉
モラー氏は、ウェールズ学術協会(FLSW)の会員、英国コンピュータ学会(FBCS)の会員、数学およびその応用研究所(FIMA)の会員であり、英国理論コンピュータサイエンス協会の会長を15 年間 (2004-2019) 務めました。[要出典]彼は公認数学者、公認科学者、公認 IT プロフェッショナルです。
参考文献
- ^ ab Google Scholarに索引付けされた Faron Moller の出版物
- ^ http://cs.swansea.ac.uk/Rail/
- ^ F Moller、「Infinite Results」、U Montanari および V Sassone (編)、『Lecture Notes in Computer Science』、第 1119 巻、Springer Verlag (1996)、pp195–216。
- ^ O Burkart、D Caucal、F Moller、B Steffen、「Verification over Infinite States」、J Bergstra、A Ponse、SA Smolka(編)、Handbook of Process Algebra、Elsevier(2001)、pp545–623。
- ^ F Moller、SA Smolka、J Srba、「双模倣の計算複雑性について、再考」、Information and Computation、第194巻(2)、Elsevier (2004)、pp129–143。doi :10.1016/ j.ic.2004.06.003
- ^ F Moller と G Struth、Modelling Computing Systems、Springer-Verlag 2013。ISBN 9781848003217
- ^ 数学系譜プロジェクトのファロン・モラー
- ^ DBLP書誌サーバーの Faron Moller
- ^ Casey Hopkins、Faron Moller (2024) ウェールズコーディング研究所デジタルスキルブートキャンプ - マイクロクレデンシャル:パイロットプロジェクト CEP '24:第8回コンピューティング教育実践会議の議事録doi :10.1145/3633053.3633055
- ^ https://www.technocamps.com
- ^ https://instituteofcoding.org
