Portfolio

Check out some of the projects I've worked on. While I can't share details of some projects due to non-disclosure agreements, I can present a variety of personal and publicly released projects on this page.

Topic

All

Research

Web

UX/UI

Databases

Embedded

Cryptography

File Systems

Image Manipulation

Technology

All

Python

React

C/C++

Java

Angular

LUA

Android

PHP

Justified Gallery

JavaScript library to help creating high quality justified galleries of images. It has been used by thousands of websites, including 500px. I also implemented a plugin for Wordpress which uses this library, which had 150000+ downloads.

Main developer/author with the help of awesome contributors

Project Website

2012-01

WebJSPHP

EpiPolicy

EpiPolicy is a population-based epidemic simulator. The UI allows users to define the compartmental model, locations, population features, and various interventions.

Developed together with Zain Tariq and Mai Le Xuan Anh, in collaboration with the Department of Health in UAE.

Project Website

Publications: XRDS'21 UIST'21

2021-10

ResearchDatabasesPythonJSReactD3

Light-1

The satellite Light-1 which took off onboard the SpaceX Falcon 9, and deployed from the International Space Station. It captures Terrestrial Gamma-ray Flashes from thunderstorms and lightning. The firmware was written in C++, for a STM32 microcontroller, using FreeRTOS, and Cubesat Space Protocol for communication.

Took part on the Firmware development.

Launch Broadcast

2020-01

ResearchEmbeddedC/C++

StrategyOne

StrategyOne is a multi-purpose decision engine used to calculate credit scores in Italy (i.e. Eurisc) as well as in other countries and companies. This new software version was able to manipulate hierarchical data by using a custom language and other graphical components. There was an average of 93% performance gain over the older version, despite the latter was only able to work with simpler tabular data.

While working at CRIF S.p.A, I was the primary developer of the new core module for StrategyOne's decision engine. Part of a larger team with project managers, UI developers, and QA engineers.

Project Website

2014-09

JavaAngular

Qetch

Qetch is a tool that allows users to freely sketch patterns on a scale-less canvas to query time series data without specifying query length or amplitude.

Sole developer, coordinated by Prof. Azza Abouzied.

This project won Best Paper Award at CHI.

Project Website Demo

Publications: SIGMOD'18 CHI'18

2016-06

ResearchUX/UIDatabasesAIJSAngularD3

Ruzzle Solver

A fast solver for Ruzzle, used by more than two million users. To obtain this fast speed the website uses a fast C++ solver implementation. The dictionaries were quite accurately re-created by developing a small Android app that was continously automatically using the game.

Sole author/developer.

Solver Website

Publications: Solver's Algorithm Raspberry Pi Plays Ruzzle

2013-01

JSC/C++AndroidJava

sPaQL TooLs

sPaQL TooLs is a Stochastic Package Query Interface for Scalable Constrained Optimization. For example, given uncertain predictions for future stock prices, sPaQL TooLs finds a set of trades that will maximize the expected future gain, while ensuring that a loss will only happen with a certain probability.

Developed together with Matteo Brucato, coordinated by Prof. Azza Abouzied and Alexandra Meliou.

This project won Best Demo Award at VLDB.

Project Website Demo

Publications: VLDB'20

2020-09

ResearchUX/UIDatabasesAIJSReactD3Python

Synner

Synner is a tool that helps users generate real-looking synthetic data by visually and declaratively specifying the properties of the dataset such as each field’s statistical distribution, its domain, and its relationship to other fields.

Lead developer, with the help of other 4 students and one PI

Project Page Demo

Publications: SIGMOD'20 UIST'19

2019-10

ResearchUX/UIDatabasesAIJSJavaAngularD3

Texture

Texture is a framework for data extraction over PDF documents. Developers write and manage heuristics, while Mturk workers and end-users contribute by providing ground truth. Texture is a framework for data extraction over PDF documents. Developers write and manage heuristics, while Mturk workers and end-users contribute by providing ground truth.

Lead developer with Maeda Hanafi, with the help of 5 other students, and one PI.

Project Page

Publications: HILDA'19

2017-01

ResearchUX/UIDatabasesAIJSJavaReactD3

Lucky Scratch

A scratch card game for Android I made for an university project. A social experiment, as I like to call it, that had more than 150.000 downloads.

Sole author/developer.

Project Page

2014-01

JavaAndroid

pubcFS

pubcFS is a virtual file system that encrypts folders and files on-the-fly. It uses asymmetric keys (i.e. RSA) in order to make it possible to share the encrypted folders with other users.

It is implemented in C, using FUSE, which make it possible to install this filesystem in the userspace rather than in kernel space.

Sole developer, coordinated by Prof. Renzo Davoli.

Project Page

2011-10

ResearchFile SystemsCryptographyC/C++

MExpr

C++ library which parses human-like arithmetic expressions like the following:

-3xy^2 - 3(xy + 3)(-5x + y)

It supports features such as implicit multiplications, AST manipulation and evaluation, bytecode compilation, and custom functions with overloading.

Sole author/developer.

Project Page

2012-01

ResearchCompilersC/C++

Multi Level Networks Model

A model and query language for multi-level networks analysis. It is based on path pattern recognition algebra. It provides selection, projection, aggregation, join, and synthesis operators. Implementation of the model and operators has been implemented in Java.

Sole developer, coordinated by Prof. Danilo Montesi.

Project Page

2013-10

ResearchDatabasesJava

ProSharpener

ProSharpener is a plugin for Photoshop to sharpen, resize, and execute many other operations in your photos. Important features: algorithms for the creation of edges mask to avoid sharpening halos, and sharpening separation.

Sole author/developer.

Project Page

2018-05

JSImage Manipulation

MDP Strategy Visualizaition

MDP Strategy Visualizaition

Analysis workbench with UI for executing and evaluating AI decision-making algorithms using Markov Decision Process, through policy and value iteration methods.

Sole author/developer.

Project Page

Publications: Markov Decision Process

2011-01

AIPython