This is exactly the purpose of trademark law. I believe Redis (this company) purchased the trademark from antirez. Whatever compensation he received for it was

This is exactly the purpose of trademark law. I believe Redis (this company) purchased the trademark from antirez. Whatever compensation he received for it was specifically so this company could call themselves and their product Redis.