Projects
Here is a list of some of my projects. This list unfortunately excludes private projects or projects that for some reason never saw the light of day.

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.

sPaQL TooLs
sPaQL TooLs is a Stochastic Package Query Interface for Scalable Constrained Optimization. For example, given uncertain predictions for future stock prices based on financial models derived from historical data, sPaQL TooLs finds and displays to the investor a set of trades that will maximize the expected future gain, while ensuring that a loss will only happen with a certain probability.
This project won Best Demo Award during the VLDB’20 conference.

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.

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.

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.
This project won Best Paper Award during the SIGCHI’18 conference.

Miro’s Windows Manager
A productivity tool for moving and resizing windows by only using the keyboard.

Justified Gallery
Javascript library to help creating high quality justified galleries of images. Used by thousands of websites as well as the photography community 500px.
StrategyOne
During my experience at CRIF S.p.A. I was the main developer for the new version of StrategyOne, 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 version is 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.

Lucky Scratch! Scratch Cards!
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.

Contributions Importer for GitHub
A tool to help users to import contributions to GitHub from private git repositories, or from public repositories that are not hosted in GitHub.

Ruzzle Solver
A fast solver for Ruzzle, used by more than two million users.

Multi Level Networks Model

pubcFS

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

Markov Decision Process Examples GUI
Simple GUI and algorithms to play and learn Markov Decision Process developed for a talk I conducted about Artificial Intelligence.

Wi-Fi Control
A simple Alfred Workflow to control Wi-Fi. It can turn on, turn off, toggle or restart the Wi-Fi.

New Terminal Window
A simple Alfred Workflow for quickly opening terminal windows.

Flickr Justified Gallery for WordPress
Plugin that allows you to show your Flickr photostream, photosets, galleries, group pools, or tags in your WordPress blog, with an elegant compact layout, using Justified Gallery.

Miro WordPress Theme

Ultra Race 2009

Miro Rubix

Miro Rubix for PSP®
