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. 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.
doctoral student
Wikipage disambiguates
doctoral students
primaryTopic
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. 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.
has abstract
Faron George Moller (born Febr ...... Institute of Coding in Wales.
@en
alma mater
birth date
1962-02-25
birth name
Faron George Moller
@en
birth place
residence
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
926,322,587
Link from a Wikipage to another Wikipage
alma mater
@en
University of British Columbia
@en
University of Edinburgh
@en
University of Waterloo
@en
birth date
1962-02-25
birth name
Faron George Moller
@en
birth place
caption
Faron Moller in 2019
@en
name
Faron Moller
@en
residence
wikiPageUsesTemplate
subject
hypernym
sameAs
comment
Faron George Moller (born Febr ...... Institute of Coding in Wales.
@en
label
Faron Moller
@en
wasDerivedFrom
isPrimaryTopicOf
name
Faron Moller
@en