Ines Lynce

    

  

Inês Lynce

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


Member of the Editorial Board of the Journal of Artificial Intelligence Research

INESC-ID Young Researcher Award 2009
APPIA PremeIA Award 2009
UTL/Deloitte Young Researcher Award 2008

Research Interests: Artificial Intelligence, Constraint Satisfaction, Satisfiability, Formal Methods, Bioinformatics, Optimization, Knowledge Representation
    List of Publications (also available from DBLP)
    Citations available from Google Scholar profile, ACM profile and ResearcherID profile.

Research projects (ongoing)
    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

Research projects (past)
    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

Professional Activities
    Organization: LoCoCo @ CP 11 (Co-Chair), LoCoCo @ FLoC 10 (Co-Chair), CP 09 (Organising Committee), STCS @ EPIA 07 (Co-Chair), SAT 07 (Local Chair), ISC 07 (SAT Area Chair)
    Program Committees:
        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
        WS32 @ ECAI 06, SAT 06
    Invited Talks: CSL 2012 [slides]
    Tutorials: SAC 10 [slides] CP 07 [slides]
    Judge: QBFEVAL 2010, SAT Competition 2009

Teaching
    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 May 2013