Guido Gherardi è professore associato di Logica e Filosofia della Scienza presso l’Università di Bologna. È anche docente di Teoria dei Modelli nel medesimo Ateneo. Il suo principale ambito di ricerca è costituito dalla Teoria della Computabilità e, in particolare, dall’Analisi Computazionale.