I'm surprised the cop tried to tackle him. As far as I'm concerned, a dude running around stabbing people with a knife gets one quick warning and then they should open fire.
While I have not seen any pictures of video's of this happening (not even sure if they exist); considering this is a college campus with students walking around, I think shooting should not be the first thing to do, in case he missed his target.