Diana Vieira Fernandes holds a Law Degree (NOVA School of Law), a Post Degree Diploma in Securities Law (Instituto de Valores Mobiliários, FDL) and has a Master in Law and Management (NOVA School of Law and NOVA School of Business and Economics). She also received NOVA University’s 2011 award of distinction (Diploma of Merit) in the Field of Entrepreneurship. Prior to joining the IN+ – Center for Innovation, Technology and Policy Research at Instituto Superior Técnico, worked on a business association that manages a solar demonstration platform in the Algarve. She also supported several projects related to energy, innovation and data science.
Pedro is a Ph.D. student in Computer Science at Instituto Superior Técnico. He got a MSc in Telecommunications and Informatics Engineering at Instituto Superior Técnico and worked in network architecture of IP/MPLS and SD-WAN networks at Nokia. Currently he is doing research on the security of Machine Learning systems that are at the core of future Self-Driving Networks.
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.
