Giovanni Norbedo

M.Sc. Student in Data Science & Artificial Intelligence
Università degli Studi di Trieste (UniTS) · Trieste, Italy

I am an M.Sc. student in Data Science and Artificial Intelligence at the University of Trieste (UniTS). While my practical background is in Full Stack development and Linux, my true passion lies at the intersection of math, logic, and technology. I enjoy using code to give structure to abstract ideas and make complex mathematical concepts easy to visualize. My current focus is on formally verified AI, exploring how formal methods and mathematical proofs can be applied to machine learning to guarantee model reliability and safety.

Academic Background

2026 – Present
M.Sc. in Data Science & Artificial Intelligence
Università degli Studi di Trieste (UniTS)
2023 – 2026
B.Sc. in Artificial Intelligence & Data Analytics
Università degli Studi di Trieste (UniTS)

Selected Projects

Chaos Simulation

[code]

Investigation of deterministic chaos and bifurcation phenomena in a continuous tri-trophic food chain ($X, Y, Z$) governed by the Hastings-Powell ODE system with Holling type II functional responses:

$$\begin{cases} \dot{X} = X\left(1 - \dfrac{X}{K}\right) - \dfrac{a_1 X Y}{1 + b_1 X} - h_X X \\[8pt] \dot{Y} = \dfrac{a_1 X Y}{1 + b_1 X} - \dfrac{a_2 Y Z}{1 + b_2 Y} - d_1 Y \\[8pt] \dot{Z} = \dfrac{a_2 Y Z}{1 + b_2 Y} - d_2 Z \end{cases}$$
Hastings-Powell differential equations.

Analyzes strange attractors, Lyapunov exponents, bifurcation cascades under carrying capacity $K$, and chaos suppression via linear prey harvesting ($h_X$).

Minesweeper3D

[code]

A three-dimensional Minesweeper puzzle engine built in Python/Ursina (with Marco Carmignano), featuring an automated exact solver based on linear integer constraint satisfaction:

$$\bigwedge_{v \in V_{\text{revealed}}} \left( \sum_{u \in \mathcal{N}_{3D}(v)} x_u = k_v \right), \quad x_u \in \{0, 1\}$$
Constraint satisfaction problem for Minesweeper3D.

Parallel C Interpreter

[code]

A stack-based C99 interpreter parallelized with OpenMP multi-threading for native 1D/2D tensor operations.

Technical Skills

Mathematics
Mathematical Analysis, Linear Algebra, Fourier Analysis, Topology, Abstract Algebra, Probability & Statistics
Theory & Modeling
Dynamical Systems & Chaos, Information Theory, Optimization Algorithms, Computability & Complexity, Numerical Analysis
Scientific Computing
PyTorch, Scikit-Learn, NumPy, SciPy, Gurobi, Z3 SMT Solver, SageMath, Statsmodels
Languages
Python, C/C++, MATLAB, R, JavaScript, TypeScript, Dart, SQL, Bash
Systems & Parallel
Linux, OpenMP Parallel Computing, Docker, Git/GitHub
Software Dev
React, Node.js, FastAPI, Flask, Django, PostgreSQL, SQLite, Flutter
Interests
Lean 4, Rust, Haskell