Research Interests:
Artificial Intelligence, Constraint Satisfaction and Optimization, Automated Reasoning, Formal Methods, Bioinformatics
    List of Publications available from DBLP
    More information available from
Google Scholar profile,
ACM profile,
ResearcherID profile,
ScopusID profile
and
ORC ID.
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
Awards
      INESC-ID Young Researcher Award 2009
      APPIA PremeIA Award 2009
      UTL/Deloitte Young Researcher Award 2008