# Faron Moller

> British computer scientist

**Wikidata**: [Q5436128](https://www.wikidata.org/wiki/Q5436128)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Faron_Moller)  
**Source**: https://4ort.xyz/entity/faron-moller

## Summary
Faron Moller is a British computer scientist and researcher employed by Swansea University. He is known for his work in theoretical computer science, notably his doctoral thesis "Axioms for concurrency," and is a Fellow of the Learned Society of Wales and other professional bodies.

## Biography
- Born: 25 February 1962, Trail
- Nationality: British
- Education: University of Edinburgh (doctoral thesis: "Axioms for concurrency")
- Known for: Research on concurrency and theoretical computer science; author of the doctoral thesis "Axioms for concurrency"
- Employer(s): Swansea University
- Field(s): Computer science; engineering; research

## Contributions
Faron Moller’s documented concrete academic contribution is his doctoral thesis, titled "Axioms for concurrency" (available in the UK EThOS repository: uk.bl.ethos.328737). He completed doctoral research under the supervision of Robin Milner, a leading figure in theoretical computer science, which situates his work within a recognized lineage in concurrency theory. Moller maintains standard research profiles and author identifiers that record his publication output and enable access to his papers: DBLP (dblp_author_id: m/FaronMoller), Google Scholar (google_scholar_author_id: vOzlM6oAAAAJ), ACM Digital Library (acm_digital_library_author_id: 81100071492), zbMATH (zbmath_author_id: moller.faron), and MathGenealogy (mathematics_genealogy_project_id: 150160). His professional recognition includes election as a Fellow of the Learned Society of Wales (point in time: 2016), Fellowship of the British Computer Society, and Fellowship of the Institute of Mathematics and its Applications. These fellowships and his author profiles document a body of published research in computer science and engineering, with a particular emphasis on concurrency and related theoretical topics.

## FAQs
### Q: Where does Faron Moller work?
A: Faron Moller is employed by Swansea University and resides in Swansea.

### Q: What is Faron Moller’s main research area?
A: His documented research area is theoretical computer science with a focus on concurrency, as evidenced by his doctoral thesis "Axioms for concurrency."

### Q: What honors has he received?
A: He is a Fellow of the Learned Society of Wales (2016), a Fellow of the British Computer Society, and a Fellow of the Institute of Mathematics and its Applications.

## Why They Matter
Faron Moller’s work is situated in the foundational area of concurrency within theoretical computer science. His doctoral thesis, "Axioms for concurrency," and the body of publications recorded under established academic author identifiers contribute to the formal understanding of concurrent systems. Being supervised by Robin Milner places him in a recognized academic lineage associated with major advances in process calculi and formal methods. Election as a Fellow of the Learned Society of Wales and fellowships in major professional societies reflect peer recognition of the quality and relevance of his contributions. These honors indicate that his research has been influential within UK computing research circles and professional communities. Without contributions such as Moller's, the collective development of formal and theoretical tools for reasoning about concurrent computation in academic settings—especially at institutions where he has worked—would lack part of the published foundation and professional leadership that support ongoing research and teaching in concurrency.

## Notable For
- Author of the doctoral thesis "Axioms for concurrency" (UK EThOS record: uk.bl.ethos.328737).
- Doctoral student of Robin Milner, linking him to a prominent theoretical computer science lineage.
- Fellow of the Learned Society of Wales (elected 2016).
- Fellow of the British Computer Society.
- Fellow of the Institute of Mathematics and its Applications.
- Employed by Swansea University; resident in Swansea.

## Body

### Personal details
- Full name: Faron George Moller (aliases: Faron George Moller).
- Born 25 February 1962 in Trail.
- Sex/gender: Male.
- Residence: Swansea.

### Education and doctoral work
- Educated at the University of Edinburgh.
- Doctoral thesis: "Axioms for concurrency."
- Doctoral advisor: Robin Milner.
- Mathematics Genealogy Project ID: 150160.
- Thesis available in the UK EThOS repository (identifier: uk.bl.ethos.328737).

### Career and affiliation
- Employer: Swansea University.
- Occupation labels include computer scientist, engineer, and researcher.
- Maintains academic profiles across major bibliographic and research services.

### Honors and professional memberships
- Fellow of the Learned Society of Wales (point in time: 2016).
- Fellow of the British Computer Society.
- Fellow of the Institute of Mathematics and its Applications.
- Member of professional and national cataloguing systems (ISNI: 0000000108861022; VIAF: 34433726; Library of Congress authority: n96017688; other national and library identifiers).

### Research presence and identifiers
- DBLP author ID: m/FaronMoller.
- Google Scholar author ID: vOzlM6oAAAAJ.
- ACM Digital Library author ID: 81100071492.
- zbMATH author ID: moller.faron.
- WorldCat entities and other library identifiers record publications and authored works.

### Legacy and context
- Research focus on concurrency places him within the theoretical computer science community concerned with formal methods and process theory.
- Recognition by learned societies and professional bodies marks his standing in the UK academic and professional computing community.

## References

1. LIBRIS. 2004
2. Mathematics Genealogy Project
3. [Source](https://www.learnedsociety.wales/fellowship/fellows/)
4. International Standard Name Identifier
5. Virtual International Authority File
6. E-Theses Online Service
7. IdRef
8. National Library of Israel Names and Subjects Authority File