mIRC can be set to connect to the IRC server using a HTTP or SOCKS proxy without problems; set the proxy type, IP address and port in Tools/Options/Connect/Firewall. DCCing will probably not work. mIRC is not for downloading stuff, it's for chatting. Consider yourself lucky that you CAN chat from campus network, other networks block even that possibility.
