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.