CV

Education

• Ph.D in Mathematics, University of Ferrara, 2026 (expected)
• Visiting Ph.D student, University of Queensland, 2024
• M.S. in Computer Science, University of Bologna, 2023
• B.S. in Computer Science, University of Ferrara, 2021

Work experience

• 2023.02 - 2023.07: Internship at University of Bologna
  • Department of Computer Science and Engineering, University of Bologna
  • Duties includes: study of the application of Probabilistic Diffusion Models to Precipitation Nowcasting
  • Supervisor: Andrea Asperti
• 2021.03 - 2021.09: Internship at Applied Computational Logic and Artificial Intelligence Lab
  • Department of Mathematics and Computer Science, University of Ferrara
  • Duties included: development of an open source Laravel package for rule extraction from MySQL databases, which has been applied for the creation of a rule-based system targeted at physicians of the Menopause and Osteoporosis Center (CMO) in Ferrara for treatment suggestion based on previous successful choices of the physician for similar patients
  • Supervisor: Guido Sciavicco

Skills

• Coding
  • Julia
  • Python
  • MATLAB
  • C
• Artificial Intelligence
  • Symbolic Machine Learning
  • Interpretable AI
• Logics and Mathematics
  • Modal Logic
  • Many-Valued Logic
  • Automated Theorem Proving

Publications

Many-Expert Decision Trees

Badia, Guillermo, Noguera, Carles, Paparella, Alberto, and Sciavicco, Guido. (2024). "Many-Expert Decision Trees." 6th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY 2024), Bolzano, Italy, 28-39 November 2024. 1(1).

Fitting’s Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation

Badia, Guillermo, Noguera, Carles, Paparella, Alberto, Sciavicco, Guido, and Stan, Eduard I. (2024). "Fitting's Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation." 31st International Symposium on Temporal Representation and Reasoning (TIME 2024), Montpellier, France, 28-30 October 2024. 1(1).

Talks

Reasoning with many-valued interval temporal logic

November 28, 2024

Conference talk at Australasian Association for Logic Conference 2024, University of Sydney, Sydney, New South Wales, Australia

Many-Expert Decision Trees

October 22, 2024

Workshop talk at Brisbane Logic Workshop, University of Queensland, Brisbane, Queensland, Australia

Teaching

Tutor Discrete Mathematics

Tutor Computer Architecture and Laboratory

Tutor Computer Architecture and Laboratory

Tutor Computer Architecture and Laboratory

Tutor Numerical Analysis and Laboratory

Service and leadership

• 10.2019 - 9.2021: Student Representative in the Joint Commitee (Commissione Paritetica) of the Department of Mathematics and Computer Science at the University of Ferrara
• 10.2018 - 9.2021: Student Representative for Bachelor students at the University of Ferrara