Ines Lync公司

    

  

Inés Lync公司

教授
Engenharia信息部
高等技术学院
INESC-ID里斯本
Rua Alves Redol 9号机组
1000-029葡萄牙里斯本
电话：+351 21 3100290
传真：+351 21 3145843
研究兴趣：人工智能、约束满足和优化、自动推理、形式化方法、生物信息学
出版物列表，可从DBLP公司
有关更多信息，请访问谷歌学者档案,ACM配置文件,研究员ID档案,ScopusID配置文件和ORC ID.

研究项目
   里加：间接歧视推理，PI，由FCT资助
   GOLEM公司：自动化编程，革新应用程序开发，PI，由FEDER和FCT资助
   LAife血液：血液管理人工智能，由FCT资助
   数据2帮助：数据科学用于优化紧急医疗服务，由FCT资助
   DeepData（深度数据）：亚速尔群岛深海数据科学，PI，由FCT资助
   故障锁存器：dEpendable软件故障定位和修复工具包，由FCT资助
   阿斯彭具有布尔EaN可满足性的回答集编程，PI，由FCT资助
   ATTEST公司FCT资助的dEpendable系统推理算法和工具
   帕萨特：FCT资助的并行可满足性算法及其应用
   i解释：关于不满足性的推理，由FCT资助
   SATPot（卫星端口）：SATisability算法、应用和扩展、PI，由FCT资助
   船舶：由FCT资助的Pure Parsimony PI基于Sat的单倍型推断
   曼库西：管理开放源代码基础设施的复杂性，INESC-ID PI，由EU/FP7资助
   佩索阿：由GRICES资助，LINA/南特大学，PI，从基因图到基因顺序

奖品
2009年INESC-ID青年研究员奖
2009年APPIA PremeIA奖
2008年UTL/德勤青年研究员奖

专业活动
   编辑委员会：
       人工智能杂志（自2021年起）
       人工智能研究杂志(2010-2016)
       可满足性、布尔建模与计算杂志
       人工智能进展
       
   组织机构：
       ECAI 2025年（项目联合主席）
       2019年国家税务总局（共发）
       2016年SAT/SMT/AR暑期学校（联合组织者）
       国家税务总局14（车间主席）
       LoCoCo@CP 11（共发）
       LoCoCo@FLoC 10（共发）
       高露洁棕榄公司09（组织委员会）
       EPIA 07的STCS（联席主席），SAT 07标准（当地主席）
   项目委员会：
       ECAI 2024年（区域主席），高露洁棕榄2024（高级PC），2024年国家税务总局
       2023年国家税务总局
       高露洁棕榄2022（高级PC）
       国际JCAI 21（高级PC），AAAI 21,JELIA 21号
       高露洁棕榄20（高级PC），ECAI 20标准（高级PC），SAT 20考试,GCAI 20公司,AAAI 20型
       高露洁棕榄公司19,EPIA第19页（KRR轨道），国际JCAI 19（高级PC），杰莉亚19
       高露洁棕榄18,第18位,国际JCAI 18,AAAI 18
       AAAI 17,CP 17,EPIA 17计划,FMCAD 17,SAT 17标准,GCAI 17,宾夕法尼亚州立大学17
       PoS 16,高露洁棕榄16,SAT 16,国际JCAI 16,AAAI 16
       GCAI 15,WCB 15号机组,RCRA 15号,高露洁棕榄15,SAT 15,AAAI第15页（高级PC），我才15（高级PC）
       高露洁棕榄14,WCB 14号机组,ECAI/楼梯14,杰莉亚14,ParSearchOpt14,国家税务总局14
       WCB 13号机组,RCRA 13号,SAT 13,国际JCAI 13,高露洁棕榄公司13
       高露洁棕榄公司12（多学科方向），拉什12,AAAI 12（区域主席），SAT 12,PoS 12,RCRA 12号,WCB 12号机组
       WCB 11号机组,沙发11,CAEPIA第11届,RCRA 11型,第11位,国际JCAI 11（高级PC）
       信息论坛10,沙发10,ECAI 10,WCB 10型,拉什10,SAT 10,RCRA 10号,ISMVL 10型,ISAIM第10版
       赛姆康09,世界银行09,RCRA 09号,CAEPIA 09公司,EPIA 09-美国汽车工业协会,高露洁棕榄公司09,国际JCAI 09,SAT 09标准
       RCRA 08号,08年末,IBERAMIA 08的PSCS,伊贝拉米亚08,SymCon 08公司,世界银行08,AAAI 08标准,SAT 08标准
       人工智能07,CAEPIA07的计划、进度和约束,CP/ICAPS07的计划与调度,RCRA 07号,AAAI 07标准,SAT 07标准,国际标准化委员会07（区域主席）
       WS32@ECAI 06,卫星06
   受邀讲座： CPAIOR 2020年,ACAI 2015年
   受邀会谈： CSL 2012
   教程： SAC 10[幻灯片]高露洁棕榄07[幻灯片]
   评委： 2010年QBFEVAL,2009年SAT竞赛
   合作： CompSustNet公司

教学活动
可从以下位置获得菲尼克斯IST



上次更新时间：2024年4月