{"id":2300,"date":"2021-02-24T18:17:51","date_gmt":"2021-02-24T18:17:51","guid":{"rendered":"https:\/\/hub.inesc.pt\/?page_id=2300"},"modified":"2023-11-08T12:53:38","modified_gmt":"2023-11-08T12:53:38","slug":"ines-lynce","status":"publish","type":"page","link":"https:\/\/hub.inesc.pt\/?page_id=2300","title":{"rendered":"In\u00eas Lynce"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"2300\" data-post-id=\"2300\" data-obj-id=\"2300\" class=\"elementor elementor-2300 dce-elementor-post-2300\" data-elementor-settings=\"[]\">\n\t\t\t\t\t\t<div class=\"elementor-inner\">\n\t\t\t\t\t\t\t<div class=\"elementor-section-wrap\">\n\t\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-13c2606 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"13c2606\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t\t\t<div class=\"elementor-row\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-37d30b8\" data-id=\"37d30b8\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-column-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t<div class=\"elementor-widget-wrap\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-a43b467 elementor-widget elementor-widget-button\" data-id=\"a43b467\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t<a href=\"#\" class=\"elementor-button-link elementor-button elementor-size-sm\" role=\"button\" id=\"goback\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t<span class=\"elementor-button-icon elementor-align-icon-left\">\n\t\t\t\t<i aria-hidden=\"true\" class=\"fas fa-angle-left\"><\/i>\t\t\t<\/span>\n\t\t\t\t\t\t<span class=\"elementor-button-text\">Go Back<\/span>\n\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-a985857 dce_masking-none elementor-widget elementor-widget-image\" data-id=\"a985857\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-image\">\n\t\t\t\t\t\t\t\t\t\t<img loading=\"lazy\" decoding=\"async\" width=\"800\" height=\"800\" src=\"https:\/\/hub.inesc.pt\/wp-content\/uploads\/2023\/11\/Ines-Lynce.jpg\" class=\"attachment-full size-full\" alt=\"\" srcset=\"https:\/\/hub.inesc.pt\/wp-content\/uploads\/2023\/11\/Ines-Lynce.jpg 800w, https:\/\/hub.inesc.pt\/wp-content\/uploads\/2023\/11\/Ines-Lynce-300x300.jpg 300w, https:\/\/hub.inesc.pt\/wp-content\/uploads\/2023\/11\/Ines-Lynce-150x150.jpg 150w, https:\/\/hub.inesc.pt\/wp-content\/uploads\/2023\/11\/Ines-Lynce-768x768.jpg 768w\" sizes=\"auto, (max-width: 800px) 100vw, 800px\" \/>\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-fc3deee elementor-widget elementor-widget-text-editor\" data-id=\"fc3deee\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-text-editor elementor-clearfix\"><p>In\u00eas Lynce is a Professor at IST and a researcher at INESC-ID. She is currently serving as President of INESC-ID. In\u00eas is a well-established researcher in the broad field of artificial intelligence, namely in constraint solving and optimization. Her main contributions refer to developing search algorithms and applying those algorithms to solve practical problems. Ines received the 2008 Delloite-ULisbon award and the 2009 PremeIA award from the Portuguese Association for Artificial Intelligence. Since 2020 she has been serving on the Editorial Board of the Artificial Intelligence Journal (AIJ). She has been the co-organizer of the 2018 SAT-SMT-AR summer school and the co-chair of the 21st International Conference on Theory and Applications of Satisfiability Testing (SAT\u201919). Ines publishes at and is a recurrent member of the program committees of the IJCAI, AAAI, ECAI, CP, and SAT conferences.<\/p><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>Go Back In\u00eas Lynce is a Professor at IST and a researcher at INESC-ID. She is currently serving as President of INESC-ID. In\u00eas is a well-established researcher in the broad [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-2300","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/hub.inesc.pt\/index.php?rest_route=\/wp\/v2\/pages\/2300","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/hub.inesc.pt\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/hub.inesc.pt\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/hub.inesc.pt\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/hub.inesc.pt\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=2300"}],"version-history":[{"count":15,"href":"https:\/\/hub.inesc.pt\/index.php?rest_route=\/wp\/v2\/pages\/2300\/revisions"}],"predecessor-version":[{"id":11135,"href":"https:\/\/hub.inesc.pt\/index.php?rest_route=\/wp\/v2\/pages\/2300\/revisions\/11135"}],"wp:attachment":[{"href":"https:\/\/hub.inesc.pt\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=2300"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}