Machine Learning — Parking Detection (FindSpot / OpenSpot)

Fall 2025

  • Computer vision application for parking spot detection
  • Real-time image classification using MobileNetV3
  • Comparison of multiple CNN architectures (accuracy, latency)
  • Deployment of an interactive public demo using Streamlit
Python Computer Vision CNN Streamlit
🚀 Access live demo

Time Series Analysis — CO₂ Emissions from Mount Etna

Winter 2025

  • Analysis of over 5 years of data using the Box–Jenkins methodology
  • Development of optimal SARIMA models and comparison with ETS
  • Out-of-sample validation and statistical diagnostics
  • Full implementation in R
R SARIMA Box–Jenkins
📄 View report (PDF)

Artificial Intelligence — Automated Maze Solving

Winter 2025

  • Design of an AI agent based on heuristic search (A*)
  • Analysis of optimality and computational complexity
  • Implementation in Prolog
Prolog A* Symbolic AI

Numerical Methods — Boundary Value Problems

Fall 2025

  • Solution of boundary value problems using finite difference methods
  • Convergence and numerical stability analysis
MATLAB Numerical Methods

Discrete Logarithm Problem (Cryptography)

Winter 2025

  • Study of the Discrete Logarithm Problem (DLP) in finite groups
  • Computational hardness assumptions
  • Applications to public-key cryptography
Number Theory Algebra Cryptography
🔐 View report (PDF)

Battleship Game Design (.NET)

Summer 2025

  • Design and implementation of a Battleship game in the .NET environment
  • Programming in F# and OCaml
  • Functional testing and validation
.NET F# OCaml