Frederico Duarte Ramos (8C16-D5E3-F31F)

Curriculum Vitae

Frederico Duarte Ramos

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

Projects

Grant

	Designation	Funders
2022/01/01 - Current	INFOCOS - PTDC/CCI-COM/32378/2017 INFOCOS - PTDC/CCI-COM/32378/2017 - BI\|2021/230 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 poster

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

Title

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