cshelpdesk@virginia.edu whose subject line is below -put in your computing ID and your sponsor's last namewinsrv01.cs.virginia.edu, using your CS domain password (passwords are the same for both linux and windows in the CS Dept). There is more information on this server here: General purpose Windows server.portal.cs.virginia.edu cluster of linux servers is available for linux computing needs. It uses the same CS userid/password as other servers. You can ssh <userid>@portal.cs.virginia.edu from a terminal window to access this cluster. There is more information on this cluster here: The portal cluster.