Faron Moller
Encyclopedia
Faron George Moller is a Canadian
-born British
computer scientist and expert on theoretical computer science
, particularly infinite-state automata theory
and temporal logic
. His work has focussed on structural decomposition techniques for analysing abstract models of computing systems.
Moller studied mathematics
and computer science
as an undergraduate at the University of British Columbia
, and then as a Masters student at the University of Waterloo
, before going on to do a PhD
supervised by Robin Milner
in the Laboratory for Foundations of Computer Science
at the University of Edinburgh
. He has held posts at Strathclyde University, Edinburgh University, The Swedish Institute for Computer Science, The Royal Institute of Technology in Stockholm, and Uppsala University
before moving to Wales as Professor of Computer Science at Swansea University
in 2000.
Professor Moller is a Fellow
of the British Computer Society
and Fellow
of the Institute of Mathematics and its Applications
, and in 2004 was elected President of the British Colloquium for Theoretical Computer Science
. He is also Director of Technocamps, a £6 million schools outreach programme aimed at inspiring young people to study computing-based topics.
Canada
Canada is a North American country consisting of ten provinces and three territories. Located in the northern part of the continent, it extends from the Atlantic Ocean in the east to the Pacific Ocean in the west, and northward into the Arctic Ocean...
-born British
United Kingdom
The United Kingdom of Great Britain and Northern IrelandIn the United Kingdom and Dependencies, other languages have been officially recognised as legitimate autochthonous languages under the European Charter for Regional or Minority Languages...
computer scientist and expert on theoretical computer science
Theoretical computer science
Theoretical computer science is a division or subset of general computer science and mathematics which focuses on more abstract or mathematical aspects of computing....
, particularly infinite-state automata theory
Automata theory
In theoretical computer science, automata theory is the study of abstract machines and the computational problems that can be solved using these machines. These abstract machines are called automata...
and temporal logic
Temporal logic
In logic, the term temporal logic is used to describe any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. In a temporal logic we can then express statements like "I am always hungry", "I will eventually be hungry", or "I will be hungry...
. His work has focussed on structural decomposition techniques for analysing abstract models of computing systems.
Moller studied mathematics
Mathematics
Mathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...
and computer science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
as an undergraduate at the University of British Columbia
University of British Columbia
The University of British Columbia is a public research university. UBC’s two main campuses are situated in Vancouver and in Kelowna in the Okanagan Valley...
, and then as a Masters student at the University of Waterloo
University of Waterloo
The University of Waterloo is a comprehensive public university in the city of Waterloo, Ontario, Canada. The school was founded in 1957 by Drs. Gerry Hagey and Ira G. Needles, and has since grown to an institution of more than 30,000 students, faculty, and staff...
, before going on to do a PhD
Doctor of Philosophy
Doctor of Philosophy, abbreviated as Ph.D., PhD, D.Phil., or DPhil , in English-speaking countries, is a postgraduate academic degree awarded by universities...
supervised by Robin Milner
Robin Milner
Arthur John Robin Gorell Milner FRS FRSE was a prominent British computer scientist.-Life, education and career:...
in the Laboratory for Foundations of Computer Science
Laboratory for Foundations of Computer Science
The Laboratory for Foundations of Computer Science is based in the School of Informatics at the University of Edinburgh, Scotland. It has an international reputation in theoretical computer science, mathematical logic and category theory.- Current :...
at the University of Edinburgh
University of Edinburgh
The University of Edinburgh, founded in 1583, is a public research university located in Edinburgh, the capital of Scotland, and a UNESCO World Heritage Site. The university is deeply embedded in the fabric of the city, with many of the buildings in the historic Old Town belonging to the university...
. He has held posts at Strathclyde University, Edinburgh University, The Swedish Institute for Computer Science, The Royal Institute of Technology in Stockholm, and Uppsala University
Uppsala University
Uppsala University is a research university in Uppsala, Sweden, and is the oldest university in Scandinavia, founded in 1477. It consistently ranks among the best universities in Northern Europe in international rankings and is generally considered one of the most prestigious institutions of...
before moving to Wales as Professor of Computer Science at Swansea University
Swansea University
Swansea University is a university located in Swansea, Wales, United Kingdom. Swansea University was chartered as University College of Swansea in 1920, as the fourth college of the University of Wales. In 1996, it changed its name to the University of Wales Swansea following structural changes...
in 2000.
Professor Moller is a Fellow
Fellow
A fellow in the broadest sense is someone who is an equal or a comrade. The term fellow is also used to describe a person, particularly by those in the upper social classes. It is most often used in an academic context: a fellow is often part of an elite group of learned people who are awarded...
of the British Computer Society
British Computer Society
The British Computer Society, is a professional body and a learned society that represents those working in Information Technology in the United Kingdom and internationally...
and Fellow
Fellow
A fellow in the broadest sense is someone who is an equal or a comrade. The term fellow is also used to describe a person, particularly by those in the upper social classes. It is most often used in an academic context: a fellow is often part of an elite group of learned people who are awarded...
of the Institute of Mathematics and its Applications
Institute of Mathematics and its Applications
The Institute of Mathematics and its Applications is the UK's chartered professional body for mathematicians and one of the UK's learned societies for mathematics ....
, and in 2004 was elected President of the British Colloquium for Theoretical Computer Science
British Colloquium for Theoretical Computer Science
The British Colloquium for Theoretical Computer Science is an organisation that hosts an annual event for UK-based researchers in theoretical computer science...
. He is also Director of Technocamps, a £6 million schools outreach programme aimed at inspiring young people to study computing-based topics.