Faron George Moller (born February 25, 1962 in

Trail, British Columbia Trail is a city in the West Kootenay region of the Interior of British Columbia, Canada. It was named after the Dewdney Trail, which passed through the area. The town was first called Trail Creek or Trail Creek Landing, and the name was shorten ...

) is a

Canadian Canadians (french: Canadiens) are people identified with the country of Canada. This connection may be residential, legal, historical or cultural. For most Canadians, many (or all) of these connections exist and are collectively the source of ...

-born

British British may refer to: Peoples, culture, and language * British people, nationals or natives of the United Kingdom, British Overseas Territories, and Crown Dependencies. ** Britishness, the British identity and common culture * British English, ...

computer scientist and expert on

theoretical computer science Theoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory. It is difficult to circumsc ...

, particularly infinite-state

automata theory Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them. It is a theory in theoretical computer science. The word ''automata'' comes from the Greek word αὐτόματο� ...

and

temporal logic In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example, "I am ''always'' hungry", "I will ''eventually'' be hungry", or "I will be hungry ''until'' I ...

. His work has focussed on structural decomposition techniques for analysing abstract models of computing systems. He is founding Director of th
Swansea Railway Verification Group
Director of Technocamps; and Head of the Institute of Coding in Wales.

Biography

Moller studied

mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

and

computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...

as an undergraduate at the

University of British Columbia The University of British Columbia (UBC) is a public university, public research university with campuses near Vancouver and in Kelowna, British Columbia. Established in 1908, it is British Columbia's oldest university. The university ranks a ...

, and then as a Masters student at the

University of Waterloo The University of Waterloo (UWaterloo, UW, or Waterloo) is a public research university with a main campus in Waterloo, Ontario Waterloo is a city in the Canadian province of Ontario. It is one of three cities in the Regional Municipality ...

, before going on to do a

PhD PHD or PhD may refer to: * Doctor of Philosophy (PhD), an academic qualification Entertainment * '' PhD: Phantasy Degree'', a Korean comic series * ''Piled Higher and Deeper'', a web comic * Ph.D. (band), a 1980s British group ** Ph.D. (Ph.D. albu ...

supervised by

Robin Milner Arthur John Robin Gorell Milner (13 January 1934 – 20 March 2010), known as Robin Milner or A. J. R. G. Milner, was a British computer scientist, and a Turing Award winner.

in the

Laboratory for Foundations of Computer Science The Laboratory for Foundations of Computer Science (LFCS) is a research institute within the School of Informatics at the University of Edinburgh, in Scotland. It was founded in 1987 and is a community of theoretical computer scientists with in ...

at the

University of Edinburgh The University of Edinburgh ( sco, University o Edinburgh, gd, Oilthigh Dhùn Èideann; abbreviated as ''Edin.'' in post-nominals) is a public research university based in Edinburgh, Scotland. Granted a royal charter by King James VI in 15 ...

. He has held posts at the universities of

Strathclyde Strathclyde ( in Gaelic, meaning "strath (valley) of the River Clyde") was one of nine former local government regions of Scotland created in 1975 by the Local Government (Scotland) Act 1973 and abolished in 1996 by the Local Government et ...

and

Edinburgh Edinburgh ( ; gd, Dùn Èideann ) is the capital city of Scotland and one of its 32 Council areas of Scotland, council areas. Historically part of the county of Midlothian (interchangeably Edinburghshire before 1921), it is located in Lothian ...

, The Swedish Institute for Computer Science, The

Royal Institute of Technology The KTH Royal Institute of Technology ( sv, Kungliga Tekniska högskolan, lit=Royal Institute of Technology), abbreviated KTH, is a public research university in Stockholm, Sweden. KTH conducts research and education in engineering and technolo ...

in Stockholm, and

Uppsala University Uppsala University ( sv, Uppsala universitet) is a public university, public research university in Uppsala, Sweden. Founded in 1477, it is the List of universities in Sweden, oldest university in Sweden and the Nordic countries still in opera ...

before moving to Wales as Professor of Computer Science at

Swansea University , former_names=University College of Swansea, University of Wales Swansea , motto= cy, Gweddw crefft heb ei dawn , mottoeng="Technical skill is bereft without culture" , established=1920 – University College of Swansea 1996 – University of Wa ...

in 2000.

Appointments and honours

Moller is a

Fellow A fellow is a concept whose exact meaning depends on context. In learned or professional societies, it refers to a privileged member who is specially elected in recognition of their work and achievements. Within the context of higher education ...

of the

Learned Society of Wales The Learned Society of Wales (Welsh: Cymdeithas Ddysgedig Cymru) is a learned society and charity that exists to "celebrate, recognise, preserve, protect and encourage excellence in all of the scholarly disciplines", and to serve the Welsh nation ...

, a

of the

British Computer Society Sir Maurice Wilkes served as the first President of BCS in 1957 BCS, The Chartered Institute for IT, known as the British Computer Society until 2009, is a professional body and a learned society that represents those working in infor ...

and

of the Institute of Mathematics and its Applications, and served as President of the British Colloquium for Theoretical Computer Science for 15 years (2004-2019). He is a Chartered Mathematician, a Chartered Scientist, and a Chartered IT Professional. His full nomenclature with post-nominal letters is Professor Faron Moller BSc, MMath, PhD, CITP, CMath, CSci, FLSW, FBCS, FIMA. He is also Director of Technocamps, a pan-Wales schools outreach programme aimed at introducing and reinforcing Computer Science and Digital Competency within all Welsh schools and inspiring young people to study computing-based topics; and Head of th
Institute of Coding
in Wales.

References

# F Moller, ''Infinite Results'', in U Montanari and V Sassone (eds.), Lecture Notes in Computer Science, Volume 1119, Springer Verlag (1996), pp195–216. # O Burkart, D Caucal, F Moller and B Steffen, ''Verification over Infinite States'', in J Bergstra, A Ponse and S A Smolka (eds.), Handbook of Process Algebra, Elsevier (2001), pp545–623. # F Moller, S A Smolka and J Srba, ''On the Computational Complexity of Bisimulation, Redux'', Information and Computation , Volume 194(2), Elsevier (2004), pp129–143. # F Moller and G Struth, Modelling Computing Systems, Springer-Verlag 2013. .

External links

Home page
*
Swansea Railway Verification Group

Technocamps

Institute of Coding
in Wales
British Colloquium for Theoretical Computer Science
{{DEFAULTSORT:Moller, Faron 1962 births Living people Fellows of the Learned Society of Wales Fellows of the British Computer Society Fellows of the Institute of Mathematics and its Applications British computer scientists Welsh computer scientists Canadian expatriate academics in the United Kingdom People from Trail, British Columbia Alumni of the University of Edinburgh University of British Columbia alumni University of Waterloo alumni Academics of Swansea University Formal methods people

Biography

Appointments and honours

See also

References

External links