It’s around 9:30 a.m. on a Thursday, and David Bader is explaining how trick-or-treating is connected to graph theory.

The Georgia Institute of Technology received approval to proceed with the high performance computing center lease agreement during today’s meeting of the Board of Regents of the University System of Georgia.

Ron Hutchins, associate vice provost for research and technology and chief technology officer, is leaving Georgia Tech after 34 years of service.