BedRock Systems
Paolo G. Giarrusso is a Formal Methods Engineer at BlueRock.io since July 2020, with an extensive background in programming language theory and design. Previous roles include Postdoctoral Researcher at Delft University of Technology and EPFL, as well as Research Assistant at Tübingen University and Philipps-Universität Marburg, contributing to the field's advancements, particularly in functional programming and embedded domain-specific languages. Early career experience includes R&D positions at TVBLOB and Intel Corporation, focusing on streaming protocols and Linux kernel development. Paolo G. Giarrusso holds a PhD in Computer Science from the University of Tübingen and multiple degrees in Computer Science from Scuola Superiore di Catania and Università di Catania.
This person is not in any offices
BedRock Systems
BedRock Systems is on a mission to deliver a trusted computing base from edge to cloud, where safety and security isn’t just a perception, it’s a formally proven reality.