Self defense courses are never a bad idea in my opinion. However don't carry a weapon yourself without knowing and being prepared on how to use it. In an emergency situation you would likely have very little time to react or your device could be used against you. Knife, mace, etc can be very effective against a gun wielding threat. Brazilian Jiu-Jitsu while tending to lean far right is a great martial art to learn if you are expecting to face off against a larger opponent. Though ideally you would be able to avoid being in a situation where you would need to defend yourself in such a way.
There are two avenues here that I would also suggest pursuing. While we have touched on self-defense and others have suggested going to the authorities I would suggest looking into local/state laws on legal ownership of firearms. I assume your university has a strict no tolerance policy on weapons. If he brings his gun onto campus contact the university police or local police department. Learn about your state's laws on carrying firearms. Are you in a state that requires a permit to carry a firearm? Use your knowledge of these laws against him. If he makes a threat while armed in certain states that can be a much more serious offense.
My second suggestion would be to work on your cardio. Seriously they purchased a Springfield 1911 which is a notoriously difficult handgun to shoot accurately and a small magazine capacity of only 8 rounds. You stay more than 20 feet away and that makes you a difficult target to hit. Avoid being close to this person and do your best to prevent finding yourself in a situation advantageous to them. Trust your gut instincts and leave a situation if you feel at risk. Don't be afraid to run. This person has acted in violence against you already and is now equipped to commit greater acts of violence.
If you are in a sloop you can outrun the larger ships by sailing straight into the wind. Those are fastest into the wind so you can outrun brigs and galleons.
You're welcome! Let me know if there is anything else I can help with.