Evan BATTISTEL

Graduated under the supervision of Professor Paolo Pagani with a thesis in Analytic Philosophy on a specific study of the existential quantifier in First-Order Logic. He collaborates with Professor Paolo Pagani within the research activities of CISE. He also serves as an adjunct professor of Mathematical Logic and Philosophy and Theory of Languages, with a specific focus on Proof Theory, Theory of Formal Systems, and theories of meaning in Large Language Models.

He obtained teaching credits in History for secondary education, certifying through examinations his research interests in Military History of the Medieval and Early Modern periods. He teaches Philosophy and History in secondary schools in the provinces of Vicenza, Belluno, and Trento.

His research interests include Modal and Probabilistic Logic, Proof Theory, Philosophy of Mathematics, and issues in Rational Choice Theory and Game Theory. He holds a Master's degree in Mathematics from the University of Brescia, with a thesis in Bayesian Statistics; the degree conferred 60 ECTS credits in the scientific-disciplinary sectors of Algebra, Mathematical Analysis, Numerical Analysis, Geometry, and Probability and Statistics.

He worked for fifteen years as an employee in the commercial sector and as a trainer in sales strategy. He has been responsible for and/or has delivered several courses in Logic in upper secondary schools, aimed at teaching the fundamentals of mathematical logic and providing theoretical preparation for certain types of questions found in university entrance examinations.

He is currently collaborating on a research project on the axiomatic theory of probability under the supervision of Professor Enrico Jabara, and also works on the relationship between the mathematical architecture of LLMs and so-called distributional semantics, on prompt engineering, and on the didactics of logic and formal systems.