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:
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.