Faron Moller

Faron George Moller (born February 25, 1962, in Trail, British Columbia) is a Canadian-born British computer scientist and expert on theoretical computer science, particularly infinite-state automata theory and temporal logic.

[1] His work has focussed on structural decomposition techniques for analysing abstract models of computing systems.

In 2023, he was elected General Secretary of the Learned Society of Wales.

Moller serves as director of Technocamps,[9][10] 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 the Institute of Coding in Wales.

[11] Moller is a Fellow of the Learned Society of Wales (FLSW), a Fellow of the British Computer Society ( FBCS) and Fellow of the Institute of Mathematics and its Applications (FIMA), and served as President of the British Colloquium for Theoretical Computer Science for 15 years (2004-2019).