2023 CyLab Partners Conference

November 20, 2023

Was very happy to attend the 2023 CyLab Partners Conference

Student Seminar

October 2, 2023

I joined the Student Seminar Planning committee at Cylab in CMU!

CMU Summit 2023

October 1, 2023

Presented a poster and attended the CMU Portugal 2023 Summit

Arrived at CMU

August 11, 2023

Just arrived at CMU for 12 months! 🇺🇸

Won a Seeds for the future 2.0 Huawei Award

June 23, 2023

I am very honored to have won an Excellence in Teaching Award from Instituto Superior Técnico in its 112th aniversary for my students’ reviews and opinions of the past courses I TA’ed at.

Won a Seeds for the future 2.0 Huawei Award

May 15, 2023

I am honored and happy to have won the Huawei Seed for the Future 2.0 award in recognition of my academic and personal achievements.

CMU Portugal 2022 Summit

November 9, 2022

Attended the CMU Portugal 2022 Summit and presented a poster about my recent work.

IST PhD Open Days

September 14, 2022

Presented poster about my recent work in the IST PhD Open Days

Talk to a general audience

June 7, 2022

Presented my current research work and gave a talk about cybersecurity at Vila Velha de Rodão’s library to an audience of Senior University Students (over 65 years old).

Studying Users' Willingness to Use a Formally Verified Password Manager

June 7, 2022

Presented the paper Studying Users’ Willingness to Use a Formally Verified Password Manager in PhD-iFM’22

CODASPY 2022

April 25, 2022

Attended CODASPY 2022 in Washington DC. Had a great time and met a lot of interesting people :)

CMU Portugal Dual-Degree!

April 1, 2022

Was accepted in the CMU Portugal Dual-Degree PhD Program!

Finished the Masters

November 19, 2021

Presented my thesis and ended my Masters! Check out the whole thesis in the Publications section.

Research Agenda

October 4, 2021

Presentation of the paper Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
This paper was presented in, the 1st International Workshop on Applicable Formal Methods (co-located with Formal Methods 2021)

Towards Improving the Usability of Password Managers

September 10, 2021

Presentation of the paper and poster Towards Improving the Usability of Password Managers
This paper was presented in INForum.