Gabriele Lolli ha studiato prima teoria degli
insiemi e in seguito applicazioni della logica all'informatica
(linguaggi di programmazione logici e logiche per l'Intelligenza
Artificiale). Recentemente i suoi interessi si sono rivolti alla filosofia della
matematica, e soprattutto al contributo che può dare la logica
intesa come metamatematica, in particolare a chiarire le
molteplici funzioni e i diversi aspetti della dimostrazione matematica. Fino al 2006 ha insegnato Logica Matematica e Statistica al Dipartimento di Matematica dell'Università di Torino.