Le Dr Jeremy Gibbons est considéré comme une éminence internationale pour ses contributions dans le domaine de la Méthodologie de Programmation et ses applications dans le Génie Logiciel. Depuis plus de vingt ans, cet expert associé au Département des Sciences Informatiques de l'Université d'Oxford a dirigé différents projets de développement dont les résultats les plus tangibles sont appliqués par des informaticiens dans différentes parties du monde.

Ses travaux couvrent des domaines tels que la programmation générique, les méthodes formelles, la biologie informatique, la bio-informatique et la conception d'algorithmes avec Haskell. Ce dernier a été largement développé en collaboration avec son mentor, le Dr Richard Bird.

En tant que Directeur du Groupe de Recherche sur l'Algèbre de Programmation, Gibbons a fait progresser les Langages de Programmation Fonctionnels et la Théorie des Modèles en Programmation. Parallèlement, les applications de ses innovations ont été liées au cadre des soins de santé, comme en témoigne sa collaboration avec CancerGrid et Datatype-Generic Programming. Ces initiatives, ainsi que d'autres, reflètent son intérêt pour la résolution de problèmes pratiques dans le domaine de la recherche sur le Cancer et de l'Informatique Clinique.

Gibbons a également marqué les esprits en tant que Rédacteur en Chef de publications scientifiques telles que The Journal of Functional Programming et The Programming Journal : The Art, Science, and Engineering of Programming. Dans le cadre de ces responsabilités, il a mené un travail intensif de sensibilisation et de diffusion des connaissances. En outre, il a dirigé plusieurs chaires d'étude liées à des institutions renommées telles que l'université Oxford Brookes et l'université d'Auckland, en Nouvelle-Zélande.

Il est membre du Groupe de Travail 2.1 sur les Langages Algorithmiques et l'Informatique de la Fédération Internationale pour le Traitement de l'Information (IFIP). Au sein de cette organisation, il assure la maintenance des langages de programmation ALGOL 60 et ALGOL 68.

• Directeur du Programme de Génie Logiciel à l'Université d'Oxford, Royaume-Uni
• Directeur Adjoint du Laboratoire d'Informatique et du Département d'Informatique, Université d'Oxford
• Professeur au Kellogg College, à l'université Oxford Brookes et à l'université d'Auckland, Nouvelle-Zélande
• Directeur du Groupe de Recherche sur l'Algèbre de Programmation (Programming Algebra Research Group)
• Rédacteur en Chef des revues The Art, Science, and Engineering of Programming et Journal of Functional Programming
• Doctorat en Sciences Informatiques de l'Université d'Oxford
• Licence en Informatique de l'Université d'Édimbourg
• Membre de :
  • Groupe de Travail 2.1 sur les Langages Algorithmiques et l'Informatique de la Fédération Internationale pour le Traitement de l'Information (IFIP)