Charles Carroll Morgan (nacido en 1952) es un informático estadounidense que se mudó a Australia en su adolescencia. Completó su educación allí (escuela secundaria, universidad, varios años en la industria), incluido un título de Doctor en Filosofía (Ph.D.) de la Universidad de Sydney , y luego se mudó al Reino Unido a principios de la década de 1980. En 2000, regresó a Australia.
Charles Carroll Morgan | |
---|---|
Nació | 1952 (68 a 69 años de edad) |
Nacionalidad | Estados Unidos |
Educación | Doctor. ; Universidad de Sydney |
Conocido por | Métodos formales |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Laboratorio de Computación de la Universidad de Oxford Universidad de Nueva Gales del Sur |
Influencias | Jean-Raymond Abrial , Ken Robinson |
Sitio web | www |
Durante las décadas de 1980 y 1990, Morgan trabajó en el Laboratorio de Computación de la Universidad de Oxford en Inglaterra como investigador y conferencista en el área de métodos formales , y miembro del Pembroke College. Habiendo sido influenciado por la notación Z de Jean-Raymond Abrial , fue el autor de Programming from Especificaciones como un intento de combinar los aspectos de especificación de alto nivel de Z, con los rigurosos métodos de derivación de programas de computadora de Edsger W. Dijkstra . Su tratamiento se concentró en las construcciones del programa elemental para hacer el material accesible a los estudiantes universitarios en sus primeros años. [1] Algunas de las ideas allí fueron incorporadas más tarde como elementos del Método B por Abrial, cuando Abrial regresó a Oxford en la última mitad de la década de 1980.
Junto con Annabelle McIver , Morgan fue el autor de Abstraction, Refinement and Proof for Probabilistic Systems , en el que se trataron los mismos temas para los programas probabilísticos. [2]
Morgan es ahora profesor en la Escuela de Informática e Ingeniería de la Universidad de Nueva Gales del Sur , [3] e Investigador Principal Senior en Trustworthy Systems, parte de CSIRO's Data61, [4] ambos en Australia. Sus principales intereses de investigación son los modelos probabilísticos para la seguridad informática y la concurrencia . Es un conocido defensor de un enfoque formalizado para el desarrollo de programas llamado cálculo de refinamiento . [1] Es autor de muchos artículos.
Está involucrado en el desarrollo de estándares internacionales en programación e informática, como miembro activo de varios grupos de trabajo de la Federación Internacional para el Procesamiento de la Información (IFIP), [5] incluido el Grupo de Trabajo 2.1 de IFIP sobre Lenguajes y Cálculos Algorítmicos, [6] que especificó , mantiene , y es compatible con los lenguajes de programación ALGOL 60 y ALGOL 68 . [7]
Referencias
- ↑ a b Morgan, Carroll (1990-1998). Programación a partir de especificaciones . Serie Internacional en Ciencias de la Computación (2ª ed.). Prentice Hall . ISBN 978-0137262335. Consultado el 4 de octubre de 2020 .
- ^ McIver, Annabelle; Morgan, Charles Carroll (2005). Abstracción, refinamiento y prueba para sistemas probabilísticos . Monografías en Informática. Nueva York: Springer Nature . doi : 10.1007 / b138392 . ISBN 978-0-387-40115-7.
- ^ "Carroll Morgan, profesor, Aust. Professional Fellow ARC" . Australia: Universidad de Nueva Gales del Sur . Archivado desde el original el 1 de febrero de 2014 . Consultado el 26 de enero de 2014 .
- ^ "Carroll Morgan, investigador principal senior, sistemas confiables" . Australia.
- ^ "Grupo de diseño de software: Carroll Morgan" . Estados Unidos: MIT . Archivado desde el original el 18 de junio de 2010 . Consultado el 20 de junio de 2010 .
- ^ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (17 de agosto de 2016). "Perfil del Grupo de Trabajo 2.1 de IFIP" . Foswiki . Consultado el 4 de octubre de 2020 .
- ^ Swierstra, Doaitse; Gibbons, Jeremy ; Meertens, Lambert (2 de marzo de 2011). "ScopeEtc: IFIP21: Foswiki" . Foswiki . Consultado el 4 de octubre de 2020 .
enlaces externos
- Página web oficial
- Carroll Morgan en el servidor de bibliografía DBLP