Publications and seminars
- BSc Thesis Revised version on arXiv.
- Curry-Howard-Lambek Seminar on the Curry-Howard-Lambek correspondence.
- CoqShop Seminar on Coq, part of a series of seminars by "The Knights Who Say $\lambda$"
- More of The Knights who say $\lambda$ .
Selection of projects
This is a selection of my main projects. Some of them (UNI) are my university projects, the others are personal.Recreational/Educational Computer Science
- λ-compiler: An x86 compiler of the λ-calculus.
- OCaml-Turing-Machine: An OCaml implementation of the Turing Machine
- λ-maj7: My earliest (bad) attempt at an interpreter.
Programming Projects
- MellOS: A minimal, collaboratively written kernel
- CG project (UNI)
- CORDIC FixedPoint: A performance test for trigonometric functions (UNI)
Complex Systems
- Road Network Simulator: A microscopic / macroscopic traffic simulator (UNI)
Maths Visualization
- PySimplex2D: Symplex algorithm in $\mathbb R^2$.
- PyNewton: Newton's method for single (real) valued functions.
- PyNewtonFractal: The fractal that arises from Newton's method in the complex plane.
- PyGraphTheory: A selection of graph algorithms and visualizations
- PyLattice: A simple tool for visualizing and animating 2D lattices
Notes
- $\LaTeX$'d version of Chapter 4 of professor Bigi's Operations Research notes, in Italian; now published on the professor's website. (UNI)
Interests
Two lists of things I like
The following is a short, non-exhaustive list of topics I currently find interesing; I update this list quite often, as my interests are currently quite dynamic:
- Category Theory
- Automated Theorem Proving
- Computer-assisted Theorem Proving
- Visualization of pretty maths, through:
- illustrations (
TikZ
) - animations (I'm learning Manim)
- interactive visualizations (mostly
PyGame
)
- illustrations (
- Graph theory
- Computational models of complex systems