Faron Moller
Faron Moller | |
|---|---|
Faron Moller | |
| Born | Faron George Moller 25 February 1962 |
| Alma mater |
|
| Scientific career | |
| Fields | Theoretical computer science |
| Institutions | Swansea University University of Strathclyde University of Edinburgh Swedish Institute for Computer Science Royal Institute of Technology Uppsala University |
| Thesis | Axioms for Concurrency (1989) |
| Doctoral advisor | Robin Milner |
| Website | www |
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. His work has focussed on structural decomposition techniques for analysing abstract models of computing systems. He is founding director of the Swansea Railway Verification Group; Director of Technocamps; and Head of the Institute of Coding in Wales. In 2023, he was elected General Secretary of the Learned Society of Wales.