Sofia Reis (2C13-195F-BD13)

Curriculum Vitae

Sofia Reis

A Sofia é estudante de doutoramento no Instituto Superior Técnico (Universidade de Lisboa) e investigadora júnior no Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa. No seu doutoramento, tem vindo a estudar formas automáticas de detetar vulnerabilidades de segurança e desenvolvendo investigação noutros campos de estudo como software maintainability e software fault localization. Como investigadora júnior, está actualmente a contribuir no projecto do Diário da Républica que consiste em estudar e melhorar a performance do motor de busca. Ela também dá assistência ao ensino no Instituto Superior Técnico em aulas práticas de Fundamentos de Programação e Engenharia de Software. Tirou o mestrado em engenharia informática e computação na Faculdade de Engenharia da Universidade do Porto e esteve seis meses na Universidade de Leiden, na Holanda, onde estudou matérias e desenvolveu investigação nas áreas de Data Mining, Social Network Analysis, Big Data e Evolutionary Algorithms. É um membro activo do QUASAR research group (TQRG) e da AlumiEI-FEUP.

Ler resumo completo ↓

Identificação

Identificação pessoal

Nome completo: Sofia Reis
Data de nascimento: 1994/08/07
Género: Feminino

Nomes de citação

Reis, Sofia

Identificadores de autor

Ciência ID: 2C13-195F-BD13
ORCID iD: 0000-0002-5690-2279
Google Scholar ID: jP79vaIAAAAJ

Endereços de correio eletrónico

sofiareis1994@gmail.com (Profissional)
sofia.o.reis@tecnico.ulisboa.pt (Profissional)

Websites

https://sofiaoreis.github.io/ (Pessoal)

Domínios de atuação

Ciências Exatas - Ciências da Computação e da Informação

Idiomas

Idioma	Conversação	Leitura	Escrita	Compreensão
Português (Idioma materno)
Inglês	Utilizador proficiente (C1)	Utilizador proficiente (C1)	Utilizador proficiente (C1)	Utilizador proficiente (C1)
Francês	Utilizador elementar (A2)	Utilizador independente (B1)	Utilizador elementar (A2)	Utilizador independente (B1)
Espanhol; Castelhano	Utilizador elementar (A2)	Utilizador elementar (A2)	Utilizador elementar (A2)	Utilizador independente (B1)

Formação

	Grau	Classificação
2018/02 - 2022/12 Em curso	PhD in Computer Science and Engineering (Doutoramento) Especialização em Engenharia de Software e Segurança Universidade de Lisboa Instituto Superior Técnico, Portugal	19.4
2012/09 - 2017/09 Concluído	Mestrado Integrado em Engenharia Informática e Computação (Mestrado integrado) Especialização em Engenharia de Software Universidade do Porto Faculdade de Engenharia, Portugal "Assessing software vulnerabilities using Naturally Occurring Defects (19/20 - top 5%)" (TESE/DISSERTAÇÃO)	15
2016/09 - 2017/02 Concluído	MSc in Computer Science and Advanced Data Analytics - ERASMUS+ PROGRAMME (Mestrado) Universiteit Leiden Leiden Institute of Advanced Computer Science, Países Baixos

Percurso profissional

Ciência

	Categoria Profissional Instituição de acolhimento	Empregador
2018/04/01 - 2019/12/31	Investigador (Investigação)	Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
	Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Outras Carreiras

	Categoria Profissional Instituição de acolhimento	Empregador
2017/09/11 - 2018/03/09	Consultor de Informática (Categorias e Funções Especificas)	KPMG PT, Portugal
	KPMG PT, Portugal

Projetos

Bolsa

	Designação	Financiadores
2018/07/01 - 2018/12/31	Systematic Survey on Platforms for Continuous Inspection of Code Quality UID/CEC/50021/2013 Bolseiro de Investigação Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa Concluído
2018/04/13 - 2018/06/30	DRE - Serviço de pesquisa em linha para o Diário da República Eletrónico 353/2017 - Serviço de pesquisa em linha para o Diário da Republica eletrónico (DRE) Bolseiro de Investigação Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Imprensa Nacional-Casa da Moeda Em curso

Projeto

	Designação	Financiadores
2020/08/01 - Atual	SecurityAware: Fine-grained approach to detect and patch vulnerabilities CMU/TIC/0064/2019 Investigador	Fundação para a Ciência e a Tecnologia
2019/01/01 - 2019/12/31	Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa UID/CEC/50021/2019 Bolseiro de Investigação Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Em curso

Produções

Publicações

Artigo em conferência	Reis, Sofia. "Demystifying the Combination of Dynamic Slicing and Spectrum-based Fault Localization". 2019. 10.24963/ijcai.2019/661 Reis, Sofia; Abreu, Rui. "SECBENCH: A Database of Real Security Vulnerabilities". Trabalho apresentado em Secure Software Engineering in DevOps and Agile Development (SecSE 2017), Oslo, 2017. Publicado
Artigo em revista	Reis, Sofia; Abreu, Rui. "A Database of Existing Vulnerabilities to Enable Controlled Testing Studies". International Journal of Secure Software Engineering (IJSSE) 8 3 (2017): 1-23. https://www.igi-global.com/article/a-database-of-existing-vulnerabilities-to-enable-controlled-testing-studies/201213. Publicado • 10.4018/IJSSE.2017070101
Poster em conferência	Reis, Sofia. "Leveraging Known Vulnerabilities to Modernize Static Analysis Tools". Trabalho apresentado em PhD OpenDays 2018. Lisbon, Portugal, 2018.
Resumo em conferência	Reis, Sofia; Abreu, Rui. "Using Github to Create a Dataset of Natural Occurring Vulnerabilities". Trabalho apresentado em International Workshop on Principles of Diagnosis, Bréscia, 2018. Publicado
Tese / Dissertação	Reis, Sofia. "Assessing software vulnerabilities using Naturally Occurring Defects". Mestrado, Universidade do Porto Faculdade de Engenharia, 2017. https://repositorio-aberto.up.pt/handle/10216/106509.

Atividades

Organização de evento

	Nome do evento Tipo de evento (Tipo de participação)	Instituição / Organização
2017/07 - Atual	CommitPorto'18/'19/'20 - Annual event where Portuguese and international speakers discuss the last trends in the software development field. (2019/07) Conferência (Membro da Comissão Organizadora)
2019/03/01 - 2020/11/30	ICST'20: Local Organization Chair. Academic Conference in Software Testing. Responsible for finding sponsors and marketing the event on Social Media. (2020/10/24 - 2020/10/28) Conferência (Membro da Comissão Organizadora)	Universidade do Porto Faculdade de Engenharia, Portugal Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/10/22 - 2020/10/28	Student Volunteer: IEEE Int. Conference on Software Testing, Verification and Validation (ICST'20), Virtual (2020/10/24 - 2020/10/28) Conferência	Universidade de Lisboa Instituto Superior Técnico, Portugal Universidade do Porto Faculdade de Engenharia, Portugal IEEE, Estados Unidos
2019/07/01 - 2019/07/07	Volunteer: Future of Computing Conference (Porto, Portugal) (2019/07/01 - 2019/07/07) Conferência (Outra)	UPTEC Associação de Transferência de Tecnologia da Asprela, Portugal
2019/01/13 - 2019/01/19	Student Volunteer: ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'19, Lisbon, Portugal) (2019/01/13 - 2019/01/19) Simpósio (Outra)	Association for Computing Machinery, Estados Unidos
2018/07/16 - 2018/07/20	Student Volunteer: International Conference on Software Quality, Reliability and Security (QRS’18, Lisbon, Portugal) (2018/07/16 - 2018/07/20) Conferência (Outra)

Participação em evento

	Descrição da atividade Tipo de evento	Nome do evento Instituição / Organização
2020/12/01 - Atual	2-days Facebook Testing and Verification Symposium (FaceTAV), Facebook London, UK, Virtual (invitation only) Conferência	Facebook Testing and Verification Symposium Facebook London, Reino Unido
2020/10/01 - Atual	Facebook Analytics Academy Challenge: Virtual challenge for selected students. The challenge involved answering 5 questions by applying data science methods to a set of data. Concurso	Facebook Analytics Academy Challenge Facebook London, Reino Unido
2020/07/15 - 2020/07/31	Qiskit Summer School: Virtual summer school on quantum computing by IBM Quantum. Topics went from the basics (qubits, circuits, etc) to simulating chemistry on a quantum computer. Labs only available to 2000 out of the 5000 participants. 9 labs required. Oficina (workshop)	Qiskit Summer School IBM Quantum, Estados Unidos
2019/01/09 - 2019/01/12	4-days VMCAI Winter School, Portugal, January 2019. (Formal Methods, co-located with POPL'19) Outro	VMCAI Winter School Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/11/28 - 2018/11/29	2-days Facebook Testing and Verification Symposium (FaceTAV), Facebook London, UK, November 2018 (invitation only) Simpósio	Facebook Testing and Verification Symposium Facebook London, Reino Unido

Arbitragem científica em conferência

	Nome da conferência	Local da conferência
2021/01/01 - 2021/02/28	IEEE Int. Conference on Software Testing, Verification and Validation (Sub Reviewer: Technical Track)	Online
2021/02/01 - 2021/02/27	International conference in Mining Software Repositories (Shadow PC: Main Track)	Online
2020/09/01 - 2020/11/30	International Conference on Software Engineering (Sub Reviewer: Main Track)	Online

Consultoria / Parecer

	Descrição da atividade	Instituição / Organização
2017/10/01 - 2018/03/09	Robotic Process Automation Developer @KPMG_PT. Responsible for designing and delivering automations in Automation Anywhere for VAT processing in the pharmaceutical sector. Reference: Lara Conceição and Daniel Pires. Certified developer in Automation Anywhere. Licença AAADVC-Fv5QqG1JlD	KPMG PT, Portugal

Curso / Disciplina lecionado

	Disciplina	Curso (Tipo)	Instituição / Organização
2020/01/01 - 2020/03/30	Software Engineering (SISE). 3-month course. AskBlue & Deloitte. Técnico+ (Instituto Superior Técnico, University of Lisbon)	ENGENHARIA DE SOFTWARE E DOS SISTEMAS DE INFORMAÇÃO EMPRESARIAIS (Pós-Graduação)	Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/02 - 2019/07	Software Engineering - 3rd year course (Spring 2019)	Licenciatura Bolonha em Engenharia Informática e de Computadores (Licenciatura)	Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09 - 2019/02	Foundations of Programming - 1st year course (Fall 2018)	Licenciatura Bolonha em Engenharia Informática e de Computadores (Licenciatura)	Universidade de Lisboa Instituto Superior Técnico, Portugal

Membro de associação

	Nome da associação	Tipo de participação
2016/09 - Atual	Member of AlumniEI-FEUP: Associação de Antigos Alunos de Engenharia Informática da FEUP	Membro
2019/05 - 2021/05	Vice-President of AlumniEI-FEUP: Associação de Antigos Alunos de Engenharia Informática da FEUP	Vice-President

Distinções

Título

2020	Excellence in Teaching the Foundations of Programming awarded by Instituto Superior Técnico, University of Lisbon Universidade de Lisboa Instituto Superior Técnico, Portugal

Outra distinção

2020	IBM Quantum Challenge Advanced Badge (196th place out of 1745 qualifications) IBM Quantum, Estados Unidos
2020	Quantum Excellence in Qiskit Global Summer of School awarded by IBM Quantum IBM Quantum, Estados Unidos
2019	PhD Scholarship awarded by FCT, cf. SFRH/BD/143319/2019 Fundação para a Ciência e a Tecnologia, Portugal
2018	Scholarship under the project UID/CEC/50021/2013 Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal