Every restaurant uses a different name. Or just one?
University staff canteen ... marginal fast ... marginal fast food ~ hahahahahaha ~ ~ lest teaching directors eat pig brains and intestines one by one ~ mislead children!
If it's only for ordinary teachers ... it's called ... canteen.