Торонтский университет, Институт вычислительных наук