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.

PropertyValue
dbpprop:abstract
  • 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.
dbpprop:hasPhotoCollection
dbpprop:id
  • m/Moller:Faron
dbpprop:name
  • Faron Moller
dbpprop:reference
dbpprop:wikiPageUsesTemplate
rdf:type
rdfs:comment
  • 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.
rdfs:label
  • Faron Moller
owl:sameAs
skos:subject
foaf:page
is dbpedia-owl:Scientist/doctoralStudent of
is dbpedia-owl:doctoralStudent of
is owl:sameAs of