I got my B.Sc. and M.Sc. from the Department of EEE-Telecommunication Engineering of the Islamic Azad University, West Azarbaijan, Urmia Branch, and METU in EEE-Biomedical, respectively. I worked on the LFEIT project developed in the framework of TUBITAK and COST Action BM1309 and AI-Beam, and POWER – 5G RU Indoor Antenna Design projects.
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.
Duarte is a LARSyS/INESC-ID researcher with an MSc in Interactive Media Design, blending HCI, Design Research, and User-Centered Design. Currently, he is exploring AI-powered approaches to enhance knowledge personalisation through transdisciplinary methods.
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.
António is currently enrolled in the Ph.D. program in Information Science and Technology at ISCTE. He obtained his B.Sc. and M.Sc. degrees in Telecommunications and Computer Engineering from ISCTE. His research interests lie in spectrum sensing and sharing in future networks and establishing new public policies to use the spectrum more efficiently.
After finishing my integrated Masters in 2021 from the University of Coimbra in Portugal and working for 8 months as a researcher, I am now starting my doctoral path with the CMU Portugal Affiliated Ph.D. Program in Electrical and Computer Engineering on forestry robotics, with a workplan entitled “Efficient Large-Scale Mapping and Path Planning in Forest Environments”.
I am a Ph.D. candidate in the Carnegie Mellon Portugal affiliated Ph.D. (CMU Portugal) program in the Doctoral Program in Electrical and Computer Engineering (PDEEC), at the Faculty of Engineering of the University of Porto (FEUP), Portugal, and a researcher at INESC-TEC in the Center for Biomedical Engineering Research (C-BER).
I am an HCI design researcher at ITI, LARSyS. Before joining the CMU Portugal program, I got my master degree in design at Tongji University and experienced multiple digital projects (Social media, social innovation and sustainability, etc.) with my interaction design skills in China. My current research is triggered by digital technologies, HCI, sustainability, and multi-disciplinary practices. I appreciated the opportunity and am glad to meet the fabulous network.
My research focuses on helping programmers and non-programmers on their daily tasks, by leveraging Program Synthesis and Program Repair techniques. Some of my other research interests include Formal Methods and Compilers.
