Sofia Reis

Unit Automated Reasoning and Software Reliability (ARSR) Role Early Stage Researcher Affiliation R - INESC-ID Lisboa Degree Mestrado Pos Bolonha ResearcherID https://scholar.google.pt/citations?user=jP79vaIAAAAJ ORCID https://orcid.org/0000-0002-5690-2279 Main Interests Security, Program Analysis, Deep Learning, Productivity, Software EngineeringSecurity, Program Analysis, Deep Learning, Productivity, Software EngineeringSecurity, Program Analysis, Deep Learning, Productivity, Software EngineeringSecurity, Program Analysis, Deep Learning, Productivity, Software Engineering Extension 2317 Room 401 Email sofia.reis(at)inesc-id.pt Personal Page https://sofiaoreis.github.io/