© Sofia Reis 2021. 404.
Sofia Reis
PhD Student

Hey you! 👋

My name is Sofia! I'm a PhD Candidate 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 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

Ping me at sofia.o.reis [at] tecnico.ulisboa.pt, if you want to collaborate.

👩‍💻 Projects

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.

  • SecBench: A Database of Existing Security Vulnerabilities Patches to Enable Evaluation of Techniques
  • Lithium Slicer: Program slicer based on the Mozilla Lithium Tool for Java (test oracle based).
  • SECOM: A convention for security commit messages (an OpenSSF project).
  • Security Linter for Puppet: Set of security plugins for puppet-lint.
  • SoSATs Collection: Living review and collection of Security-oriented Static Analysis Tools (WIP)

🏆 Honors/Awards

  • 🏆 FOSS (Free, Open Source Software) award for SECOM at MSR'22 co-located with ICSE'22.

  • 💯 Quantum Excellence in Qiskit Global Summer of School awarded by IBM Quantum. Mark: 100%/100% (a total of 9 labs completed)

  • 👩‍🏫 Excellence in Teaching the Foundations of Programming Course awarded by @Técnico (awarded by the students).

  • 🎖 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

🚀 Hobbies

  • 🛵 Exploring Douro Valley on my vespa.

  • 📸 Photography.

  • 🤓 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.