Hi, welcome to my GitHub profile!

I'm Riccardo.

I'm currently a MSc Computer Engineering student at University of Pisa.

Languages

Technologies & Frameworks

Table of contents

• Thesis
• MSc Computer Engineering Projects
• BSc Computer Engineering Projects
• Personal Projects
• Exercises

Thesis

• 
  Rewriting a fast C-based network I/O library to evaluate performance and memory safety of the Rust programming language. (2024, MSc Computer Engineering @ University of Pisa)

• 
  Implementation of the KAISER mitigation against the Meltdown vulnerability in a didactic kernel. Developed in C++ and Assembly x64. (2021, BSc Computer Engineering @ University of Pisa)

MSc Computer Engineering Projects

• 
  Design of a discrete event simulator which simulates the behavior of a supermarket (modelled as a queueing system) and performance evaluation of the system under several configurations and workloads.
  Developed in C++ with the OMNeT++ framework. (2022)

• 
  Design of a client-server messaging application with strong security requirements for the network communication protocols.
  Developed in C++14 for Linux systems with OpenSSL library for cryptography algorithms. (2021)

• 
  Design and implementation of several artificial intelligences (MLP, RBFN, FIS, CNN, RNN) on a dataset composed of biophysical signals.
  Developed in MATLAB. (2022)

• 
  Design and development of a Jakarta EE web application for university students, which allows uses to book meetings with their professors and chat with other students.
  The web part was implemented in Java 11 with Jakarta EE 9.1 framework and deployed on a Glassfish server. The chatroom feature was developed in Erlang and deployed on a distributed cluster with a NGINX reverse proxy / load balancer. (2023)

• 
  Indoor navigation assistant app for visually impaired users, using BLE beacons and QR codes as localization technologies.
  Developed in Kotlin for Android smartphones. (2023)

• 
  Analysis of malware samples for Android devices, in order to identify the malicious behavior. Executed antimalware (VirusTotal), static (MobSF and decompiled Java code) and dynamic analysis (MobSF and Genymotion). (2022)

• 
  Design of a MapReduce application which builds bloom filters from the IMDB movie dataset and test their statistical properties.
  Implemented both in Java/Hadoop and Python/Spark. (2022)

• 
  Development of a pipelined application (a secure POS monitoring system), based on DataOps, to support productivity metrics.
  The main focus of the project was to master the AGILE methodology (Trello, Clockify) and the Unified Process during all the project phases: requirements (workflow landscape, BPMN diagrams), analysis (detailed use cases, sequence diagrams, class diagrams), design (class diagram), development (Python code) and testing. (2023)

• 
  Design of a large-scale and multi-structured database for a social network application.
  Developed in Java 11 with MongoDB and Neo4j databases. (2022)

• 
  Design, simulation and synthesis of an FPGA integrated circuit which generates convolutional codes from an input bit sequence.
  Developed in VHDL, simulated with Modelsim, synthesized with Vivado. (2022)

BSc Computer Engineering Projects

• 
  Design and development of a family expense manager as a Java client-server application, with JavaFX as GUI framework. (2020)

• 
  Design of client-server application which implements a lottery system. Developed in C for Linux systems. (2020)

• 
  Design and development of an online supermarket website using Javascript and PHP (2019)

Personal Projects

• 
  Chatroom project. The backend is written in Erlang with the Cowboy framework and it's deployed on multiple nodes with a Nginx reverse proxy / load balancer. The frontend is written in TypeScript.
  

• 
  VS Code extension which provides a command to format the currently opened document and then automatically apply implicit indentation on all the empty lines.
  

Exercises

• 
  Implementation in Rust of a multi-threaded web server. Exercise taken from The Rust Programming Language Book.
  

• 
  Implementation in Rust of a simplified version of the grep command utility. Exercise taken from The Rust Programming Language Book.