SAT 2019
July 7 - 12, Lisboa, Portugal
July 7 - 12, Lisboa, Portugal
 |
Carla Gomes, Cornell University, US |
| Bio: Carla Gomes is a Professor of Computer Science and the director of the Institute for Computational Sustainability at Cornell University. Gomes received a Ph.D. in computer science in the area of artificial intelligence from the University of Edinburgh. Her research area is Artificial Intelligence with a focus on large-scale reasoning, optimization, and learning. Recently, Gomes has become deeply immersed in research on scientific discovery for sustainability and more generally research in the new field of Computational Sustainability. Computational Sustainability aims to develop computational methods to help solve some of the key challenges concerning environmental, economic, and societal issues in order to help put us on a path towards a sustainable future. From 2007-2013 Gomes led an NSF Expeditions-in-Computing in Computational Sustainability that nucleated the new field of Computational Sustainability. Gomes is currently the lead PI of a new NSF Expeditions-in-Computing that established CompSustNet, a large-scale national and international research network, to further expand the field and Computational Sustainability. Gomes has (co-)authored over 150 publications, which have appeared in venues spanning Nature, Science, and a variety of conferences and journals in AI and Computer Science, including five best paper awards. Her research group has been supported by over $50M in basic research funds. Gomes is a Fellow of the Association for the Advancement of Artificial Intelligence (AAAI), a Fellow of the Association for Computing Machinery (ACM), and a Fellow of American Association for the Advancement of Science (AAAS). | |
 |
Josef Urban, Czech Institute of of Informatics, Robotics and Cybernetics (CIIRC), Czech Republic |
| Bio: Josef Urban is a senior researcher at the Czech Institute of Informatics, Robotics and Cybernetics (CIIRC) of the Czech Technical University in Prague where he is heading the ERC-funded project AI4REASON. His main interest is development of combined inductive and deductive AI methods over large formal (fully semantically specified) knowledge bases, such as large corpora of formally stated mathematical definitions, theorems and proofs. His systems have won several competitions in this field. He received his MSc in Mathematics and PhD in Computers Science from the Charles University in Prague, worked as an assistant professor in Prague, and as a researcher at the University of Miami and Radboud University Nijmegen. | |