Took in-depth lessons of the following modules: 1) Programming 2 (25 hours) - OOP and Data Structures in C++, Complexity and Sorting Algorithms. 2) Fundamentals of Computer Science (25 hours) - Formal Languages, Computational Models, Logic.
100% of the attending students passed the exam on the first attempt.
Research Engineer
University of Catania
Developed the team proposal and won the NGI TrustChain Open Call #2 grant for the PECS project (117,000€).
Conducted a systematic review of current approaches to Federated Learning in the automotive domain.
Designed a Federated Learning approach using the Flower framework and released the source code.
Visiting PhD Student
King's College London
Conducted research on GraphQL security testing, investigating Reinforcement Learning and Fuzzing approaches for enhanced vulnerability discovery.
Co-designed Wendigo, a Black-Box Deep Reinforcement Learning approach for identifying Denial-of-Service queries in GraphQL APIs.
Published the paper in DLSP2024, an IEEE S&P workshop.
Project Manager
Helpcode
Conceived and launched an educational platform that empowers 10–14-year-olds to apply computational thinking to real-world environmental challenges.
Secured a €279,973 grant, partnering with 10 associations, to fund platform development and outreach.
Led the team composed of a graphic designer, a storyteller and the development team, monitoring the tasks with Jira.
Presented to about 30 schoolteachers how to effectively use the platform in their lectures.
Teaching Assistant and Program Coordinator
CINI Cybersecurity Lab UNICT Hub
Coordinated the CyberChallenge.IT program at the University of Catania, mentoring students in Cryptography (2022) and Network Security (2023).
Managed communication with central organisers and coordinated other local teaching assistants.
Successfully led the program to enhance students’ skills in Cybersecurity fields.
Research Engineer (Internship)
Robert Bosch GmbH
Devised an approach based on the fuzzer Honggfuzz and the emulator QEMU to perform fuzzing over programs using shared memory IPC methods.
Evaluated the approach against the Eclipse Iceoryx IPC layer effectively finding undisclosed bugs.
Reported the results in my MSc dissertation “Shared Memory Fuzzing”.
Teaching Assistant
University of Catania
Mentored and taught students in Internet Security, fostering critical thinking skills and empowering them to understand fundamental security properties, protocols, firewall configuration, and malware taxonomy.
Built test environments to perform web security attacks (SQL Injection, XSS), Firewall attacks (misconfigurations, CVE-2016-5410).
Mobile App Engineer
Codedix
Developed and launched 3 successful apps in app stores using Kotlin, Dart (Flutter), Swift, and Objective-C.
Utilised Firebase for database and storage capabilities to enhance app performance.
Collaborated with cross-functional teams to ensure seamless app development and delivery.
Research Intern
Robert Bosch GmbH
Conducted a comprehensive systematic review of 42 state-of-the-art embedded systems fuzzing papers and tools.
Developed a taxonomy classifying approaches as hardware-based, emulation-based, and abstraction-based.
Published the paper “Embedded Fuzzing: a review of challenges, tools, and solutions” in the Q1 “Cybersecurity” journal.
Teaching Assistant
University of Catania
Took in-depth lessons of the following modules: 1) Computer Science 101 (30 hours) – Programming Fundamentals, Flowcharts, 2) Programming 2 (30 hours) - OOP and Data Structures in C++, Complexity and Sorting Algorithms.
Designed and supervised programming exercises (both logical and practical) between courses.
Education
PhD in Computer Science
University of Catania, Italy
Dissertation Title - Automation Challenges and Solutions in Coverage-Guided Fuzzing of Multiprocess Software Systems.
MSc Computer Science
University of Catania, Italy
Thesis Title - Shared Memory Fuzzing. (Grade 110/110 with honours)
BSc Computer Science
University of Catania, Italy
Thesis Title - 3DCP Dynamic Domotic Device Configuration Protocol and Smart Hub. (Grade 110/110 with honours)