Salvatore Cristofaro è assegnista di ricerca presso l'Istituto di Scienze e Tecnologie della Cognizione (ISTC) - CNR a Catania. Nel 2007 ha conseguito il titolo di Dottore di Ricerca in Informatica presso l'Università di Catania. I suoi interessi di ricerca includono Sistemi Deduttivi Formali e Modelli di Computazione, Logica Matematica, Estrazione e rappresentazione della conoscenza, Elaborazione dei testi. Ha pubblicato articoli su riviste nazionali e internazionali e atti di conferenze.