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 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.
I am PhD Student in the School of Computer Science at Carnegie Mellon University. Broadly, my research goal is to create methods and tools to help software developers by automating tedious (but necessary) refactoring tasks. Currently, my primary focus is on automatic library migration and transpiration, but I have also worked on program synthesis.
Maria da Loura Casimiro is a Software Engineering PhD student at the Distributed Systems Group of INESC-ID, Instituto Superior Técnico, University of Lisbon and at the Institute for Software Research, Carnegie Mellon University. She received her BSc. (2016) and MSc. (2018) in Electrical and Computer Engineering from Instituto Superior Técnico, having a major in Computers and a minor in Systems, Decision and Control. Her research interests include cloud optimization, machine learning, self-adaptation of systems and planning.
