Carroll Morgan (científico informático) - Carroll Morgan (computer scientist)
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 | |
Los 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 |
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.
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. 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.
Morgan es ahora profesor en la Escuela de Ciencias de la Computación e Ingeniería de la Universidad de Nueva Gales del Sur , e investigador principal senior en Trustworthy Systems, parte de CSIRO's Data61, 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 . 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), incluido el Grupo de Trabajo 2.1 de IFIP sobre Lenguajes y Cálculos Algorítmicos, que especifica , mantiene y da soporte a los lenguajes de programación. ALGOL 60 y ALGOL 68 .
Referencias
enlaces externos
- Página web oficial
- Carroll Morgan en el servidor de bibliografía DBLP