Carroll Morgan (cientista da computação) - Carroll Morgan (computer scientist)

Charles Carroll Morgan (nascido em 1952) é um cientista da computação americano que se mudou para a Austrália no início da adolescência. Ele completou sua educação lá (colégio, universidade, vários anos na indústria), incluindo o grau de Doutor em Filosofia (Ph.D.) da Universidade de Sydney , e então se mudou para o Reino Unido no início dos anos 1980. Em 2000, ele voltou para a Austrália.

Durante as décadas de 1980 e 1990, Morgan trabalhou no Oxford University Computing Laboratory, na Inglaterra, como pesquisador e palestrante trabalhando na área de métodos formais , e membro do Pembroke College. Tendo sido influenciado pela notação Z de Jean-Raymond Abrial , ele foi o autor de Programação de Especificações como uma tentativa de combinar os aspectos de especificação de alto nível de Z com os rigorosos métodos de derivação de programa de computador de Edsger W. Dijkstra . Seu tratamento concentrou-se em construções de programas elementares para tornar o material acessível aos alunos de graduação em seus primeiros anos. Algumas das ideias foram posteriormente incorporadas como elementos do Método B por Abrial, quando Abrial retornou a Oxford na última metade da década de 1980.

Juntamente com Annabelle McIver , Morgan escreveu posteriormente Abstraction, Refinement and Proof for Probabilistic Systems , em que os mesmos temas foram perseguidos para programas probabilísticos.

Morgan é agora professor da Escola de Ciência da Computação e Engenharia da University of New South Wales e Pesquisador Principal Sênior da Trustworthy Systems, parte do Data61 do CSIRO, ambos na Austrália. Seus principais interesses de pesquisa são modelos probabilísticos para segurança de computadores e concorrência . Ele é um conhecido proponente de uma abordagem formalizada para o desenvolvimento de programas chamada cálculo de refinamento . Ele é autor de muitos artigos.

Ele está envolvido com o desenvolvimento de padrões internacionais em programação e informática, como um membro ativo de vários grupos de trabalho da Federação Internacional para Processamento de Informação (IFIP), incluindo o Grupo de Trabalho 2.1 do IFIP em Linguagens Algorítmicas e Cálculos, que especifica , mantém e oferece suporte às linguagens de programação ALGOL 60 e ALGOL 68 .

Referências

links externos

• Website oficial
• Carroll Morgan no DBLP Bibliography Server