Campus radio is a type of radio station that is run by the students of a college or university . Campus radio ( also known as college radio , university radio or student radio ) is a type of radio station that is run by the students of a college , university or other educational institution .