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.

EpiPolicy
EpiPolicy is a population-based epidemic simulator and policy aid that allows users to customize its compartmental model to capture different epidemic scenarios for epidemics like COVID-19. Its user interface makes it easy to define various interventions such as social distancing, school closure, vaccination, and disease-specific interventions. EpiPolicy aids policy makers by simulating and constructing locale-specific intervention schedules that reduce disease burden, and minimize social and economic costs.
Developed together with Zain Tariq and Mai Le Xuan Anh, and coordinated by Prof. Azza Abouzied and Prof. Dennis Shasha.

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.
Developed together with Matteo Brucato, coordinated by Prof. Azza Abouzied and Alexandra Meliou.
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.
Sole developer, coordinated by Prof. Azza Abouzied.

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.
Developed together with Maeda Hanafi, and some help from other students, coordinated by Prof. Azza Abouzied.

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 during the SIGCHI’18 conference.

Light-1 CubeSat
This satellite took off in 2021, onboard a SpaceX Falcon 9, and deployed from the ISS. It captures Terrestrial Gamma-ray Flashes from thunderstorms and lightning, and it sends measurements back to Earth. The payload firmware was written in C++, for a STM32 microcontroller, using FreeRTOS as operating system, and Cubesat Space Protocol for communication.
On my spare time I helped other friends at NYUAD writing the firmware for this satellite. Mainly fixing bugs, implemented new features for the communication part, and implemented ways to detect long term errors (e.g memory leaks).

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.

Miro’s Windows Manager
A productivity tool for moving and resizing windows by only using the keyboard.
Main developer/author with the help of awesome contributors.

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.
Main developer/author with the help of awesome contributors.
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.
Main developer for the new version codebase, coordinated by the software architect Stefano Maioli. Part of a larger team with Project managers, UI developers, and software testers.

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.
Sole author/developer.

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.
Main developer/author with the help of awesome contributors.

Ruzzle Solver
A fast solver for Ruzzle, used by more than two million users.
Sole author/developer.

Multi Level Networks Model

pubcFS
Sole author/developer.

MExpr
-3xy^2 - 3(xy + 3)(-5x + y)
Sole author/developer.

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.
Sole author/developer.

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

New Terminal Window
A simple Alfred Workflow for quickly opening terminal windows.
Sole author/developer.

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.
Sole author/developer.

Miro WordPress Theme
Sole author/developer.

Ultra Race 2009
Sole author/developer.

Miro Rubix
Sole author/developer.

Miro Rubix for PSP®
Sole author/developer.

MirCronometro
Sole author/developer.