Biography

I am Full Professor in the Informatics Engineering Department, Universidade do Porto, and a Senior Researcher at the High Assurance Software Laboratory within INESC TEC.

My research interests cover data management in eventual consistent settings, distributed data aggregation and causality tracking. In the last years I have collaborated with my co-authors in the development of data summary mechanisms such as Scalable Bloom Filters, causality tracking for dynamic settings with Interval Tree Clocks and Dotted Version Vectors and in predictable eventual consistency with Conflict-Free Replicated Data Types. My recent work has been applied in the Riak distributed database, Redis CRDBs, and in Akka distributed data, and is running in production systems serving millions of users worldwide.