学校里一般两种：学校自己的401K, 或者pension。很少两个都有的。但是学校还有政府雇员和非盈利机构的税前457和

403b. 感觉这位教授先生说的是457和403b, 有些学校还有Roth 457 and 403b