Professor FEUP Porto and researcher INESC TEC. Distributed Systems and Data. Old taxonomist of CRDTs. Still searching for unknown unknowns