Experiência

O Dr. Jeremy Gibbons é considerado uma eminência internacional por suas contribuições no campo da Metodologia da Programação e suas aplicações na Engenharia de Software. Por mais de duas décadas, este especialista associado ao Departamento de Ciências da Computação da Universidade de Oxford impulsionou diferentes projetos de desenvolvimento cujos resultados mais palpáveis são aplicados por informáticos de diversas partes do mundo.

Seu trabalho abrange áreas como a programação genérica, os métodos formais, a biologia computacional, a bioinformática e o design de algoritmos com Haskell. Este último tema foi amplamente desenvolvido em conjunto com seu mentor, o Dr. Richard Bird.

Desde seu papel como Diretor do Grupo de Pesquisa em Álgebra de Programação, Gibbons propiciou avanços relacionados aos Linguagens de Programação Funcional e à Teoria de Padrões em Programação. Ao mesmo tempo, as aplicações de suas inovações têm sido ligadas ao setor de saúde, como demonstra sua colaboração com CancerGrid e Datatype-Generic Programming. Estas e outras iniciativas refletem seu interesse em resolver problemas práticos na pesquisa do câncer e na informática clínica.

Além disso, Gibbons também deixou uma marca significativa como Editor Chefe de publicações acadêmicas no The Journal of Functional Programming e no The Programming Journal: The Art, Science, and Engineering of Programming. Através dessas responsabilidades, realizou uma intensa divulgação e disseminação do conhecimento. Além disso, liderou várias cátedras de estudo vinculadas a instituições de renome, como a Universidade Oxford Brookes e a Universidade de Auckland, Nova Zelândia.

Por outro lado, este especialista é membro do Grupo de Trabalho 2.1 sobre Linguagens Algorítmicas e Cálculos da Federação Internacional para o Processamento da Informação (IFIP). Com esta organização, oferece manutenção aos linguagens de programação ALGOL 60 e ALGOL 68.

  • Diretor do Programa de Engenharia de Software da Universidade de Oxford, Reino Unido.
  • Subdiretor do Laboratório de Informática e Departamento de Ciências da Computação da Universidade de Oxford.
  • Catedrático no Kellogg College, na Universidade Oxford Brookes e na Universidade de Auckland, Nova Zelândia.
  • Diretor do Grupo de Pesquisa em Álgebra de Programação.
  • Editor Chefe das revistas The Art, Science, and Engineering of Programming e Journal of Functional Programming.
  • Doutor em Ciências da Computação pela Universidade de Oxford.
  • Formado em Informática pela Universidade de Edimburgo.
  • Membro:
    • Grupo de Trabalho 2.1 sobre Linguagens Algorítmicas e Cálculos da Federação Internacional para o Processamento da Informação (IFIP)

 

Programas nos quais colabora

1 /