Craig Tierney, high-performance computing (awards)