Skip to content
View gabrielrovesti's full-sized avatar

Block or report gabrielrovesti

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
gabrielrovesti/README.md
Gabriel Rovesti header

IT consultant, full-stack engineer, and CS educator. I build production services, teach Computer Science at university and high school level, and develop open-source tools focused on accessibility and inclusive design.

Portfolio Download CV LinkedIn Email


About Me

Currently working as IT Consultant at Technology Reply, building microservices and backend platforms for the Generali insurance group. Alongside industry work, I have taught for many years as a private tutor, a teacher in high school and served as tutor at the University of Padua across formal languages, computability theory, and accessibility. My work consistently sits at the intersection of reliable engineering, inclusive design, and clear communication.

Focus Areas

♿ Web & Mobile Accessibility 🔐 Cybersecurity & Cloud 🚀 DevOps & CI/CD ⛓️ Blockchain & DApps 🏗️ Software Architecture 🤖 AI Agents & MCP ⚗️ Type Systems & Functional PL 👨‍🏫 CS Education


🛠️ Tech Stack

Core Languages
Core Languages
Functional & Academic
Functional Languages
F# Elixir Prolog Erlang Typst
Frontend & Mobile
Frontend Technologies
Backend & Data
Backend Technologies
DevOps & Cloud
DevOps Tools
Grafana Splunk IBM Instana
AI & Research
AI & Research
Model Context Protocol AI Agents WASM
Accessibility & Standards
WCAG 2.2 ARIA Section 508 W3C
Languages Spoken
Italian C2 English C1
French B1 Spanish A2 German A2

🎯 Experience

🚀 Industry

  • IT Consultant — Technology Reply, Padua
    Backend microservices for Generali insurance group · Spring Boot 3 migrations · Kubernetes/Jenkins CI/CD · Oracle SQL · AWS · incident management via BMC Helix · observability with Grafana, Splunk & IBM Instana
  • Private Tutor & IT Consultant — Freelance (2016 – present)
    10+ years, specialization in DSA/BES/ADHD learners · startup tech advisory

🎓 Academic

  • Coordination Tutor — Mathematics Dept., UniPD
  • Lecturer, Systems & Networks — ITIS Galileo Ferraris, Padua
  • Didactic Tutor, Automata & Formal Languages — UniPD
  • Didactic Tutor, Computability Theory — UniPD
  • Inclusion Tutor & Accessibility Consultant — UniPD
  • Didactic Tutor, Object Oriented Programming — UniPD

350h inclusion support · 150h didactic tutoring · 10+ years private teaching


🚀 Featured Projects

Thesis & Research

M.Sc. Thesis — Mobile Accessibility Learning Toolkit

React Native app implementing WCAG 2.2, MCAG and WCAG2Mobile guidelines with interactive learning modules for developers

React Native TypeScript WCAG 2.2

ML Interpreter with Hindley-Milner Type Inference

Complete functional language interpreter implementing Hindley-Milner type inference and advanced type theory concepts in F#

F# Type Theory Functional

Production Applications

Reactive Real-time Event Processing

Spring WebFlux, MongoDB, Redis — reactive patterns for high-throughput data processing

Spring MongoDB Redis WebFlux

ML-based Anomaly Detection

Microservices with FastAPI, Streamlit, RabbitMQ for real-time anomaly detection

TensorFlow FastAPI RabbitMQ Streamlit

Functional Stream Processing Framework

Advanced F# framework for composable data stream processing with formal guarantees

F# .NET Functional

Cross-platform Photo Editing

Flutter UI with high-performance Rust image filters compiled to WebAssembly

Flutter Rust WebAssembly

2025–2026 Personal Projects

Local IoT Platform in Elixir

Single-tenant IoT platform inspired by Astarte — MQTT + HTTP ingest, SQLite storage, built entirely in Elixir

Elixir MQTT SQLite

Security & Accessibility Auditing Extension

Chrome MV3 extension — live element highlighting, dual score gauges, WCAG + security vulnerability audit, exportable HTML reports

JavaScript Chrome MV3 WCAG

Desktop Music Downloader

Native desktop app — search, preview, download MP3s via FastAPI + yt-dlp + pywebview, zero browser dependency

Python FastAPI yt-dlp

Cross-provider Agent Skill Library

Reusable skill collection for Claude Code, Codex CLI and other AI providers — portable agent workflow primitives

MCP Claude Code AI Agents
📚 Academic, Teaching & Utility Projects

Comprehensive LaTeX notes for UniPD CS Bachelor & Master programs (Cybersecurity, Data Science tracks)

LaTeX Open Source

WCAG 2.1 AA compliant templates for university admission tests, aligned with European Accessibility Act 2025

WCAG 2.1 LaTeX

B.Sc. thesis — Verifiable Credentials and Zero Knowledge Proofs for secure authentication on Ethereum

Blockchain Ethereum

Python migration script — 97% success rate (2151/2205 tracks transferred)

Python Spotify

Concurrent and distributed graph processing patterns in Erlang and Go

Erlang Go Distributed

Clean, minimal CV template built with Typst for the modern developer workflow

Typst

📊 GitHub Activity

GitHub Stats Top Languages
GitHub Streak

🏆 Achievements

🎓
M.Sc. — 104/110
Thesis on mobile accessibility
🏆
Top 50 STEM Students
39th by merit — UniPD 23/24
🥈
Web Accessibility Competition
Runner-up
350h Inclusion Support
UniPD Accessibility Services
👨‍🏫
10+ Years Teaching
University · High School · Private

🎓 Education & Certifications

Degrees

  • M.Sc. Computer Science — University of Padua (2023–2025)
    Grade: 104/110 · Major: Internet, Mobile & Security
    Thesis: Designing an accessibility learning toolkit — bridging the gap between guidelines and implementation
  • B.Sc. Computer Science — University of Padua (2020–2023)
    Grade: 98/110
    Thesis: VerifiedMovies — blockchain-based authentication with ZKP

Certifications

Anthropic MCP Advanced Topics Anthropic Introduction to MCP Claude Code in Action Kubernetes LFS158 — Linux Foundation Datadog Kubernetes Fundamentals Lightbend Reactive Architecture Cisco Berlitz German A2 Cambridge B2 First

⚡ Beyond the Code

🥋 Brown belt in Shotokan karate — nine years of practice  ·  📕 Poetry reader and writer — depth over noise  ·  🎵 Musicophile — funk, soul, Michael Jackson  ·  🎮 Retro gaming collector and game design enthusiast


📫 Get in Touch

LinkedIn   Email   Portfolio   Dev.to
Good software works for everyone — that's not an option, it's a baseline.
Footer wave

Pinned Loading

  1. Computability-Tutoring-2024-2025 Computability-Tutoring-2024-2025 Public archive

    Material for the Tutoring of the Computability Course for the M.Sc. in Computer Science held at UniPD in 2024-2025

    5

  2. AccessibleHub AccessibleHub Public archive

    Code for my M.Sc. Thesis in Computer Science - A Comprehensive mobile accessibility learning toolkit for developers realized in React Native compliant to WCAG 2.2/MCAG/WCAG2Mobile guidelines

    TypeScript 2

  3. Tutorato-Automi-e-Linguaggi-Formali-2024-2025 Tutorato-Automi-e-Linguaggi-Formali-2024-2025 Public archive

    Materiale del tutorato del corso di Automi e Linguaggi Formali della laurea triennale di Informatica dell'Università degli Studi di Padova nell'anno 2024-2025

    TeX 10

  4. Tutorato-Programmazione-ad-Oggetti-2023-2024 Tutorato-Programmazione-ad-Oggetti-2023-2024 Public archive

    Materiale del tutorato del corso di Programmazione ad Oggetti della laurea triennale di Informatica dell'Università degli Studi di Padova nell'anno 2023-2024

    C++ 7 2

  5. Tutorato-Automi-e-Linguaggi-Formali-2023-2024 Tutorato-Automi-e-Linguaggi-Formali-2023-2024 Public archive

    Materiale del tutorato del corso di Automi e Linguaggi Formali della laurea triennale di Informatica dell'Università degli Studi di Padova nell'anno 2023-2024

    6

  6. unipd-bachelor-master-computer-science-notes unipd-bachelor-master-computer-science-notes Public archive

    The most comprehensive and organized collection of notes for University of Padua (UNIPD) Computer Science Bachelor and Master Degrees, including Data Science, Cybersecurity and more.

    5