Ines Lynce

    

  

Inês Lynce

Professor
Departamento de Engenharia Informática
Instituto Superior Técnico
INESC-ID Lisboa
Rua Alves Redol 9
1000-029 Lisboa, Portugal
Phone: +351 21 3100290
Fax: +351 21 3145843






Photo by Luís Catarino (2021)

Research Interests: Artificial Intelligence, Constraint Satisfaction and Optimization, Automated Reasoning, Formal Methods, Bioinformatics
    List of Publications (also available from DBLP)
    More information available from Google Scholar profile, ACM profile, ResearcherID profile, ScopusID profile and ORC ID.

Research Projects
    GOLEM: Automated Programming to Revolutionize App Development, 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, funded by FCT
    FaultLocket: FAULT LOCalization and repair tooKit for dEpendable softwaRe, funded by FCT
    ASPEN: Answer Set Programming with BoolEaN Satisfiability, 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, funded by FCT
    SHIPs: Sat-based Haplotype Inference by Pure Parsimony, funded by FCT
    MANCOOSI: Managing the Complexity of the Open Source Infrastructure, funded by EU/FP7
    PESSOA: From Gene Maps to Gene Orders, with LINA/Universite de Nantes, funded by GRICES

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:
        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:
        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 [slides] CP 07 [slides]
    Judge: QBFEVAL 2010, SAT Competition 2009
    Collaborations: CompSustNet

Teaching
    Logic for Programming 2015/16
    Algorithms for Computational Logic 2015/16
    Logic for Programming 2014/15
    Logic for Programming 2013/14
    Logic for Programming 2012/13
    Foundations of Programming 2010/11
    Boolean Constraints and Optimization 2009/10
    Artificial Intelligence 2009/10
    Foundations of Programming 2009/10
    Boolean Constraints and Optimization 2008/09
    Logic for Programming 2008/09
    Artificial Intelligence 2008/09
    Logic for Programming 2007/08
    Modelling 2007/08
    Artificial Intelligence 2006/07
    Knowledge Representation 2006/07

Last update January 2023