07/2024 — present
Research Assistant
ACLAI LAB, Ferrara
- Research and development in artificial intelligence and machine learning.
- Contributing to the development of Sole.jl (an IML framework in Julia).
About
I'm a student and researcher in Artificial Intelligence based in Ferrara, with a particular interest in symbolic AI, interpretable machine learning and computational logic. I work as a Research Assistant at ACLAI LAB, where I contribute to the development of open-source tools for symbolic learning and rule extraction from complex models, always looking for a balance between formal rigor and practical usefulness.
Outside of academic work I enjoy writing code for lighter, more personal projects: if you'd like a look at that more informal side, you can find it all on my GitHub .
Publications
Authors are listed in alphabetical order by last name, as is convention in the field.
★ indicates that the paper was presented in person by the author.
2026
Structural Compression of Ensemble Models via Evolutionary Algorithms
MDAI 2026
2026
Hybrid SAT-Based Decision Trees
IWINAC 2026
Work experience
03/2026 — 06/2026
Teaching Assistant, Computer Architecture and Lab
University of Ferrara
- Designed and ran tutoring sessions for students of the Computer Architecture course.
- Topics covered:
- Binary representation of information, Boolean algebra, combinational and sequential logic, synthesis with Karnaugh maps, standard arithmetic components and the ALU.
- Von Neumann model, ISA and MIPS Assembly programming (including lab sessions), procedure calls, alignment and endianness.
- Integer and floating-point arithmetic (IEEE 754), datapath and control unit design, pipelining, hazard handling with forwarding and branch prediction.
- In-order and out-of-order architectures (reorder buffer, register renaming, exception handling), memory hierarchy: cache (direct-mapped and associative) and virtual memory.
09/2025 — 02/2026
Recipient of a post-graduate research and advanced training grant
University of Ferrara
- Designed, built and tested an intelligent warehouse management system for a chain of precious metal trading stores.
07/2022 — 10/2022
IT and Telecommunications Technician
ITCARE S.R.L., Ferrara
- Managed and maintained network infrastructure.
- Provided technical support and help desk services.
- Designed and developed automations for business management.
- Created IT training courses.
09/2021 — 10/2021
IT Intern
ITCARE S.R.L., Ferrara
- Multi-language programming for business management.
- Database redesign with KeePass Password Safe.
- Developed automations for business management.
- Created teaching materials for IT courses.
Education
2026
ESSLLI 2026 — European Summer School in Logic, Language and Information
Prague, Czech Republic
- Algebraic Automata Theory: A Rosetta Stone for Computer Scientists
- Formal Verification of Multi-Agent Systems. Why, What, and Especially: How?
- Reasoning in graph games: A modal logic study
- Tableaux-based decision methods for modal, temporal, and epistemic logics
2025 — ongoing
Master's Degree in Artificial Intelligence, Data Science and Big Data
University of Ferrara (LM-18/LM-32)
corsi.unife.it/lm-ia
2022 — 2025
Bachelor's Degree in Computer Science (L-31)
University of Ferrara · 110 cum laude
corsi.unife.it/informatica
2017 — 2022
Skills
ItalianNative
EnglishB1 listening, speaking, writing · B2
reading
prog. languages
Julia, Haskell, MIPS Assembly, PHP, MySQL, HTML, CSS, JavaScript, LaTeX, C, C++, Java,
Python, MATLAB
frameworks
Laravel, Angular
other
Machine Learning, Interpretable ML, Symbolic Learning, Database Design, Network Management
Talks & presentations
Talk / Conference
2026
Symbolic post-hoc analysis with SolePostHoc.jl
JuliaCon Global — Johannes Gutenberg University Mainz, Germany · video
Poster
2026
Learning with SOLE
JuliaCon Global — Johannes Gutenberg University Mainz, Germany
School / Lecture
2026
Modern IA in Investigación Psicología Clínica, Salud y Estrés
Facultad de Medicina, Universidad Católica de Murcia (UCAM)
Talk / Conference
2025
Symbolic Learning and Rule Extraction with Sole.jl
JuliaCon Local Paris · video