???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; .
Identification

Personal identification

Full name
Frederico Duarte Ramos

Citation names

  • Ramos, Frederico

Author identifiers

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

Knowledge fields

  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese (Mother tongue)
English Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2)
Spanish; Castilian Intermediate (B1) Elementary (A2) Beginner (A1) Upper intermediate (B2) Beginner (A1)
Education
Degree Classification
2022 - 2026
Ongoing
PhD in Computer Science and Engineering (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/12 - 2022/09
Concluded
Advanced Formation Diploma in Methodologies and Techniques of Scientific Research (Diploma de especialização)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 - 2021
Concluded
Master Degree in Information Systems and Computer Engineering (Mestrado)
Major in Ciber-Segurança
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Toward Tool-Independent Summaries for Symbolic Execution" (THESIS/DISSERTATION)
17
2015 - 2019
Concluded
Degree in Information Systems and Computer Engineering (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
12
Affiliation

Science

Category
Host institution
Employer
2023/08/01 - Current Researcher (Research) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Universidade de Lisboa Instituto Superior Técnico, Portugal
Projects

Grant

Designation Funders
2022/01/01 - Current INFOCOS - PTDC/CCI-COM/32378/2017
Research Fellow
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
Ongoing
Outputs

Publications

Conference paper
  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
Conference poster
  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". Paper presented in 3rd International KLEE Workshop on Symbolic Execution, 2022.
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2022/09/14 Toward Tool-Independent Summaries for Symbolic Execution
Meta's London Office (London, United Kingdom)

Event organisation

Event name
Type of event (Role)
Institution / Organization
2022/06/06 - 2022/06/10 Student volunteer at ECOOP'22 (2022/06/06 - 2022/06/10)
Conference (Other)
Distinctions

Award

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

Title

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