Carla P. Gomes Computing and Information Science Dept. of Computer Science Dyson School of Applied Economics and Management Cornell University 353 Gates Hall Ithaca, NY 14853 phone: (607) 255 9189 [email protected] www.cs.cornell.edu/gomes Current position Director, Institute for Computational Sustainability, Cornell University Ronald C. and Antonia V. Nielsen Professor of Computing and Information Science, Cornell University Professor, Dept. of Computer Science, Dept. of Information Science, and Dyson School of Ap- plied Economics and Management, Cornell University Cornell Research Field Membership: Computer Science, Information Science, Applied Mathe- matics, Applied Economics and Management, and City and Regional Planning. Education Ph.D. (Computer Science), University of Edinburgh (1993). Area: Artificial Intelligence and Operations Research Advisors: Professors Austin Tate (Artificial Intelligence) and Lyn Thomas (Oper. Re- search) M.Sc. (Applied Mathematics), Technical University of Lisbon (1987). Area: Operations Research Advisor: Professor Teresa Almeida Research Interests: Artificial Intelligence; Computational Sustainability; Scientific Discovery; Combinatorial Reasoning, Decision, and Optimization Problems; Connections with Operations Research, Machine and Statistical Learning, and Dynamical Systems; Multi-agent Systems; Approximations, randomization, and sam- pling techniques to identify structure; Science of Computation (synthesis of formal and experimental research). 1 Professional Recognition Fellow, Association for Computing Machinery (ACM), 2017. Fellow, American Association for the Advancement of Science (AAAS), 2013. Fellow, Association for the Advancement of Artificial Intelligence (AAAI), 2007. Feigenbaum Prize, AAAI, 2021. Lead P.I., NSF Expeditions in Computing Award ($10M). CompSustNet: Expanding the Hori- zons of Computational Sustainability, 2015-2020. Lead P.I., NSF Expeditions in Computing Award ($10M). Computational Sustainability: Com- putational Methods for a Sustainable Environment, Economy, and Society, 2008-2013. Fellow, Radcliffe Institute for Advanced Study, Harvard University, 2011-2012. Chair-elect, Chair, Retired Chair, the Section on Information, Computing and Communication of the American Association for the Advancement of Science (AAAS) 2014, 2015, 2016. Member, Executive Council, Association for the Advancement of Artificial Intelligence, 2002- 2005, 2012-2015. Most influential Cornell professor selected by Merrill Presidential Scholar, Cornell University, 2020. Research Excellence Award, Cornell University College of Engineering, 2019. Innovative AI Award, EeLISA: Combating Global Warming Through the Rapid Analysis of Eelgrass Wasting Disease. IAAI 2021. Top 10 Coolest Army Science and Technology Advances (Number 4), AI to identify fuel-efficient materials, U.S. Army CCDC Army Research Laboratory, 2019. AAAI Classic Paper Award, Boosting Combinatorial Search Through Randomization, AAAI, 2016. Innovative AI Award, Phase-Mapper: An AI Platform to Accelerate High Throughput Materials Discovery. IAAI 2016. Best Paper Award, Model counting: A new strategy for obtaining good bounds. Twenty-first National Conference on Artificial Intelligence (AAAI06), 2006. Distinguished Paper Award, Statistical Regimes Across Constrainedness Regions, Conference on the Principles and Practice of Constraint Programming, 2004. 2 Editor, special issue on Computational Sustainability, AI Magazine , 2013. Program Chair, 10th International Conference on Integration of Artificial Intelligence and Op- erations Research Techniques in Constraint Programming, IBM T. J. Watson Research Center, NY, USA (CPAIOR 2013). Program Chair, special track on Computational Sustainability of the Twenty-Third International Joint Conference on Artificial Intelligence,(IJCAI-13). Program Chair, special track on Computational Sustainability of the Twenty-Fifth Conference on Artificial Intelligence, (AAAI-13). Computational Sustainability. The Bridge, National Academy of Engineering, Volume 39, Num- ber 4, Winter 2009. (Invited article.) Program Co-chair, Twenty-Third Conference on Artificial Intelligence, Chicago, IL, USA (AAAI- 08), 2008. Program Co-chair, Ninth International Conference on Theory and Applications of Satisfiability Testing, Seattle, Washington, USA, (SAT 2006), 2006. Conference Chair, International Conference on the Principles and Practice of Constraint Pro- gramming, Ithaca, NY, USA (CP-2002), 2002. Invited Talk, World Economic Forum, China. Computational Sustainability, 2016. Invited Plenary Talk, National Academy of Engineering, U.S. Frontiers of Engineering, 2009. Invited Plenary Talk, 24th National Conference of the American Association for Artificial Intel- ligence (AAAI-10), 2010. Invited Plenary Talk, 17th National Conference of the American Association for Artificial Intel- ligence (AAAI-00), 2000. Invited Plenary Talk, International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, (CPAIOR-2010), 2010. Invited Plenary Talk, 15th International Conference on the Principles and Practice of Constraint Programming (CP09), 2009. Invited Plenary Talk, Grace Hopper Celebration of Women in Computing, (GraceHopper’10), 2010. Nature, “Can Get Satisfaction,” 2005 (invited perspective). Member, Advisory Committee, International Scientists, for the Research Council President of the European Union, 2000. 3 Special Recognition Award, Information Directorate, Air Force Research Laboratory, 1999. Ci- tation: Dr. Carla P. Gomes is recognized for her ground-breaking research in integrating Arti- ficial Intelligence and Operations Research techniques which led to a “boosted” search method that allowed several orders of magnitude speedups for solving hard, real-world problems. 1999. AFRL/IF nominated ROMAN for the General Ronald Yates Award for Excellence in Technology Transfer. ROMAN is a system incorporating AI techniques for generating provably correct and safe schedules for planned shutdowns of nuclear power plants. (Carla Gomes was the principal investigator of ROMAN.) 1996. Ph.D. Scholarship Portuguese Scientific Foundation (3 years). Best Student Paper Award, (Ph.D. Student: Stefano Ermon.) Computing the density of states of Boolean formulas. Conference on the Principles and Practice of Constraint Programming, 2010. Publications Journals and Refereed Proceedings 1. Di Chen, Yiwei Bai, Sebastian Ament, Wenting Zhao, Dan Guevarra, Lan Zhou, Bart Selman, R. Bruce van Dover, John M. Gregoire, Carla P. Gomes. Automating crystal-structure phase mapping by combining deep learning with constraint reasoning. Nature Machine Intelligence 3: 812-822, 2021. 2. Carla P. Gomes, Daniel Fink, R. Bruce van Dover, John M. Gregoire. Computational sustain- ability meets materials science. Nature Reviews Materials, 2021. 3. Johan Bjorck,¨ Xiangyu Chen, Christopher De Sa, Carla P. Gomes, Kilian Q. Weinberger. Low- Precision Reinforcement Learning: Running Soft Actor-Critic in Half Precision. ICML 2021: 980-991. 4. Sebastian E. Ament, Carla P. Gomes. Sparse Bayesian Learning via Stepwise Regression. ICML 2021: 264-274. 5. Sebastian Ament, Carla P. Gomes. On the Optimality of Backward Regression: Sparse Recovery and Subset Selection. ICASSP 2021: 5599-5603. 6. Shufeng Kong, Dan Guevarra, Carla P. Gomes, John M. Gregoire. Materials representation and transfer learning for multi-property prediction. Applied Physics Reviews 8: 021409, 2021. 7. Johan Bjorck, Anmol Kabra, Kilian Weinberger, Carla P Gomes. Characterizing the Loss Land- scape in Non-Negative Matrix Factorization. AAAI 2021. 8. Johan Bjorck, Kilian Weinberger, Carla P Gomes. Understanding Decoupled and Early Weight Decay. AAAI 2021. 4 9. Johan Bjorck, Qinru Shi, Carrie Brown-Lima, Jennifer Dean, Angela Fuller, Carla P Gomes. Learning Augmented Methods for Matching: Improving Invasive Species Management and Ur- ban Mobility. AAAI 2021. 10. Johan Bjorck, Brendan Rapazzo, Qinru Shi, Carrie Brown-Lima, Jennifer Dean, Angela Fuller, Carla P Gomes. Accelerating Ecological Sciences from Above: Spatial Contrastive Learning for Remote Sensing. AAAI 2021. 11. Wenting Zhao, Shufeng Kong, Junwen Bai, Daniel Fink, Carla P Gomes. HOT-VAE: Learning High-Order Label Correlation for Multi-Label Classification via Attention-Based Variational Autoencoders. AAAI 2021. 12. Brendan H. Rappazzo, Morgan E. Eisenlord, Olivia J. Graham, Lillian R. Aoki, Phoebe D. Dawkins, Drew Harvell, Carla P. Gomes. EeLISA: Combating Global Warming through the Rapid Analysis of Eelgrass Wasting Disease. IAAI-21. 13. Di Chen, Yiwei Bai, Wenting Zhao, Sebastian Ament, John M. Gregoire, Carla P. Gomes. Deep Reasoning Networks for Unsupervised Pattern De-mixing with Constraint Reasoning. ICML 2020: 1500-1509. 14. Dieqiao Feng, Carla P. Gomes, Bart Selman. Solving Hard AI Planning Instances Using Curriculum- Driven Deep Reinforcement Learning. IJCAI 2020: 2198-2205. 15. Junwen Bai, Shufeng Kong, Carla P. Gomes. Disentangled Variational Autoencoder based Multi-Label Classification with Covariance-Aware Multivariate Probit Model. IJCAI 2020: 4313-4321. 16. Shufeng Kong, Junwen Bai, Jae Hee Lee, Di Chen, Andrew Allyn, Michelle Stuart, Malin Pin- sky, Katherine Mills, Carla P. Gomes. Deep Hurdle Networks for Zero-Inflated Multi-Target Regression: Application to Multiple Species Abundance Estimation. IJCAI 2020: 4375-4381. 17. Di Chen, Yada Zhu, Xiaodong Cui, Carla P. Gomes. Task-Based Learning via Task-Oriented Prediction Network with Applications in Finance. IJCAI 2020: 4476-4482. 18. Dieqiao