Working towards building safe, secure and resilient systems.

Biography

Inês is a Postdoctoral Research Fellow at the Cyber Resilience Research Group - CybeResil - part of the CriSys Community.

Before coming to KAUST, she worked as a Research Scientist at Intel Labs (Germany), where she explored safety features in the realms of open-source hardware and chiplets. In 2022, she obtained her Ph.D. from the University of Luxembourg where, being part of the CritiX group of the Interdisciplinary Center for Security, Reliability, and Trust (SnT), she researched architectural support for hypervisor-level intrusion tolerance in multiprocessor systems-on-chip (MPSoCs). In the same year, she briefly worked as a Research Associate in the same group, looking into NoC security and FPGA-based matrix accelerators.

Her Bachelor's and Master's studies were completed at the University of Lisbon, where she also worked as a Junior Researcher in the LaSIGE research unit (Navigators group).

Research Interests

Her research interests include fault- and intrusion-tolerant resilient systems, computer architecture, hardware design, FPGA security, FPGA partial reconfiguration, hardware description languages (HDLs) and Multi-Processor Systems-on-Chip (MPSoCs).

Awards and Distinctions

  • Academic Merit Award, University of Lisbon, 2017

Qualifications

Education

PhD (Dr. rer. nat.)
Computer Science, University of Luxembourg, Luxembourg, 2022
Master of Science (M.S.)
Computer Science and Engineering, University of Lisbon, Portugal, 2017
Bachelor of Science (B.S.)
Computer Science and Engineering, University of Lisbon, Portugal, 2015

Languages

English
Native or bilingual proficiency
Portuguese
Native or bilingual proficiency
French
Limited working proficiency