Professor Babai scoops up three ACM SIGACT awards