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 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