Alter | 64 Jahre |
Beruf | Forscher, Informatiker, Ingenieur |
Geburtsdatum | Sonntag, 25. Februar 1962 |
Sternzeichen | |
Beschreibung | Faron George Moller (* 25. Februar 1962 in Trail, British Columbia) ist ein in Kanada geborener britischer Informatiker und Experte für theoretische Informatik, insbesondere für die Automatentheorie mit unendlichen Zuständen und temporale Logik. Seine Arbeit konzentriert sich auf Strukturzerlegungstechniken zur Analyse abstrakter Modelle von Computersystemen. Er ist Gründungsdirektor der Swansea Railway Verification Group, Direktor von Technocamps und Leiter des Institute of Coding in Wales. |