Date Posted: 12/17/2013

Carla Gomes has been elected a Fellow of the American Association for the Advancement of Science (AAAS), the world's largest general scientific society and publisher of the journal Science. The citation reads, "for distinguished contributions in computer science, particularly for advances in automated reasoning, constraint reasoning and optimization, and for visionary leadership and innovation in computational sustainability."