Most likely would be windows based, from what you describe.
I'm not very good with Windows Server, but most likely this setup would be a Windows Server running something like Active Directory services, which allows you to login, share printers, pretty much the average university setup.