Is seti@home run by The SETI Institute?

seti@home is not a SETI Institute program. It is a UCB program. See http://www.seti.org/page.aspx?pid=748 for more details.