Assistant with PhD in Mathematics (postdoc), University of Nova Gorica (Slovenia).
PhD in Mathematics (Doktor w dziedzinie nauk ścisłych i przyrodniczych w dyscyplinie: matematyka)
Institution: University of Szczecin (Poland).
Dissertation title: Algebraic hyperstructures in the model theory of valued fields.
Supervisor: prof. Franz-Viktor Kuhlmann.
External referees: prof. Hagen Knaf, prof. Piotr Kowalski, prof. Wiesław Kubiś.
Date on the diploma: December 1, 2023.
The dissertation and related documents are available online at the repository of the University of Szczecin.
Master Degree in Mathematics (Laurea Magistrale, classe LM40)
Institution: University of Florence (Italy).
Evaluation: 110/110 cum laude.
Thesis title: The Ax-Kochen-Ershov Theorem (Il Teorema di Ax-Kochen-Ershov, in Italian).
Date on the diploma: July 18, 2018.
Bachelor Degree in Mathematics (Laurea Triennale, classe L-35)
Institution: University of Udine (Italy).
Evaluation: 101/110.
Thesis title: The Consistency of Arithmetic (Coerenza dell’aritmetica, in italian).
Date on the diploma: March 18, 2015.
The Ax-Kochen-Ershov theorem with a view on tame fields. Graduate students' workshop on algebra, logic and analysis. 31 May - 3 June 2019, Szczecin (Poland).
The Caristi-Kirk fixed point theorem and equivalence principles, a view point from the theory of ball spaces. The twentysecond Colloquiumfest. 6-9 December 2020, Prague (Czech Republic).
Valuations on hyperfields. Seminarium z Algebry i Teorii Liczb (Seminars in algebra and number theory). 10 May 2021 Katowice (Poland).
Structures for quantifier elimination in valued fields. Second Graduate Students' Workshop on Algebra, Logic and Analysis. 24-25 March 2022, Szcecin (Poland);
Structures for quantifier elimination in valued fields. Logic4Peace. 22-23 April 2022, Amsterdam (Netherlands).
Invited research visit at the University of Nova Gorica from 23rd may to 3rd of June 2022.
Krasner hyperfields in the model theory of valued fields. 2nd Symposium on hypercompositional algebra-new developmets and applications. 1-3 June 2022, Nova Gorica (Slovenia).
Krasner hyperfields in the model theory of valued fields. International conference on mathematics applied in life sciences. 23-24 June 2022, Iasi (Romania).
Algebraic hyperstructures in the model theory of valued fields. Invited talk at the Università degli studi della Campania. 9 September 2022. Caserta (Italy).
On an algebraic description of projective geometries. Invited talk at the University of Montenegro. 29 May 2023, Podgorica (Montenegro).
On the deep connection between hyperstructures and quantum logic. Poster at The 20th International Conference on Quantum Physics and Logic (QPL 2023) July 2023, Paris (France).
A New Symmetry in Valuation Theory. Talk at The 4th International Conference on Symmetry June 2023, Barcelona (Spain).
Academic Erasmus+ mobility at Department of Mathematics of the University of Technology of Brno. June 2024, Brno (Czech Republic).
Organizer and lecturer at the summer school Bridging Gaps: Formal Computational and Experimental Approaches in Linguistics 2023 (FEAL 2023) held in Chemnitz (Germany) in summer 2023 for the project ACROSS: European Cross-Border University. Title of the lecture: “Language and Deduction”.
Linear algebra for physics. School of Science at the University of Nova Gorica. Assistant.
Technical mathematics. School of Engineering and Management at the University of Nova Gorica. Assistant.
Business mathematics. School of Engineering and Management at the University of Nova Gorica. Assistant.
Mathematics. School for Viticolture and Enology at the University of Nova Gorica. Assistant.
Tutor in mathematics. Department of Agricultural Sciences at the University of Udine.
Tutor in mathematics. Department of Agricultural Sciences at the University of Florence.
Head of the course in Information Technologies. Faculty of Humanities at the University of Szczecin.
Tutor for exercises and practice in occasion of a reading course for an Erasmus student at the University of Szczecin.
Co-mentor of a master student at the University of Szczecin for the thesis.
I dati personali sono protetti ai sensi del GDPR 2016/679 del 27 aprile 2016 (Regolamento Europeo relativo alla protezione delle persone fisiche per quanto riguarda il trattamento dei dati personali).
[...] One can (assuming the consistency of classical mathematics) even give examples of propositions […] which are really contentually true but are unprovable in the formal system of classical mathematics. Therefore if one adjoins the negation of such a proposition to the axioms of classical mathematics, one obtains a consistent system in which a contentually false proposition is provable.
Kurt Gödel. Könisberg, September 7, 1930.
Discussion on the Foundation of Mathematics, Translated and edited by J. W. Dawson Jr., History and Philosophy of Logic, 5:1. 1984.