I am a PhD Student in Computer Science and Engineering at Instituto Superior Técnico (Técnico), where I am very fortunate to be advised by Prof. José Fragoso Santos and Prof. Nuno Santos. I am also a junior researcher at INESC-ID, working on applying software verification and testing tools to support computer science students in their learning process. My research interests are mainly in programming languages, software verification and validation, formal methods, and cybersecurity. Previously, I completed my MSc in Computer Science and Engineering at Tecnico. My dissertation, entitled Robust Symbolic Execution for WebAssembly, was supervised by Prof. José Fragoso Santos and Prof. Nuno Santos and was defended on December 2022.
I am a doctoral student currently working on the DAnon research project funded by CMU Portugal at INESC-ID and Instituto Superior Técnico. I received my BSc and MSc degrees in Computer Science and Engineering from Técnico and specializing in Cyber Security and Distributed Systems. My main motivation is protecting users from censorship, privacy violations, and crime on the web.
Bea is a creative director and a CMU Portugal Dual Degree PhD candidate in Human-Computer Interaction. She works on ocean literacy games that foster a sense of interconnectedness with the ocean. She also uses photography to reflect on people’s embodied experiences of the sea. Her research focuses on posthuman HCI, hydrocommons and more-than-human entanglements.
Before returning to academia, she worked internationally as a creative director for 2 decades. Starting in advertising, she then transitioned to environmental campaigning, where she worked on ideating communication campaigns for NGOs such as Greenpeace and WWF.
I got my BSc in Electronics Engineering and my MSc in Electrical and Computer Engineering, both at IST, this last one focused on micro and nano-electronics design. The objective for my Ph.D. under the CMU Portugal Program is to develop and improve power harvesting and data transmission techniques for integrated circuits applied to bioengineering.
Carolina Carreira, a Ph.D. candidate at Carnegie Mellon University and IST, focuses on usable security. Her research interests include the usability of formal methods, the human aspects of software engineering, and privacy. Additionally, she actively contributes to the community by organizing seminars and actively participating in the SIGPLAN-M.
I hold a MSc degree in Computer Science and Engineering from IST, focused in Artificial Intelligence. During my MSc thesis I’ve worked on Neural Information Retrieval, applied to the Geographic domain and I will pursue my Ph.D. focusing on Neural Information Retrieval.
