M.Sc. Computer Science Student
Bridging academic excellence with real-world innovation.
From reactive systems to blockchain-based security, I build robust, scalable, and user-centric solutions.
Get in TouchScroll Down
I'm a Full-Stack Developer and Educator with expertise in cybersecurity, software engineering, and emerging tech.
I love exploring innovative solutions—from real-time reactive systems to blockchain applications—and thrive on empowering others through teaching and mentorship.
Taught theoretical and practical lessons on network architectures, protocols, and security for high school students (3rd and 4th year).
Led a team of tutors and supported the "Formal Languages and Automata" course through lectures, exercises, and student mentoring.
Assisted in teaching the Computability course for the M.Sc. in Computer Science, entirely in English, including lectures and project guidance.
Provided specialized tutoring and managed exam arrangements for students with special needs, ensuring personalized learning.
Collection of MATLAB implementations for scientific computing algorithms, including Leja point interpolation, eigenvalue computation, and wave equation solvers.
Multithreaded Java application that simulates real-time figure skating scoring with concurrent judges, athletes, and technical panels based on ISU rules.
TypeScript/Node.js service for generating professional PDF reports with native ChartJS support, developed as a more efficient alternative to Puppeteer-based solutions.
ML-based anomaly detection system with microservice architecture, asynchronous communication, and real-time dashboard
Reactive, real-time event processing system with Spring WebFlux, MongoDB, and Redis. Implements intelligent caching and secure REST APIs.
Advanced F# framework for functional data stream processing with asynchronous runtime and pure functional pipelines.
Cross-platform image editing app using Flutter for UI and Rust/WebAssembly for high-performance image filters.
Implemented exact (CPLEX) and metaheuristic (Tabu Search) solutions for PCB drilling, boosting efficiency by up to 84%.
Major in Internet, Mobile and Security - courses include Mobile Application Security, Advanced Cryptography, Secure App Development, and Big Data Management.
Focused on algorithms, object-oriented programming (C++/Qt), concurrent programming with Java, SQL-based database management, and accessible web development.
Grade: 98/110Specialized in programming (C, Java), network design, HTML/CSS/JS/PHP, and IT project management.
Grade: 100/100A comprehensive suite covering user-centric design, gamification, and advanced communication for the web.
Fundamentals of container orchestration with Kubernetes and advanced networking with Cilium.
Advanced monitoring and observability for Kubernetes environments and container orchestration.
Comprehensive path covering Foundations, Ruby, and Ruby on Rails for full-stack web development.
Focus on building reactive, message-driven, and distributed systems in production environments with CQRS and Event Sourcing patterns.
Certification in inclusive teaching approaches and equity-focused educational practices.
Comprehensive training in cybersecurity, networking basics, ethical hacking, and network defense techniques.
Agile methodologies, Scrum practices, and Six Sigma process improvement methods.
Comprehensive English language certification in all three communication domains.
Recognition for excellence in creating appealing and accessible web solutions.
Fundamentals of MATLAB programming for scientific computing and mathematical modeling.
Proficiency in Google Ads and digital marketing strategies for online campaigns.
English language certification demonstrating proficiency in reading, writing, and speaking.
Mobile application development program focusing on Android platform and UI/UX design.
Awarded 39th place out of 300 students in 2024/2025
Recognition for web accessibility design (December 2022)
Recognized for excellence in academic performance
Bronze medals and a cup in interregional karate competitions
One of the highest contributors in Italy during college years, given all of
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.
Beyond coding and academic pursuits, I nurture a diverse range of interests that keep me balanced and inspired.
"I believe in creativity, in the ones of a kind. That's why I can never stay in one place. I always strive for new things, where the eye and the heart is not present."
Gabriel - Ad Unicum