gbarbon Goto Github PK

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/