Carla GomesView profile
Professor
Carla Gomes is a Professor at Cornell University and a leading figure in Artificial Intelligence (AI), renowned for pioneering the field of Computational Sustainability. Her work bridges core AI advancements with multidisciplinary research, addressing critical sustainability challenges while driving innovation in computer science. Key Contributions: Established Computational Sustainability as a transformative subfield integrating computational methods with ecological and socio-economic problem-solving. Developed XOR-streamlining for model counting, enabling breakthroughs in probabilistic inference and combinatorial solvers. Advanced AI applications in materials discovery, including Deep Reasoning Networks for solving crystal-structures phase-mapping problems to identify solar fuel materials. Awards: ACM AAAI Allen Newell Award (2021) for foundational AI and Computational Sustainability contributions. Recognized as an ACM Fellow (2017) for transformative work in AI and technology advancement. Gomes’ research spans combinatorial optimization, heavy-tailed runtime distributions, and algorithm portfolios, with practical impacts on SAT, MIP, and SMT solvers. Her NSF Expeditions awards underscore her leadership in fostering interdisciplinary collaboration for global sustainability solutions.






