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 supported. This note will be visible to only 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 Dev.to


About Me

Currently working as IT Consultant at Technology Reply, building microservices and home banking solutions. Alongside industry work, I teach Systems & Networks at ITIS Galileo Ferraris and serve as tutor and lecturer 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 🤖 Type Systems & Functional PL 👨‍🏫 CS Education


🛠️ Tech Stack

Core Languages
Core Languages
Functional & Academic
Functional Languages
F# Prolog Erlang Typst
Frontend & Mobile
Frontend Technologies
Backend & Data
Backend Technologies
DevOps & Cloud
DevOps Tools
AI & Research
AI & Research
Type Theory WASM
Accessibility & Standards
WCAG 2.2 ARIA Section 508 W3C
Languages Spoken
Italian C2 English C1
French B1 Spanish A2

🎯 Experience

🚀 Industry

  • IT Consultant — Technology Reply, Padua
    Microservices, digital transformation, home banking solutions
  • Private Tutor & IT Consultant — Freelance (2016 – present)
    10+ years, specialization in DSA/BES/ADHD learners

🎓 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
📚 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

Erlang 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

Kubernetes LFS158 — Linux Foundation Datadog Lightbend Reactive Architecture Cisco Cambridge B2 First MATLAB — MathWorks

⚡ 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

    7

  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.

    6