I am Gianluca Barbon, an Italian computer science professional with an R&D background. I hold a Ph.D. in applied formal methods for software verification, and I am now working as a software engineer at Higeco in the industrial IoT field.
I previously worked in academic research, in particular on:
- the debugging of concurrent and distributed applications, contributing to the Clear tool;
- a degradation-aware privacy analysis of Android apps, contributing to the DAPA static analyzer;
- the Arduino Service Interface Protocol (ASIP), contributing to the Python ASIP Client for the ASIP protocol.
I also worked in cloud software development, in particular:
- in the IoT field, as a software developer at Eurotech and as a committer of Kapua, an Eclipse Foundation IoT open-source project;
- in the healthcare field, as a software engineer at Mia-Care, a Mia-Platform company.
- 📄 My publications: https://dblp.uni-trier.de/pid/168/1123.html
- 📫 How to reach me: https://it.linkedin.com/in/gbarbon/