???global.info.a_carregar???
Frederico Duarte Ramos. Atua na(s) área(s) de Ciências da Engenharia e Tecnologias com ênfase em Engenharia Eletrotécnica, Eletrónica e Informática. No seu currículo Ciência Vitae os termos mais frequentes na contextualização da produção científica, tecnológica e artístico-cultural são: Symbolic Execution; Binary Analysis; Exploit Generation; Cyber Forensics; .
Identificação

Identificação pessoal

Nome completo
Frederico Duarte Ramos

Nomes de citação

  • Ramos, Frederico

Identificadores de autor

Ciência ID
8C16-D5E3-F31F
ORCID iD
0000-0002-1689-9650

Domínios de atuação

  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português (Idioma materno)
Inglês Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2)
Espanhol; Castelhano Utilizador independente (B1) Utilizador elementar (A2) Utilizador elementar (A1) Utilizador independente (B2) Utilizador elementar (A1)
Formação
Grau Classificação
2022 - 2026
Em curso
 PhD in Computer Science and Engineering (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/12 - 2022/09
Concluído
 Advanced Formation Diploma in Methodologies and Techniques of Scientific Research (Diploma de especialização)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 - 2021
Concluído
 Master Degree in Information Systems and Computer Engineering (Mestrado)
Especialização em Ciber-Segurança
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Toward Tool-Independent Summaries for Symbolic Execution" (TESE/DISSERTAÇÃO)
 17
2015 - 2019
Concluído
 Degree in Information Systems and Computer Engineering (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
 12
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2023/08/01 - Atual Investigador (Investigação) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Universidade de Lisboa Instituto Superior Técnico, Portugal
Projetos

Bolsa

Designação Financiadores
2022/01/01 - Atual INFOCOS - PTDC/CCI-COM/32378/2017
INFOCOS - PTDC/CCI-COM/32378/2017 - BI|2021/230
Bolseiro de Investigação
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa
Em curso
Produções

Publicações

Artigo em conferência
  1. Frederico Ramos; Diogo Costa Reis; Miguel Trigo; António Morgado; José Fragoso Santos. "MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations". 2023.
    10.1145/3597926.3604923
  2. Frederico Ramos; Nuno Sabino; Pedro Adão; David A. Naumann; José Fragoso Santos. "Toward Tool-Independent Summaries for Symbolic Execution". 2023.
    10.4230/LIPICS.ECOOP.2023.24
Poster em conferência
  1. Ramos, Frederico; Filipe Marques; Pedro Miguel Adão; Nuno Santos; José Fragoso Santos. "Empirical Study on Applying Program Analysis and Testing Tools to Student Code". Trabalho apresentado em 3rd International KLEE Workshop on Symbolic Execution, 2022.
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2022/09/14 Toward Tool-Independent Summaries for Symbolic Execution
Meta's London Office (London, Reino Unido)

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2022/06/06 - 2022/06/10 Student volunteer at ECOOP'22 (2022/06/06 - 2022/06/10)
Conferência (Outra)
Distinções

Prémio

2023 Outstanding Teaching Diploma
Universidade de Lisboa Instituto Superior Técnico, Portugal

Título

2022 Academic Merit Diploma
Universidade de Lisboa Instituto Superior Técnico, Portugal