Linux e as universidades brasileiras

Quais as universisades brasileiras que desenvolvem atualmente alguma distribuição linux?
Essas distribuições são realmente boas?