Publications and seminars
- BSc Thesis Revised version on arXiv.
- CoqShop Seminar on Coq, part of a series of seminars by "The Knights Who Say $\lambda$"
- Curry-Howard-Lambek Seminar on the Curry-Howard-Lambek correspondence.
Selection of projects
This is a selection of my main projects. Some of them (UNI) are my university projects, the others are personal.- CG project (UNI)
- MellOS: A minimal, collaboratively written kernel
- CORDIC FixedPoint: A performance test for trigonometric functions (UNI)
- Road Network Simulator: A microscopic / macroscopic traffic simulator (UNI)
- λ-maj7: A simple functional programming language
- Visualization series:
- 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
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:
- Visualization of pretty maths, through:
- illustrations (
TikZ
) - animations (I'm learning Manim)
- interactive visualizations (mostly
PyGame
)
- illustrations (
- Graph theory
- Category Theory
- Computer-assisted theorem proving
- Computational models of complex systems