Gibbons, Jeremy
Direttore del Programma di ingegneria del software, Università di Oxford, Regno Unito
Esperienza
Il Dott. Jeremy Gibbons è considerato un'eminenza internazionale per i suoi contributi nel campo della Metodologia di Programmazione e le sue applicazioni in Ingegneria del Software. Per oltre due decenni, questo esperto associato al Dipartimento di Informatica dell'Università di Oxford ha promosso diversi progetti di sviluppo i cui risultati più tangibili sono applicati da informatici provenienti da varie parti del mondo.
Il suo lavoro copre aree come la programmazione generica, i metodi formali, la biologia computazionale, la bioinformatica e la progettazione di algoritmi con Haskell. Quest'ultimo argomento è stato ampiamente sviluppato insieme al suo mentore, il dottor Richard Bird.
Dal suo ruolo di Direttore del Gruppo di Ricerca in Algebra di Programmazione, Gibbons ha portato avanti i Linguaggi di Programmazione Funzionale e la Teoria dei Modelli in Programmazione. Allo stesso tempo, le applicazioni delle sue innovazioni sono state collegate al quadro sanitario, come dimostra la sua collaborazione con CancerGrid e Datatype-Generic Programming. A loro volta, queste e altre iniziative riflettono il tuo interesse per risolvere problemi pratici nella ricerca sul cancro e nell'informatica clinica.
Gibbons ha anche lasciato un'impronta significativa come redattore capo delle pubblicazioni accademiche in The Journal of Functional Programming e The Programming Journal: The Art, Science, and Engineering of Programming. Attraverso queste responsabilità ha svolto un intenso lavoro di divulgazione e diffusione della conoscenza. Inoltre, ha diretto diverse cattedre di studio collegate a istituzioni rinomate come l'Università di Oxford Brookes e l'Università di Auckland, in Nuova Zelanda.
D'altra parte, questo specialista è membro del gruppo di lavoro 2.1 sui linguaggi algoritmici e i calcoli della Federazione internazionale per l'elaborazione delle informazioni (IFIP). Con questa organizzazione offre la manutenzione dei linguaggi di programmazione ALGOL 60 e ALGOL 68.
- Direttore del programma di ingegneria del software presso l'Università di Oxford, Regno Unito
- Vicedirettore del Laboratorio di Informatica e Dipartimento di Informatica dell'Università di Oxford
- Professore al Kellogg College, all'Università di Oxford Brookes e all'Università di Auckland della Nuova Zelanda
- Direttore del gruppo di ricerca algebra della programmazione
- Redattore capo delle riviste The Art, Science, and Engineering of Programming e Journal of Functional Programming
- Dottorato in scienze informatiche al l'Università di Oxford
- Laurea in informatica al l'Università di Edimburgo
- Membro di:
- Gruppo di lavoro 2.1 sui linguaggi algoritmici e i calcoli della Federazione internazionale per l'elaborazione delle informazioni (IFIP)