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
Email
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
orbilu.uni.lu

2022

Top of Page

2021

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

2020

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