???global.info.a_carregar???
Investigador no ISLA SAntarém - Instituto Politécnico, focado em linguagens de programação com type system capability-based como base formal para governança de cadeia de suprimentos de software. Autor da linguagem Capa, cujo compilador emite artefactos SBOM (CycloneDX, SPDX), VEX (CycloneDX) e atestações SLSA L1 ao nível de função, com mecanização em Agda dos quatro teoremas de soundness correspondentes (Progress, Preservation, Capability Soundness, Manifest Completeness). Docente no ISLA Santarém desde 2020 nas áreas de programação Python, cibersegurança, engenharia de software e tecnologias web. Três artigos em revistas internacionais com revisão por pares e um capítulo de livro internacional; manuscrito de workshop sobre Capa em fase de submissão (target: PLAS, EuroS&P workshops, NDSS workshops)
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Nelson Miguel Martins Duarte

Nomes de citação

  • Duarte, Nelson

Identificadores de autor

Ciência ID
7210-2FF8-CA41
ORCID iD
0000-0001-6650-0778

Domínios de atuação

  • Ciências da Engenharia e Tecnologias
  • Ciências Naturais

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português (Idioma materno)
Inglês Utilizador independente (B2) Utilizador proficiente (C1) Utilizador independente (B1) Utilizador proficiente (C2) Utilizador independente (B2)
Formação
Grau Classificação
2026/10/12 - 2029/07/31
Em curso
 Ciência e Tecnologia Web (Doutoramento)
Universidade de Trás-os-Montes e Alto Douro, Portugal

Universidade Aberta, Portugal
2025/12/09 - 2026/01/23
Concluído
 Recolha e Análise Forense de Dados (Curso de Especialização Tecnológica)
Especialização em Analista de Cibersegurança
Instituto Politécnico de Viseu, Portugal
 16,3
2025/09/16 - 2025/11/25
Concluído
 Microcredencial: Cibersegurança Ofensiva (Curso de Especialização Tecnológica)
Especialização em Cibersegurança
Universidade Aberta, Portugal
 15
2025/11/11 - 2025/11/24
Concluído
 Segurança de Redes (Curso de Especialização Tecnológica)
Especialização em Cibersegurança
Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
 14
2024 - 2024
Concluído
 Workshop Inteligência Artificial Generativa na Investigação (Outros)
Instituto Superior de Gestão e Administração de Santarém, Portugal
2024 - 2024
Concluído
 Workshop Técnicas de Apresentação em Estúdio (Outros)
Instituto Superior de Gestão e Administração de Santarém, Portugal
2024 - 2024
Concluído
 Workshop Conteúdos Interativos com HSP (Outros)
Instituto Superior de Gestão e Administração de Santarém, Portugal
2020/10/26 - 2022/12/15
Concluído
 Engenharia de Tecnologias e Sistemas Web (Mestrado integrado)
Especialização em Engenharia Informática
Instituto Superior de Gestão e Administração de Santarém, Portugal
"Web Platform System for Course Accreditation in Higher Education" (TESE/DISSERTAÇÃO)
 17
2016/10/06 - 2019/07/15
Concluído
 Informática de Gestão (Licenciatura)
Especialização em Informática
Instituto Superior de Gestão e Administração de Santarém, Portugal
 15
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento		 Empregador
2020/09/27 - Atual Assistente (Docente Ensino Superior Politécnico) Instituto Superior de Gestão e Administração de Santarém, Portugal
Instituto Superior de Gestão e Administração de Santarém, Portugal

Cargos e Funções

Categoria Profissional
Instituição de acolhimento		 Empregador
2011/04/01 - 2023/05/31 Técnico de Informática Instituto Superior de Gestão e Administração de Santarém, Portugal
Instituto Superior de Gestão e Administração de Santarém, Portugal
Produções

Publicações

Artigo em revista
  1. Nelson Duarte; Ricardo Vardasca. "Literature Review of Accreditation Systems in Higher Education". Education Sciences (2023): https://doi.org/10.3390/educsci13060582.
    10.3390/educsci13060582
  2. Nuno Galego; Nelson Duarte; Domingos Martinho. "Cloud Computing – Quem garante a segurança dos dados?". (2022): https://scholar.google.com/scholar?oi=bibs&cluster=16550929574474483500&btnI=1&hl=pt-PT.
    10.1016/j.procs.2024.05.108
  3. Duarte, Nelson. "PREDIÇÃO DO NÚMERO DE ESTUDANTES NO ANO LETIVO 2021/22 NO ISLA SANTARÉM". (2021): http://hdl.handle.net/10400.26/43415.
Capítulo de livro
  1. Nelson Duarte; Nuno Coelho; Teresa Guarda. "Social Engineering: The Art of Attacks". 474-483. Springer International Publishing, 2021.
    10.1007/978-3-030-90241-4_36
Relatório
  1. Duarte, Nelson. 2021. Predicao do numero de estudantes no ano letivo 2021/22 no ISLA Santarem. http://hdl.handle.net/10400.26/43415.
Tese / Dissertação
  1. Duarte, Nelson. "Web Platform System for Course Accreditation in Higher Education". Mestrado, 2023. http://hdl.handle.net/10400.26/50769.
Atividades

Participação em evento

Descrição da atividade
Tipo de evento		 Nome do evento
Instituição / Organização
2021/11/25 - 2021/11/27 International Conference on Advanced research in Techonologies, Information, Innovation and Sustainability
Conferência
 ARTIIS
Universidad Estatal Península de Santa Elena, Equador