Home // SnT // People // Inês Pinto Gouveia

Inês Pinto Gouveia

Inês Pinto Gouveia

Postdoctoral researcher

Faculty or Centre Interdisciplinary Centre for Security, Reliability and Trust
Department CritiX
Postal Address Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Campus Office MNO, E02 0245-050
Telephone (+352) 46 66 44 5242

Inês PINTO GOUVEIA received her Master's degree on Informatics Engineering, from the Faculty of Sciences, University of Lisbon (FCUL), in 2017. She has worked as junior researcher on runtime verification. Her research interests are in low-level programming languages, namely hardware description languages, architecture, distributed systems and fault and intrusion tolerance. Inês joined the Critical and Extreme Security and Dependability group, CritiX, headed by Prof. Paulo Esteves-Verissimo and she will be working under his supervision.

Last updated on: Monday, 05 March 2018

powered by


Top of Page


Full Text
See detailTo verify or tolerate, that’s the question
Pinto Gouveia, Ines; Sakr, Mouhammad; Graczyk, Rafal; Volp, Marcus

Scientific Conference (2021, December 06)

Top of Page


Full Text
See detailBehind the Last Line of Defense -- Surviving SoC Faults and Intrusions
Pinto Gouveia, Ines; Volp, Marcus; Esteves-Verissimo, Paulo

E-print/Working paper (2020)

Top of Page