Rosa Badia recognized by the ACM as a "Distinguished Member"