Samuele Biscaro

PROJECTS

Flow Equation Approach to a Singular SPDE

An overview of the Flow Equation technique used to give rigorous meaning to a specific singular Stochastic Partial Differential Equation. Developed under the supervision of Professor Marco Romito.

Heine Borel in Lean

A formalization using LEAN of the Heine-Borel theorem for metric spaces, developed as the final exam project for MAT740. The constraint was to avoid Mathlib.Topology, requiring the construction of all topological foundations entirely from scratch.

Analysis on Gaussian Spaces

A seminar on the infinite-dimensional generalization of the Malliavin derivative and its link to stochastic analysis.

Bachelor Thesis

My thesis, 'A Non-Commutative Extension of the Sewing Lemma and its Applications for Quantum Mechanics', supervised by Professor Dario Trevisan, gives a generalization of the Sewing Lemma for non-commutative systems and studies its use in quantum evolution.