Open Source

I strongly believe in open source software, and for that reason I try to contribute to the community as much as I can. I love to learn new programming languages and framework, lately I've been focusing a lot on Kotlin and Typescript.

I am the (main) maintainer of the following projects:

Main projects


A tool for monitoring web applications by writing spatio-temporal logic specifications.


A light-weight tool for monitoring temporal, spatial and spatio-temporal properties of distributed complex systems.


A 2-way tool to extract graph-based representations from CityGML models, and revert graphs back to CityGML models.

You can follow me on Github to be updated of my latest projects.