Sofia Reis
Invited Assistant Professor at INESC-ID
Portugal
Summary
👤
Senior🎓
Top SchoolSofia Reis is a security-focused software engineer and researcher with 11 years of experience spanning secure software engineering, program analysis, AI and cybersecurity, and she is open to full-time remote roles starting in 2025. She combines academic teaching as an invited assistant professor at FEUP with applied research at INESC‑ID and industry impact from internships at Meta and AWS, where her static-analysis work folded thousands of string expressions and exposed complexity issues at scale. A founder of a coding school in rural Portugal, she translates research into hands-on education and community impact, helping both kids and adults build AI, robotics and security skills. Her open-source contributions include adding C++ cost-analysis tests to Facebook Infer, reflecting deep expertise in static analysis models and performance-aware tooling. Practical, research-driven and community-minded, she blends rigorous program-analysis techniques with a knack for making complex security tools usable and teachable.
11 years of coding experience
3 years of employment as a software developer
Integrated Master (MSc+BSc), Informatics and Computing Engineering, Integrated Master (MSc+BSc), Informatics and Computing Engineering at Faculdade de Engenharia da Universidade do PortoMaster's degree, Computer Science, Master's degree, Computer Science at Leiden UniversityDoctor of Philosophy - PhD, Computer Science & Engineering, Doctor of Philosophy - PhD, Computer Science & Engineering at Instituto Superior Técnico
Portuguese, English
Github Skills (14)
testing10
data-structures10
c-language10
static-analysis10
cprogramming-language10
data-structure10
software-quality9
vector9
vector-math9
maps9
cpp8
objective-c5
javas4
java4
Programming languages (12)
Github contributions (5)
facebook/infer
Sep 2021 - Nov 2022
A static analyzer for Java, C, C++, and Objective-C
Role in this project:
QA Engineer / Test Automation Engineer
QA Engineer / Test Automation EngineerContributions:41 commits, 2 comments, 4 issues in 1 year 2 months
Contributions summary:Sofia primarily contributed to the `facebook/infer` repository by creating and modifying C++ tests for cost analysis. These tests focused on evaluating the performance of various data structures and code constructs, including vectors, lists, maps, and sets. The user added tests for the C++ container and iterator models for performance analysis with the tools in this static analysis tool.
static-analyzerobjective-ccppstatic-code-analysiscode-quality
TQRG/tqrg.github.io
Oct 2019 - May 2024
Website for the TQRG research group
Contributions:4 PRs, 27 pushes, 2 branches in 4 years 7 months
research-group
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.