Skip to content
View gbarbon's full-sized avatar
9 followers · 32 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Organizations

@eclipse

Block or report gbarbon

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
gbarbon/README.md

Hi there 👋

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:

🔗 Links

📈 Github Stats

Pinned Loading

  1. eclipse/kapua eclipse/kapua Public

    Java 228 160

  2. kapua kapua Public

    Forked from eclipse/kapua

    Java

  3. clear clear Public

    The CLEAR framework for the debugging of concurrent systems.

    Java 3

  4. python-asip python-asip Public

    A Python client for the ASIP protocol

    Python 2 2

  5. asa asa Public

    The 'DAPA: Degradation-Aware Privacy Analysis of Android Apps' static analyser repository.

    Scala

  6. matrixparallelmult matrixparallelmult Public

    Dense Matrix-Matrix multiplication in Parallel

    C