cv
General Information
| Full Name | Filipe Marques |
| Programming | OCaml, Python, C/C++, Java, JavaScript, WebAssembly, Haskell |
| Languages | Portuguese (Native), English (Fluent) |
Experience
-
2022 - Now
First Stage Researcher
INESC-ID, Lisbon
- Unit - Automated Reasoning and Software Reliability (ARSR)
-
2021 - 2022
Early Stage Researcher
INESC-ID, Lisbon
- Project - Intelligent Feedback for Centent Students (INFOCOS)
Education
-
2022 - Present
Ph.D. in Computer Science and Engieering
Instituto Superior Técnico, Portugal
- Supervisors - Profs. José Fragoso Santos (IST), Limin Jia (CMU), and Nuno Santos (IST)
-
2019 - 2021
M.Sc. in Computer Science and Engineering
Instituto Superior Técnico, Portugal
- Thesis - Robust Symbolic Execution for WebAssembly
- Superviros - Prof. José Fragoso Santos and Prof. Nuno Santos
-
2016 - 2019
B.Sc. in Computer Science and Engineering
Instituto Superior Técnico, Portugal
Open Source Projects
Honors and Awards
-
2022
- CMU Portugal Affiliated Ph.D. Program Scholarship
-
2020
- Academic Merid Diploma, Instituto Superior Técnico
-
2019
- Academic Merid Diploma, Instituto Superior Técnico
-
2018
- Academic Merid Diploma, Instituto Superior Técnico