Ricerca
- Rappresentazione della Conoscenza e del Ragionamento
- Programmazione Logica (Answer Set Programming)
- Basi di Dati Relazionali
- Teoria dei Giochi Algoritmica
- Random Satisfiability
- Logiche per Similarità Semantiche
- Rapporto tra Scienza e Fede
- Rapporto tra Ragione e Fede
- Fondamenti Filosofico-Teologici delle Scienze Empiriche
- Fondamenti Filosofico-Teologici delle Scienze Logico-Formali
- Filosofia e Teologia dell'Intelligenza Artificiale
- Metodologia ed Epistemologia Teologica
- Dialogo tra Teologia e Scienze
- Teologia della Rivelazione
- Cosmologia Teologica
- Antropologia Teologica