Search
Close this search box.

Diogo Araújo

I am a Ph.D. student specializing in robust image analysis and AI-driven fairness methods. My work bridges generative AI, robotics, and multimodal learning to address real-world challenges. Under the supervision of Professors Catarina Barata and Carlos Santiago, I conducted research in robust medical image analysis. My work explored the combination of Vision Transformers and Multiple Instance Learning to create a novel classification framework that focuses only on the most relevant patches. I am currently a visiting student at the Robotics Institute, Carnegie Mellon University, under the supervision of Professor Fernando De la Torre. I am leading a project focused on de-biasing classifiers using generative AI and active learning.

Mariana Nunes

I hold a Bachelor’s and Master’s in Biomedical Engineering from Instituto Superior Técnico, specializing in Imagiology, Biosignals, and Biomedical Instrumentation. My research focuses on leveraging machine learning for biosignal analysis, with the goal of advancing innovations in health technology.

Álvaro Silva

Álvaro Silva, a Ph.D. candidate at FEUP in Portugal, aspires to research the interconnection between Formal Verification and generative AI applications. Previously, Álvaro was an ASIC Digital Design Staff Engineer at Synopsys, where he performed functional and formal digital IP verification for automotive-grade products. In this role, Álvaro gained an appreciation for software verification and the challenges it presents. He holds an integrated Master’s degree in Electrical and Computer Engineering from FEUP, where he graduated with a GPA of 19/20. Recognized for his academic excellence, Álvaro was awarded two merit scholarships.

 

Francisco Guedes

I completed a Bologna Degree in Information Systems and Computer Engineering at Instituto Superior Técnico (2017-2020) followed by a Bologna Master Degree in Computer Science and Engineering where I specialized in Artificial Intelligence and Engineering & Data Science (2020-2023). I worked at Caixa Geral de Depósitos as an AI Engineer (2023-2024).