Personal Presentation

I am a Professor in the Department of Informatics Engineering within FEUP, and area coordinator at the High Assurance Laboratory (HASLab) within INESC TEC. From 1994 till mid 2021 I was affiliated with the Informatics Department, Universidade do Minho, where I concluded my PhD (2000) and Habilitation/Agregação (2018).

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 work has been applied in the Riak distributed database, Redis CRDBs, Akka distributed data, Microsoft Azure Cosmos DB, and is running in production systems worldwide.