Research & Engineering
I am passionate about using formal methods to build more reliable and secure systems. In particular, I am working on new techniques to make deductive verification of infinite-state systems practical by using decidable logics. I recently applied those techniques to verify safety and liveness properties of two blockchain consensus algorithms.
Giuliano holds a PhD in computer science from EPFL, Switzerland. After a brief experience as a software engineer at ELCA, Switzerland, Giuliano was a post-doctoral researcher at Virginia Tech and later at UCLA. He is now a research engineer at Galois.
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.