Professor Faron Moller

Professor, Computer Science

Telephone number

+44 (0) 1792 295160

Email address

Office - 214
Second Floor
Computational Foundry
Bay Campus
Available For Postgraduate Supervision

About

Faron Moller is a Professor of Computer Science at Swansea University within the Theoretical Computer Science Group, where he is the Founding Head of the Swansea Railway Verification.

Faron is also Director of Technocamps, a pan-Wales schools and community outreach programme based at Swansea University but with hubs in every university in Wales. He is also Head of the Institute of Coding in Wales, which represents the business engagement arm of Technocamps, and co-Lead of the Research Theme on Educational, Historical and Philosophical Foundations of Computer Science, which represents the research arm of Technocamps.

Areas Of Expertise

  • Concurrency Theory
  • Automata Theory
  • Modal and Temporal Logic
  • Verification
  • Computer Science Education

Career Highlights

Teaching Interests

• Formal Verification Methods
• Logic and Semantics
• Automata and Formal Languages
• Algorithms and Complexity