linzi_alessandro
PhD Mathematician (Model Theory, Algebra) and Educator exploring the intersection of formal logic, AI reasoning, and software development.
My research focuses on the foundations o... Show morePhD Mathematician (Model Theory, Algebra) and Educator exploring the intersection of formal logic, AI reasoning, and software development.
My research focuses on the foundations of computation and the computational interpretation of logical principles (Curry–Howard correspondence). I apply my rigorous background to modern tech stacks, using AI to bridge the gap between abstract mathematics and practical application.
I am the developer and curator of alessandrosblog.it.eu.org, where I document my journey in tech, math, and "learning out loud." Show less
work
Teacher in Computer Science
Italian School
Nov 2025 - Present
work
Teacher in Mathematics
Italian School
Apr 2025 - Present
work
Postdoc and teaching assistant in Mathematics
University of Nova Gorica
Sep 2022 - Sep 2024
school
University of Szczecin
PhD, Mathematics
2018 - 2022
Dissertation Title: Algebraic hyperstructures in the model theory of valued fields
Official University Repository: https://bip.usz.edu.pl/doktorat-habilitacja/16282/alessandro-linzi
code
Satellite Timelapse
Visit Project open_in_new
Jan 2026 - Present
Satellite timelapses is my Python toolkit for creating animated Earth visualizations. It processes satellite imagery into seamless GIF and MP4 loops.
code
alessandrosblog
Visit Project open_in_new
Dec 2025 - Present
My Blog on Public Learning
AI, GenAI, Computational Intelligence
PhD in Mathematics, open source blog developer and curator
I am 80% Italian, 10% Costa Rican, 5% Polish and 5% Slovenian.
Do it in the smartest way possible.