Hispanopedia Wiki
Faron George Moller (nacido el 25 de febrero de 1962 en Trail, Columbia Británica ) es un informático británico nacido en Canadá y experto en informática teórica , en particular en la teoría de autómatas de estados infinitos y la lógica temporal . [1] Su trabajo se ha centrado en técnicas de descomposición estructural para analizar modelos abstractos de sistemas informáticos. Es director fundador del Swansea Railway Verification Group; [2] Director de Technocamps; y Jefe del Instituto de Codificación de Gales. En 2023, fue elegido Secretario General de la Sociedad Científica de Gales . [3] [4] [5] [6]
Educación
Moller estudió matemáticas y ciencias de la computación como estudiante de pregrado en la Universidad de Columbia Británica , y luego como estudiante de maestría en la Universidad de Waterloo , antes de realizar un doctorado supervisado por Robin Milner en el Laboratorio de Fundamentos de Ciencias de la Computación en la Universidad de Edimburgo . [7] [8]
Carrera e investigación
Moller ha ocupado puestos en la Universidad de Strathclyde , la Universidad de Edimburgo , el Instituto Sueco de Ciencias de la Computación , el Instituto Real de Tecnología de Estocolmo y la Universidad de Uppsala antes de trasladarse a Gales como profesor de Ciencias de la Computación en la Universidad de Swansea en 2000.
Moller se desempeña como director de Technocamps, [9] [10] un programa de extensión escolar en todo Gales cuyo objetivo es introducir y reforzar la informática y la competencia digital en todas las escuelas galesas e inspirar a los jóvenes a estudiar temas relacionados con la informática; y es director del Instituto de Codificación de Gales. [11]
Premios y honores
Moller es miembro de la Sociedad Científica de Gales (FLSW), miembro de la Sociedad Británica de Computación (FBCS) y miembro del Instituto de Matemáticas y sus Aplicaciones (FIMA), y se desempeñó como presidente del Coloquio Británico de Ciencias de la Computación Teórica durante 15 años (2004-2019). [ cita requerida ] Es un matemático colegiado, un científico colegiado y un profesional de TI colegiado.
Referencias
- ^ Publicaciones de Faron Moller indexadas por Google Scholar
- ^ "Grupo de verificación ferroviaria de Swansea".
- ^ F Moller, Resultados infinitos , en U Montanari y V Sassone (eds.), Lecture Notes in Computer Science, Volumen 1119, Springer Verlag (1996), págs. 195-216.
- ^ O Burkart, D Caucal, F Moller y B Steffen, Verificación sobre estados infinitos , en J Bergstra, A Ponse y SA Smolka (eds.), Handbook of Process Algebra, Elsevier (2001), págs. 545-623.
- ^ F Moller, SA Smolka y J Srba, Sobre la complejidad computacional de la bisimulación, Redux, Información y computación, Volumen 194(2), Elsevier (2004), pp129–143. doi :10.1016/j.ic.2004.06.003
- ^ F Moller y G Struth, Modelado de sistemas informáticos, Springer-Verlag 2013. ISBN 9781848003217
- ^ Faron Moller en el Proyecto de Genealogía Matemática
- ^ Faron Moller en el servidor de bibliografía DBLP
- ^ Casey Hopkins, Faron Moller (2024) Instituto de codificación en Gales Campamentos de capacitación en habilidades digitales: microcredenciales: un proyecto piloto CEP '24: Actas de la 8.ª Conferencia sobre prácticas de educación informática doi : 10.1145/3633053.3633055
- ^ https://www.technocamps.com
- ^ https://instituteofcoding.org