Scholar
Ines Lynce
Google Scholar ID: uvgyhBMAAAAJ
INESC-ID, Instituto Superior Técnico (IST), Universidade de Lisboa
Citations & Impact
Citations
1,828
H-index
18
i10-index
45
Publications
20
Co-authors
59
list available
Contact
No contact links provided.
Resume (English only)
Academic Achievements
- Awards:
- - INESC-ID Young Researcher Award 2009
- - APPIA PremeIA Award 2009
- - UTL/Deloitte Young Researcher Award 2008
- Professional Activities:
- - Editorial Boards: Artificial Intelligence Journal (since 2021), Journal of Artificial Intelligence Research (2010-2016), Journal on Satisfiability, Boolean Modeling and Computation, Progress in Artificial Intelligence
- - Organization: ECAI 2025 (Program Co-Chair), SAT 2019 (Co-Chair), SAT/SMT/AR Summer School 2016 (Co-Organizer), SAT 14 (Workshop Chair), LoCoCo @ CP 11 (Co-Chair), LoCoCo @ FLoC 10 (Co-Chair), CP 09 (Organising Committee), STCS @ EPIA 07 (Co-Chair), SAT 07 (Local Chair)
- - Program Committees: ECAI 2024 (Area Chair), CP 2024 (Senior PC), SAT 2024, SAT 2023, CP 2022 (Senior PC), IJCAI 21 (Senior PC), AAAI 21, JELIA 21, CP 20 (Senior PC), ECAI 20 (Senior PC), SAT 20, GCAI 20, AAAI 20, CP 19, EPIA 19 (KRR track), IJCAI 19 (Senior PC), JELIA 19, CP 18, SAT 18, IJCAI 18, AAAI 18, AAAI 17, CP 17, EPIA 17, FMCAD 17, SAT 17, GCAI 17, PaSeO 17, PoS 16, CP 16, SAT 16, IJCAI 16, AAAI 16, GCAI 15, WCB 15, RCRA 15, CP 15, SAT 15, AAAI 15 (Senior PC), IJCAI 15 (Senior PC), CP 14, WCB 14, ECAI/STAIRS 14, JELIA 14, ParSearchOpt14, SAT 14, WCB 13, RCRA 13, SAT 13, IJCAI 13, CP 13, CP 12 (Multidisciplinary Track), LaSh 12, AAAI 12 (Area Chair), SAT 12, PoS 12, RCRA 12, WCB 12, WCB 11, SofT 11, CAEPIA 11, RCRA 11, SAT 11, IJCAI 11 (Senior PC), INForum 10, SofT 10, ECAI 10, WCB 10, LaSh 10, SAT 10, RCRA 10, ISMVL 10, ISAIM 10, SymCon 09, WCB 09, RCRA 09, CAEPIA 09, EPIA 09 - GAI, CP 09, IJCAI 09, SAT 09, RCRA 08, LaSh 08, PSCS @ IBERAMIA 08, IBERAMIA 08, SymCon 08, WCB 08, AAAI 08, SAT 08, AI 07, Planning&Scheduling&Constraints @ CAEPIA07, Planning&Scheduling @ CP/ICAPS07, RCRA 07, AAAI 07, SAT 07, ISC 07 (Area Chair), WS32 @ ECAI 06, SAT 06
- - Invited Lectures: CPAIOR 2020, ACAI 2015
- - Invited Talks: CSL 2012
- - Tutorials: SAC 10, CP 07
- - Judge: QBFEVAL 2010, SAT Competition 2009
- - Collaborations: CompSustNet
Research Experience
- Research Projects:
- - RIGA: Reasoning over Indirect Discrimination, PI, funded by FCT
- - GOLEM: Automated Programming to Revolutionize App Development, PI, funded by FEDER and FCT
- - LAIfeBlood: Artificial Intelligence for Blood Management, funded by FCT
- - Data2Help: Data Science for Optimization of Emergency Medical Services, funded by FCT
- - DeepData: Data Science in the Azores Deep Sea, PI, funded by FCT
- - FaultLocker: FAULT LOCalization and repair tooKit for dEpendable softwaRe, funded by FCT
- - ASPEN: Answer Set Programming with BoolEaN Satisfiability, PI, funded by FCT
- - ATTEST: AlgoriThms and Tools for reasoning about dEpendable SysTems, funded by FCT
- - ParSat: Parallel Satisfiability Algorithms and its Applications, funded by FCT
- - iExplain: Reasoning About Unsatisfiability, funded by FCT
- - SATPot: SATisfiability algorithms, aPplicatiOns and exTensions, PI, funded by FCT
- - SHIPs: Sat-based Haplotype Inference by Pure Parsimony, PI, funded by FCT
- - MANCOOSI: Managing the Complexity of the Open Source Infrastructure, INESC-ID PI, funded by EU/FP7
- - PESSOA: From Gene Maps to Gene Orders, with LINA/Universite de Nantes, PI, funded by GRICES
Background
- Research Interests: Artificial Intelligence, Constraint Satisfaction and Optimization, Automated Reasoning, Formal Methods, Bioinformatics. Position: Professor.
Miscellany
- Teaching activities available from Fenix IST
