Hello, I'm
Gabriel Rovesti
Full-Stack Developer · CS Educator · Accessibility
I write code, teach computer science, and care a lot about making software accessible to everyone.
Full-Stack Developer · CS Educator · Accessibility
I write code, teach computer science, and care a lot about making software accessible to everyone.
I'm a Full-Stack Developer currently at Technology Reply, working on banking solutions with Java, Spring Boot, and AWS. I hold an M.Sc. (104/110) from the University of Padua — thesis on mobile accessibility — and a B.Sc. (98/110) from the same.
Teaching has always been part of my work, not just something I do on the side. I've taught Systems & Networks at a technical high school, tutored university courses at UniPD, supported students with special needs, and given private lessons since 2016. Accessibility sits at the intersection of both: good software should work for everyone.
Talking about CS education, peer tutoring, and working with students with specific learning disabilities.
Invited as a veteran student to share thoughts on university life and academic choices for incoming students.
Backend development with Spring Boot, Java, and AWS on banking solutions for the Generali group. Also working with Angular on the frontend side.
Taught network architectures, protocols, and security to 3rd and 4th year high school students — theory and hands-on labs.
Led the tutoring team for the Formal Languages course. Ran lectures, exercises, and student mentoring for the B.Sc. programme.
Tutored the Computability course for M.Sc. students, entirely in English. Delivered lectures and guided project work.
Provided one-to-one support and coordinated exam arrangements for students with special needs.
Private lessons in programming, maths, and CS across all school levels. Also IT support and WordPress sites for small clients.
My M.Sc. thesis project — a React Native toolkit for learning mobile accessibility. Covers WCAG 2.2, MCAG, and WCAG2Mobile with real, runnable code examples. The goal was to turn dry guidelines into something developers can actually learn from.
A university project for the Functional Languages course — an ML interpreter in F# with Hindley-Milner type inference. Mostly an excuse to get properly into type theory and functional programming.
A personal experiment in ML + microservices: TensorFlow anomaly detection, FastAPI backend, RabbitMQ for async messaging, Streamlit dashboard — all containerised with Docker. Built to learn how these pieces fit together.
A personal experiment: Flutter for the UI, Rust compiled to WebAssembly for the image filters. The main question was whether the two ecosystems could talk to each other without too much pain. Spoiler: mostly yes.
Teaching materials I built as a university tutor over two years — notes, exercises, and lecture slides for Formal Languages & Automata and OOP at UniPD. They ended up being the most starred repos on my GitHub and are still used by students every year.
My B.Sc. thesis — a DApp on Ethereum built during an internship at Sync Lab. Uses Self-Sovereign Identity and zero-knowledge proofs to authenticate movie metadata. My first real dive into blockchain and cryptographic protocols.
Here you can find notes from the courses I attended during my university studies. They are organized by academic year and subject.
Vari link utili per matricole ad Informatica UniPD
Elementi di algebra e fondamenti di matematica discreta.
Appunti interi del corso, dagli insiemi ai tipi di integrali ed eq. differenziali
Fondamenti di architettura dei calcolatori, organizzazione e assembly.
Logica proposizionale, del primo ordine e dimostrazioni.
Fondamenti di programmazione in C e strutture dati di base.
Principi di funzionamento e organizzazione dei sistemi operativi.
Algoritmi fondamentali e strutture dati avanzate.
Teoria degli automi, linguaggi formali e computabilità.
Progettazione e implementazione di database relazionali.
Elementi di analisi numerica, dall'algebra lineare, metodi di interpolazione e tanto altro.
Fondamenti di probabilità e metodi statistici.
Paradigma object-oriented e programmazione in C++.
Protocolli di rete, architetture e programmazione di rete.
Metodologie di sviluppo, progettazione e gestione del software.
Modelli e metodi per l'ottimizzazione e il supporto alle decisioni.
Progettazione e sviluppo di applicazioni web e accessibilità.
Info about ALL of the course in Computer Science.
Advanced algorithms and optimization techniques.
Theory of computability and limits of computation.
Economic and managerial aspects of technological innovation.
Seminars about different topics of computer science and topics.
Fundamental techniques of some of the main approaches, within Artificial Intelligence, for solving difficult problems.
Introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems.
Rigorous mathematical foundation for understanding programming language semantics, with a focus on functional languages.
Go, Erlang and Clojure + many formal principles of reactive systems.
Development and study of statistical algorithms that can learn from data and perform tasks without explicit instructions.
Development of mobile applications and multimedia content management.
ML, text processing, text generation and parsing.
Exploring the requirements placed on such runtimes, and their typical operation, considering paradigms of language-level concurrency and distribution.
A research-oriented, project-based course on algorithms.
Fundamentals of software verification, structured around program semantics, abstract interpretation, dataflow analysis, and verification tools.
Information management and retrieval on the Web.
Wireless networks and applications for mobile devices.
IT service management according to best practices and industry standards.
Security for mobile devices and applications.
Realize the existence and the needs of software systems whose response time is critical to their use and consequently to their design.
Analyzing business processes by leveraging data from event logs to discover, validate, and improve workflows.
Entrepreneurship and start-up creation in the ICT sector.
Legal aspects of data management and IT privacy.
IT risk management and security certifications.
Varie tipologie di attacchi informatici, varie CTF e risoluzioni
Aspetti legali dell'informatica e impatto sociale, etico e sociale
Learn and master basic and advanced theoretical concepts of game theory and to know how to solve general multi-objective multi-agent problems with game theory techniques.
Fondamenti di machine learning e applicazioni.
Mathematical and computational foundations of state-of-the-art numerical algorithms that arise in the analysis of big data and machine learning applications.
Tecniche e strumenti avanzati per lo sviluppo software.
Methods and mathematical models for combinatorial optimization.
Elementi di programmazione asincrona in Java.
A field that uses computational methods to analyze, predict, and interpret the structure of biological molecules like proteins, DNA, and RNA.
Marketing, tipologie e psicologia dei consumatori
Appunti di intelligenza artificiale per corso di Psicologia.
Appunti di storia dell'informatica e sue evoluzioni.
Knowledge of the main computational approaches used to model cognitive functions, from artificial neural networks to probabilistic models.
Facilitating the inclusion of people with disabilities (interaction for learning and well-being, acoustic analysis for safety and security in the workplace) and the dialogue among cultures and populations.
Security principles and penetration-testing methodologies.
Theories, research methods, and innovative techniques for studying, designing, and evaluating interaction between people and technology.
A course about general techniques about knowledge, learning and reasoning, in different fields.
Techniques for accessing information without compromising user privacy.
Raccolta generale dei materiali di tutorato (Inclusione, Didattico, Coordinamento) e freelance (quasi tutte le lezioni svolte)
Archivio dell'attività di docenza presso l'Istituto Tecnico Industriale Galileo Ferraris, 2024-2025, Padova (Classi 3/4 Superiore)
Second Year of Tutoring, M.Sc. in Computer Science, entirely in English - Materials, lessons and notes
Secondo anno di Tutorato, LT Informatica - Lezioni frontali, appunti e materiale
Primo anno di Tutorato, LT Informatica - Lezioni frontali, appunti e materiale
Primo anno di Tutorato, LT Informatica - Lezioni frontali, appunti e materiale
Raccolta generale di tutti i documenti per stage + tesi triennale + FAQ + Progetto di tesi.
Thesis repository and all related documents, FAQ and Master Thesis Code Project.
For collaborations, tutoring opportunities, or project inquiries, feel free to reach out.