A passionate mathematician and coder dedicated to driving impactful research through technical expertise. With an eclectic, creative approach, I excel in collaborative environments, prioritizing trustworthiness, and intellectual rigor.
Recently, I'm delving into the AI safety alignment problem and I regularly spend time into creative theoretical thinking while get in touch with the state of art on this field.
Outside of my academic pursuits, I'm an avid consumer of didattic videos: it's my way to get into most of the fields of the human knowledge and build a personal comphensive understanding of the world.
When I'm not delving into coding and papers, you'll likely find me having deep good talks with friends. Sports also play a significant role in my life: they are a nice way to spend thoughless time with friends while preserving my physical health.
Board and card games are a passion of mine—they're a fantastic blend of entertainment and mental stimulation, providing an opportunity to strategize and having good time.
Reading is finding is way to become an integral part of my routine. Recently, I've been exploring Nassim Nicholas Taleb's "Antifragile," which challenges conventional thinking in a captivating manner, and Benjamin Todd's "80000 Hours," which has been instrumental in shaping my career aspirations toward meaningful impact.
Movies are another avenue where I find inspiration and entertainment. They serve as a window into different cultures and ideas, sparking my imagination and creativity.
2022 - 2024
The Master in DSSC aims to prepare professionals ready to face the challenges of the modern digital society: experts in the analysis and management of data, in particular Big Data, and in computational modeling with application in engineering and scientific fields.
Link to table of contents: Download File
2019 - 2024
The School for Advanced Studies of the University of Udine is a higher learning institution based on merit. After a very selective admission (including two written and an oral examination), it provides a five-year scholarship covering taxes, board and lodging. During this period, students have to attend extra courses and exams, and in the end, we gain a second-level Master's degree diploma.
Link to table of contents: Download File
Thesis:
Well structured transition systems
2019 - 2022
Link to table of contents: Download File
Development and implementation of advanced methods to support decision-making in emergency scenarios involving critical infrastructure. Supervisor: Prof. Stefano Grimaz - Chairholder of the UNESCO Chair in Intersectoral Safety
R&D: Applying machine modelization techniques to devise strategies for controlling electric furnaces
Here are some of the recent extracurricular activities I pursued
Classified 55/103. Website.
Cryptographic protocols play a fundamental role in securing modern digital infrastructure, but they are often deployed without prior formal verification. This could lead to the adoption of distributed systems vulnerable to attack vectors. Formal verification methods, on the other hand, require complex and time-consuming techniques that lack automatization. In this paper, we introduce a benchmark to assess the ability of Large Language Models (LLMs) to autonomously identify vulnerabilities in new cryptographic protocols through interaction with Tamarin: a theorem prover for protocol verification. We created a manually validated dataset of novel, flawed, communication protocols and designed a method to automatically verify the vulnerabilities found by the AI agents. Our results about the performances of the current frontier models on the benchmark provides insights about the possibility of cybersecurity applications by integrating LLMs with symbolic reasoning systems.
NeurIPS 2024 Workshop: Sys2-Reasoning Poster
We introduce a benchmark for testing how well LLMs can find vulnerabilities in cryptographic protocols. By combining LLMs with symbolic reasoning tools like Tamarin, we aim to improve the efficiency and thoroughness of protocol analysis, paving the way for future AI-powered cybersecurity defenses.
In this work I've built a custom loss function to penalize non-linearities through the convolutional layers (Pytorch package). I got a pretty interesting outcome: the ReLU activation function arises naturally in a parametrized family of functions.
I've coded from scratch (Python) fundamental methods (Q-learning, Montecarlo, SARSA and Expected SARSA) and tested them to solve easy games provided by OpenAI (Gymnasium). I've analyzed outcomes and commented them.
This is a project group where statistical methods are applied to estimate and understand estate prices.
