Salvatore Cristofaro ha conseguito la Laurea in Scienze dell'Informazione e, successivamente, il titolo di Dottore di Ricerca in Informatica presso l'Università degli Studi di Catania. I suoi interessi di ricerca includono: Knowledge Extraction and Representation, Text Processing, Formal Deductive Systems and Models of Computation, Formal Languages, Mathematical Logic.