I am working on methodologies and technologies towards a new generation of products to improve how people collaborate with others and their cyber-physical ecosystems.
My interests encompass a broad spectrum of areas:
Computer-aided software analysis. I’m actively working on the combination of state-of-the-art research in mathematical logic, software analysis and technologies to build tools that understand code at the global scale.
Epistemology and big data. I am working on tools that improve data filtering to guide people in learning processes.
The intersection of material engineering, bio-engineering, IoT and architecture.
I write about Software Development and Code Quality on a weekly basis on Medium. For more details, don’t hesitate to contact me!