My name is Sofia! I'm a PhD Student in Software Engineering and Security. I'm studying static analysis optimization to boost security engineers productivity. I have a bachelor and master's degree from the Faculty of Engineering of the University of Porto and I'm currently pursuing my PhD studies at the Instituto Superior Técnico, University of Lisbon (supervised by Prof. Rui Abreu). I've also spent 6 months abroad at the University of Leiden in The Netherlands under the ERASMUS+ PROGRAMME between 2016 and 2017.
I love coding, research and open-source. I try to make all of my code, research and data fully available for the sake of reproducibility. #openscience
If you want to collaborate, contact me: sofia.o.reis [at] tecnico.ulisboa.pt
I'm currently working on several research projects that aim to improve the vulnerability detection field. I will be releasing the tools and results as I finish/publish my research work. You can also find some of my Publications here.
[⚠️ Help Wanted!] I'm improving a security linter for the Puppet community. Do you have experience in Puppet or similar tools (e.g., Ansible, Terraform, Chef) and appreciate security? Then, we would very much appreciate your colaboration. 😊 ➡️ https://puppet-study.herokuapp.com/
💯 Quantum Excellence in Qiskit Global Summer of School awarded by IBM Quantum. Mark: 100%/100% (a total of 9 labs completed)
🎖 IBM Quantum Challenge Advanced Badge (196/1745). Finished last challenge (req. score: 1600/my score: 147/winner score: 45)
🔬 PhD Scholarship awarded by the Portuguese NSF, cf. SFRH/BD/143319/2019
🛵 Exploring Douro Valley while riding my vespa.
📸 Photography (follow me on insta: @sofiaoreis)
🤓 Reading books about self-development, psychology and society.
👩🎨 Watercolor painting and digital illustrations.
👩💻 Coding and learning new fields.
📣 Social media writer and designer for conferences.
🥾 Hiking with my friends/family.
🌎 Travelling around the world.
🎹 Learning how to make beats (now).