Skip to content
View gabrielrovesti's full-sized avatar
๐ŸŒ
๐ŸŒ

Highlights

  • Pro

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

๐Ÿง  About Me

Merging technical expertise with pedagogical passion, I excel at developing robust solutions while simplifying complex concepts for diverse audiences. My approach is "simple to grasp, deep to master" - focusing on core concepts with meticulous attention to quality, efficiency, and accessibility.

Currently completing my M.Sc. thesis on accessibility toolkits for developers, bridging the gap between WCAG guidelines and practical implementation. My greatest passion remains teaching, where I've worked with learners ranging from those with specific learning challenges to university students in formal academic settings.

Research & Focus Areas

โ™ฟ Web Accessibility & WCAG Compliance ๐Ÿ” Cybersecurity & Cloud Computing ๐Ÿš€ DevOps & CI/CD Pipelines โ›“๏ธ Blockchain & DApps ๐Ÿ—๏ธ Software Architecture ๐Ÿค– ML Interpreters & Type Systems ๐Ÿ‘จโ€๐Ÿซ Academic Teaching & Tutoring

๐Ÿ› ๏ธ 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

๐ŸŽฏ Professional Experience

๐ŸŽ“ Academic Leadership

  • ๐ŸŽฏ Coordination Tutor
    University of Padua, Dept. of Mathematics (01/2025 - Present)
  • ๐Ÿซ Lecturer in Systems and Networks
    ITIS Galileo Ferraris, Padua (09/2024 - 06/2025)
  • ๐Ÿ“š Didactic Tutor, Automata & Formal Languages
    University of Padua (01/2025 - Present)
  • ๐Ÿงฎ Didactic Tutor, Computability Theory
    University of Padua (09/2024 - 01/2025)
  • โ™ฟ Inclusion Tutor & Accessibility Consultant
    University of Padua (11/2023 - 09/2025)
  • ๐Ÿ’ป Didactic Tutor, Object Oriented Programming
    University of Padua (09/2023 - 02/2024)

๐Ÿš€ Industry Experience

  • โ›“๏ธ Blockchain Developer Intern
    Sync Lab S.r.l., Padua (03/2023 - 06/2023)
    Ethereum DApp, Self-Sovereign Identity, Zero Knowledge Proofs
  • ๐Ÿ‘จโ€๐Ÿ’ผ Customer Service Manager
    Clesp S.r.l., Padua (07/2020 - 10/2021)
    Front office operations, team management, MySQL administration
  • ๐ŸŒ Web Developer Intern
    Digife S.r.l., Ferrara (01/2019 - 02/2019)
    WordPress site creation, e-commerce implementations
  • ๐Ÿ“š Private Tutor & IT Consultant
    Freelance (02/2016 - Present)
    10+ years experience, DSA/BES/ADHD specialization

๐Ÿš€ Featured Projects

๐ŸŽ“ Thesis & Research Projects

AccessibleHub

AccessibleHub

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 Accessibility

TinyML-Interpreter

TinyML-Interpreter

ML Interpreter with Hindley-Milner Type Inference

Complete functional programming language interpreter implementing advanced type theory concepts

F# Type Theory Functional

๐Ÿ’ผ Production-Ready Applications

Event Analyzer

Event Analyzer

Reactive Real-time Event Processing System

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

Spring MongoDB Redis WebFlux

PredictSense

PredictSense

ML-based Anomaly Detection System

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

TensorFlow FastAPI RabbitMQ Streamlit

SystemFX

SystemFX

Functional Stream Processing Framework

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

F# .NET Functional

FlutterRustImageFX

FlutterRustImageFX

Cross-platform Photo Editing with Rust Performance

Flutter UI with high-performance Rust filters compiled to WebAssembly

Flutter Rust WebAssembly

๐Ÿ”ฌ Academic & Research Contributions

๐Ÿ“š Teaching Materials & Academic Projects

UniPD Study Notes Collection

UniPD Notes

Comprehensive Computer Science Study Materials

Complete collection of organized notes for University of Padua CS programs, including Cybersecurity and Data Science tracks

LaTeX Academia Open Source

University Accessibility Toolkit

Accessibility Toolkit

WCAG 2.1 AA Compliant University Templates

Practical toolkit for accessible university admission tests and documents with European Accessibility Act 2025 compliance

WCAG 2.1 Accessibility LaTeX

WNMA UAV Route Planning Survey

UAV Survey

Academic Survey on UAV Route Planning

Comprehensive research on UAV route planning strategies for wireless networks and mobile applications

Research UAV Wireless

Concurrent Graph Processing

Concurrent Graph

Advanced Concurrency Patterns in Erlang

Demonstration of different approaches to concurrent and distributed graph processing systems

Erlang Concurrency Distributed

Wedding Seating Optimization

Wedding CSP

Constraint Satisfaction Problem in Prolog

Advanced constraint programming solution for optimal wedding table assignments

Prolog CSP Logic Programming

Numerical Analysis Projects

Numerical Analysis

MATLAB Scientific Computing Collection

Polynomial interpolation, matrix eigenvalue computation, wave equation solvers, and more advanced numerical methods

MATLAB Numerical Analysis Scientific Computing
๐Ÿ”ง Technical Tools & Utilities

Spotify to YouTube Music Transfer

Spotify Transfer

High-Success Playlist Migration Tool

Python script with 97% success rate (2151/2205 tracks) for transferring Spotify playlists to YouTube Music

Python Spotify YouTube Music

Typst Developer CV Template

Typst CV

Modern CV Template for Developers

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

Typst Template Developer Tools

PDF Generator Service

PDF Generator

Professional PDF Generation Service

TypeScript service for dynamic PDF reports with ChartJS integration, built as technical interview PoC

TypeScript Express Chart.js

VerifiedMovies

VerifiedMovies

Blockchain Authentication System

B.Sc. thesis project implementing Verifiable Credentials and Zero Knowledge Proofs for secure authentication

Blockchain Web3 Ethereum

๐Ÿ“Š GitHub Stats & Achievements

GitHub Streak

๐Ÿ† Notable Achievements

๐ŸŽ“
M.Sc. Thesis on Accessibility
WCAG-compliant toolkit development
๐Ÿ†
Top 50 STEM Students (39th by merit)
University of Padua 23/24
โ™ฟ
Accessibility Advocate
100h+ Inclusion Tutoring
๐Ÿ‘จโ€๐Ÿซ
Multi-level Educator
University + High School Teaching
๐Ÿฅˆ
Web Accessibility Competition
Runner-up

๐ŸŽ“ Education & Certifications

Academic Qualifications

  • M.Sc. Computer Science (2023-2025)

    University of Padua
    Grade: 104/110
    Major: Internet, Mobile and Security
    Minor: Innovation and Entrepreneurship in ICT
    Thesis: Designing an accessibility learning toolkit: bridging the gap between guidelines and implementation
    Focus: WCAG 2.2, MCAG, WCAG2Mobile compliance

  • B.Sc. Computer Science (2020-2023)

    University of Padua
    Grade: 98/110
    Thesis: VerifiedMovies - security and authentication using blockchain

  • Diploma in Computer Science (2015-2020)

    I.I.S Polo Tecnico di Adria
    Grade: 100/100

Recent Certifications & Skills

Lightbend Cisco WCAG Scrum Six Sigma MATLAB Cambridge Trinity Google Hubspot

Specialized Knowledge

  • โ™ฟ Digital Accessibility: WCAG 2.2, ARIA, Section 508, European Accessibility Act
  • ๐Ÿ”ฌ Type Theory: Hindley-Milner inference, ML-style type systems
  • โ›“๏ธ Blockchain: Smart contracts, DApps, Zero Knowledge Proofs
  • ๐ŸŽฏ Inclusive Design: DSA/BES/ADHD support, universal design principles
  • ๐Ÿ“š Academic Writing: LaTeX, Typst, research methodology

๐Ÿ“š Teaching & Academic Contributions

๐Ÿ“Š Teaching Impact: 10+ years private tutoring โ€ข 100+ hours university inclusion support โ€ข 60+ hours didactic tutoring โ€ข Systems & Networks lecturer

๐ŸŽฏ Current Teaching Roles

  • Coordination Tutor - Mathematics Department UniPD
  • Systems & Networks Lecturer - ITIS Galileo Ferraris
  • Automata & Formal Languages Tutor - Computer Science UniPD
  • Accessibility Consultant - Inclusion Services UniPD

๐Ÿ“– Teaching Materials Created

  • Comprehensive study notes for CS Bachelor & Master programs
  • Accessibility toolkits for developers and institutions
  • Interactive learning modules for formal languages and automata
  • Specialized resources for students with learning differences

โšก Fun Facts & Personal Interests

  • ๐Ÿค– Lifelong learner constantly exploring new technologies and research areas
  • โ™ฟ Accessibility advocate passionate about inclusive design and universal access
  • ๐Ÿ—บ๏ธ Currently in Padua, originally from Serravalle (Ferrara), born in Bologna
  • ๐Ÿ“• Passionate writer and poetry lover - depth over superficiality
  • ๐ŸŽต Musicophile with love for funk/soul - Michael Jackson enthusiast
  • ๐ŸŽฎ Game design enthusiast and retro gaming collector
  • ๐ŸŽจ Art lover drawn to unique creativity and meticulous craftsmanship
  • ๐Ÿฅ‹ Karateka with brown belt (9 years Shotokan style)
  • ๐Ÿšดโ€โ™‚๏ธ Cycling enthusiast from Ferrara, "city of bicycles"
  • ๐Ÿšถโ€โ™‚๏ธ "Forrest Gump of walking" - therapeutic evening strolls

๐ŸŽฏ Current Focus & Future Goals

๐Ÿ”ฌ Research Interests

Accessibility technology, type systems, functional programming paradigms, and inclusive design methodologies

๐Ÿ“š Academic Pursuits

Completing M.Sc. thesis on accessibility toolkits, expanding teaching roles, contributing to open-source accessibility projects

๐Ÿ’ผ Professional Development

Bridging academia and industry in accessibility consulting, advanced type theory applications, distributed systems

๐Ÿ“ซ Let's Connect!

LinkedIn ย ย  Email ย ย  GitHub ย ย  Portfolio ย ย  Dev.to

"Making technology accessible to everyone, one line of code at a time"

Pinned Loading

  1. VerifiedMovies VerifiedMovies Public archive

    My Sync Lab Project Implementation using W3C DID, VC, VP with SSI and ZKP all in one package

    TypeScript 2

  2. 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

  3. 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 1

  4. 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 9

  5. 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 1

  6. 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

    8