I am a senior researcher at INESC TEC (HASLab research unit) and invited assistant professor at the Department of Informatics of University of Minho, Braga, Portugal. I hold a PhD from the University of Toulouse, advised by Jean-Paul Bahsoun and mentored by Rachid Guerraoui. I've spent some time at IRIT (France), INSA de Lyon (France), and EPFL (Switzerland) twice in the past.
I am interested in understanding and building correct, scalable, available, resilient, secure, and efficient distributed systems.
Currently, I am working Edge Computing (based on Conflict-free Replicated DataTypes), and Blockchain and Cryptocurrencies (PoW,PoX, and BFT).