Security Research Intern (Master’s Thesis)
Düsseldorf, Germany
April–October 2026Research internship focused on the intersection of AI-assisted methods, formal verification, and security protocol analysis.
Cybersecurity MSc Student & Computer Engineer
I’m a Computer Engineering graduate, now studying for an MSc in Cybersecurity. Through research and technical projects, I’m exploring how systems work, where they can fail, and how to reason about their security.
Security research.
AI-assisted analysis.
Formal verification.
Düsseldorf, Germany
April–October 2026Research internship focused on the intersection of AI-assisted methods, formal verification, and security protocol analysis.
Academic projects with real technical questions, documented approaches, and a clear scope.
Six Linux eBPF verifier vulnerabilities investigated in reproducible environments. Four complete local privilege-escalation chains, with their requirements and limits documented.
Honeypot shell-command data, MITRE ATT&CK characterization, and machine-learning methods to classify attacks and examine attacker behavior.
A timeout mechanism in an emulated NXP S32K3X8EVB environment, bringing together FreeRTOS, memory protection, UART communication, and timer-based scheduling.
I’m a computer engineering graduate, now pursuing an MSc in Cybersecurity at Politecnico di Torino. My work brings together security research and an interest in how computing systems behave beneath the surface.
Through my Huawei thesis internship and academic projects, I’ve explored security protocol analysis, Linux kernel vulnerabilities, ML-based attack analysis, and embedded systems. Cybersecurity is my professional direction; I’m continuing to explore the questions and methods within it.
Politecnico di Torino
Università degli Studi del Sannio
Team result · 9th online out of approximately 300 teams.
SpaghettiOverflow team · Smart Budget Scheduler · Mu Nu Chapter.
Team placement in the international AI and AI-agent competition.
Team placement in the algorithmic optimisation and CTF competition.
Community involvement since April 2025; formally inducted into the honor society on 11 December 2025. Contributions include STEM event and hackathon logistics, technical operations, and partnership work.
Politecnico di Torino
May 2025Politecnico di Torino
January 2025British Council
November 2024For professional opportunities, research conversations, or a thoughtful exchange about security and computing.