Giuliano Losa

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.