Total Projects: 48

International Projects

• QUALICHAIN - IDSS - Decentralised Qualifications' Verification and Management for Learner Empowerment, Education Reengineering and Public Sector Transformation
  National Technical University of Athens, European Commission, , 2019-01-01 - 2021-12-31
• DependableCloud - Towards the dependable cloud: Building the foundations for tomorrow
  INESC-ID Lisboa, European Research Council, , 2015-05-01 - 2017-09-05
• MANCOOSI - Managing the Complexity of the Open Source Infrastructure
  Universite Paris Diderot, European Commission, , 2008-02-01 - 2011-01-31
• - SAT
  Instituto Superior Técnico, TransEDA, , 2002-09-01 - 2004-12-01
• - SYMBAD
  TNI-Valiosys, European Commission - 5th Framework Program, , 2002-03-01 - 2004-11-01

National Projects

• RIGA - Reasoning over Indirect Discrimination
  INESC-ID Lisboa, FCT, Societal Digital Transformation, 2023-03-12 - 2024-09-11
• Smart Retail - PRR Agenda Smart Retail
  Sensei, IAPMEI, Societal Digital Transformation, 2022-10-01 - 2024-12-31
• DIVINA - Detecting Injection Vulnerabilities In Node.js Applications
  INESC-ID Lisboa, FCT, Societal Digital Transformation, 2022-03-27 - 2023-06-26
• Dacomico - Data Consistency in Microservices Compositions
  INESC-ID Lisboa, FCT, Societal Digital Transformation, 2022-01-15 - 2025-01-14
• PassCert - Exploring the Impact of Formal Verification on the Adoption of Password Security Software
  INESC-ID Lisboa, FCT Carnegie Mellon, Security and Privacy, 2021-02-01 - 2022-04-30
• SecurityAware - Abordagem refinada para detectar e corrigir vulnerabilidades
  INESC-ID Lisboa, FCT, Security and Privacy, 2020-11-01 - 2022-01-31
• GOLEM - Automated Programming to Revolutionize App Development
  OutSystems, FCT, Societal Digital Transformation, 2020-04-01 - 2023-06-30
• LAIfeBlood - Artificial Intelligence for Blood Management
  INESC-ID Lisboa, FCT, , 2020-01-01 - 2023-06-30
• DATAHELP - Data2Help: Data Science for Optimization of Emergency Medical Services
  INESC-ID Lisboa, FCT, , 2019-01-01 - 2022-06-30
• DOME - Métodos de Optimização Discreta para Gestão Energética
  INESC-ID Lisboa, FCT, , 2018-10-01 - 2022-06-30
• INFOCOS - Feedback Inteligente para alunos contentes
  INESC-ID Lisboa, FCT, , 2018-10-01 - 2022-09-30
• MIXEDUP - Inibição da patogénese e construção de fábricas celulares: por desenvolvimento de modelos regulatórios-metabólicos mistos à escala do genoma em leveduras
  IST-ID, FCT, , 2018-10-01 - 2022-09-30
• NGPHYLO - Ferramentas para análise filogenetica em larga escala
  INESC-ID Lisboa, FCT, , 2018-10-01 - 2022-09-30
• DeepData - DeepData: Data Science in the Azores Deep Sea
  INESC-ID Lisboa, FCT, , 2018-09-01 - 2019-08-09
• FaultLocker - FAULT LOCalization and repair tooKit for dEpendable softwaRe
  INESC-ID Lisboa, FCT, , 2018-09-01 - 2022-03-31
• BioData - Portuguese Biological Data Network
  F - Fundação Calouste Gulbenkian, P2020, , 2017-01-01 - 2021-06-17
• BacGenTrack - BacGenTrack - An integrated system for Bacterial Genome Tracking using high throughput sequencing technology: from identification to visualization
  Instituto de Medicina Molecular, FCT, , 2016-12-01 - 2019-11-30
• ERGODiC - Formal methods for the analysis of modular gEnetic ReGulatOry network DynamiCs
  INESC-ID Lisboa, FCT (PTDC/EEICTP/2914/2014), , 2016-07-01 - 2019-06-30
• CoMEDy - A COmputational Modelling platform for Epithelial DYnamics to explore the role of epithelial­-mesenchymal transition and stemness acquisition in cancer recurrence
  F - Fundação Calouste Gulbenkian, FCT, , 2016-07-01 - 2019-06-30
• CANTROL - Deciphering the mechanisms of transcriptional regulation that control antifungal drug resistance in pathogenic yeast Candida glabrata: aiming at the development of improved diagnosis and therapeutic
  IST-ID, FCT, , 2016-03-01 - 2019-02-28
• AMOS - Algorithms for Massive Online Courses
  INESC-ID Lisboa, FCT, , 2015-01-01 - 2015-12-01
• IFCT - Towards a semi-automatic model revision of logical regulatory network
  IF/01333/2013/CP1 204/CT0001, FCT, , 2015-01-01 - 2018-12-31
• eTEAM - Electronic Timetable Equipment and Staff Management
  SISCOG, QREN, , 2014-01-05 - 2015-04-01
• DataStorm - Large-Scale Data Management in Cloud Environments
  INESC-ID Lisboa, FCT, , 2013-07-01 - 2016-06-30
• POLARIS - POLynomial hierARchy algorIthms and applicationS
  INESC-ID Lisboa, FCT, , 2012-01-01 - 2015-02-28
• NetDyn - NetDyn: Understanding real large networks, from structure to dynamics
  INESC-ID Lisboa, FCT (PTDC/EIA-EIA/118533/2010), , 2012-01-01 - 2014-06-30
• ASPEN - Answer Set Programming with Boolean Satisfiability
  INESC-ID Lisboa, FCT, , 2011-03-01 - 2014-02-28
• ATTEST - AlgoriThms and Tolls for reasoning about dEpendable SysTems
  INESC-ID Lisboa, FCT, , 2010-10-01 - 2013-10-31
• ParSat - Parallel Satisfiability Algorithms and its Applications
  INESC-ID Lisboa, FCT (PTDC/EIA-EIA/103532/2008), , 2010-04-04 - 2013-04-04
• iExplain - iExplain - Reasoning About Unsatisfiability
  INESC-ID Lisboa, FCT, , 2010-04-01 - 2013-03-31
• BSOLO - BSOLO - Satisfação e optimização com restrições Booleanas
  INESC-ID Lisboa, FCT, , 2008-01-01 - 2011-08-31
• SHIPs - Sat-based Haplotype Inference by Pure Parsimony
  INESC-ID Lisboa, FCT, , 2007-12-31 - 2010-12-31
• DYABLO - Models for the Dynamic Behavior of Biological Networks
  INESC-ID Lisboa, FCT, , 2007-12-30 - 2010-12-30
• PRIVATO - Privacy Aware Trusted Computing
  INESC-ID Lisboa, FCT, , 2007-12-01 - 2010-12-01
• STRESSE - Insights into the complex regulatory networks acting in yeast cells changed with drugs/chemical stresses: genome wide expressions approaches supported by bioinformatics
  Instituto Superior Técnico, FCT, , 2006-01-02 - 2007-12-31
• SATPot: Algoritmos de satisfação, aplicações e ext - SATPOT
  INESC-ID Lisboa, FCT, , 2005-03-01 - 2008-02-28
• BioGrid - BioGrid - Parallel Algorithms for Gene Annotation
  INESC-ID Lisboa, FCT, , 2004-02-01 - 2007-06-30
• - PRACTIC
  Universidade Nova de Lisboa, FCT, , 2004-01-01 - 2006-12-31
• - ADEPT
  INESC-ID Lisboa, FCT, , 2001-01-01 - 2005-06-30
• - TGV - Techniques for Global Functional Verification of Complex Digital Systems
  INESC-ID Lisboa, FCT, , 1999-06-01 - 2003-12-31

Conferences

• ICST 2020 - IEEE International Conference on Software Testing, Verification and Validation
  INESC-ID Lisboa, Conference Registration, , 2019-07-01 - 2022-12-31
• DILS 2014 - 10th International Conference on Data Integration in the Life Sciences
  INESC-ID Lisboa, Other, , 2014-03-01 - 2014-12-31

Internal Projects

• Sat-based Haplotype Inference by Pure Parsimony - SHIPs
  INESC-ID Lisboa, INESC-ID, , 2006-01-03 - 2007-12-31