You can find general information about the computing resources in the Theory Group in these web pages.