Academia
My educational journey and academic achievements in computer science.
Publications
Runtime Verification for Trustworthy Computing
AREA23 • 2023
I had the opportunity to expand on the ideas from my thesis by exploring the security aspects of Runtime Verification. This led to co-authoring a paper, which I presented at the AREA 23 conference. In the paper, we explored the application of Runtime Verification in various security scenarios. If you would like to check it out you can view it here!
Education
I will be starting my Master's in Computer Science at the University of Southern Denmark (SDU) in August. My chosen specialization is in Algorithms, where I aim to deepen my understanding of computational theory, data structures, and algorithmic efficiency. I'm excited to explore both the theoretical and applied aspects of algorithm design and analysis in greater depth.
I completed my Bachelor's degree at the University of Malta (UoM), where I had the opportunity to delve into various facets of the Computer Science field. My studies ranged from utilizing high-level programming languages to develop web scrapers to working with low-level languages for embedded systems. This diverse experience allowed me to gain a comprehensive understanding of both advanced and fundamental aspects of computing.