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.
I am an Early Stage Researcher at the ARSR group in INESC-ID. I concluded my BSc. and MSc. at Instituto Superior Técnico. Recently I have been researching Program Synthesis applied to the synthesis of SQL queries, and how we can make sure to satisfy the user’s true intent.
I’m a Systems Researcher at INESC-ID with both a BSc and a MSc in Computer Science and Engineering from Instituto Superior Técnico, University of Lisbon. During my MSc thesis we developed a tool that automatically parallelized software network functions, which piqued an interest in me and led me to do research in the networking field.
Born in Brazil, I got a degree in Mechatronics Engineering at the University of Brasília (UnB). However, I enjoyed the Computer Science part more than the others, especially the more mathematical side, so I decided to pursue a Masters’s in Computer Science at UnB. I chose to apply for the CMU/Portugal Ph.D. as the next step in my academic career and was fortunately accepted.
Since my Master’s Thesis, I have been researching program synthesis, the task of constructing a computer program based on a high-level description of what it should do. I will continue to explore this topic on my PhD: through program synthesis, I hope to find ways to help everyone easily and safely use a computer to automate daily tasks.
I graduated in Instituto Superior Técnico, where I have joined the local Capture-The-Flag (CTF) team called STT. Ever since, I have participated in many security competitions and have been dedicated to the field of computer security, first focused on cryptography and now on web analysis.