Evan BATTISTEL

Laureato sotto la supervisione del Professor Paolo Pagani con una tesi in Filosofia Analitica riguardante uno studio specifico del quantificatore esistenziale nella Logica del primo ordine. Collabora con il professor Paolo Pagani all'interno delle ricerche del Cise. Insegna inoltre come professore a contratto di Logica Matematica e Filosofia e Teoria dei Linguaggi, con specifico focus su: teoria della dimostrazione; teoria dei sistemi formali; teoria del significato nei LLMs.

Ha conseguito i crediti di Storia per l'insegnamento liceale, attestando tramite esami i suoi interessi per la Storia militare relativa all'Età Medievale e Moderna. Insegnante di Filosofia e Storia nella provincia di Vicenza, Belluno e Trento.

Studioso di Logica Modale e Logica Probabilistica, Proof Theory, Filosofia della Matematica, e delle problematiche legate alla Teoria delle Scelte Razionali e alla Teoria dei Giochi. Ha conseguito un Master in Matematica presso l'Università di Brescia con una tesi in Statistica Bayesiana; tale Master gli ha conferito 60 CFU nei SSD di Algebra, Analisi Matematica, Analisi Numerica, Geometria, Probabilità e Statistica.

Ha lavorato per quindici anni come impiegato nel settore commerciale e come formatore nel campo delle strategie di vendita. È stato responsabile e/o erogatore di diversi corsi di Logica nelle scuole secondarie di secondo grado, finalizzati all'insegnamento delle basi della logica matematica e alla comprensione teorica di alcune tipologie di quesiti presenti nei test d'ingresso universitari.

Attualmente collabora a un progetto di ricerca riguardante la teoria assiomatica della probabilità sotto la supervisione del professor Enrico Jabara, e si occupa inoltre dei legami tra l'architettura matematica dei LLMs e la cosiddetta semantica distribuzionale, di prompt engineering, e della didattica della logica e della scienza dei sistemi formali.