"employee"

means any person employed at a public higher education institution;