Curriculum Vitae
Sofia Reis
Identification
Personal identification
- Full name
- Sofia Reis
- Date of birth
- 1994/08/07
- Gender
- Female
Citation names
- Reis, Sofia
Author identifiers
- Ciência ID
- 2C13-195F-BD13
- ORCID iD
- 0000-0002-5690-2279
- Google Scholar ID
- jP79vaIAAAAJ
Email addresses
- sofiareis1994@gmail.com (Professional)
- sofia.o.reis@tecnico.ulisboa.pt (Professional)
Websites
- https://sofiaoreis.github.io/ (Personal)
Knowledge fields
- Exact Sciences - Computer and Information Sciences
Languages
| Language | Speaking | Reading | Writing | Listening | Peer-review |
|---|---|---|---|---|---|
| Portuguese (Mother tongue) | |||||
| English | Advanced (C1) | Advanced (C1) | Advanced (C1) | Advanced (C1) | |
| French | Elementary (A2) | Intermediate (B1) | Elementary (A2) | Intermediate (B1) | |
| Spanish; Castilian | Elementary (A2) | Elementary (A2) | Elementary (A2) | Intermediate (B1) |
Education
| Degree | Classification | |
|---|---|---|
|
2018/02 - 2022/12
Ongoing
|
PhD in Computer Science and Engineering (Doutoramento)
Major in Engenharia de Software e Segurança
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
19.4 |
|
2012/09 - 2017/09
Concluded
|
Mestrado Integrado em Engenharia Informática e Computação (Mestrado integrado)
Major in Engenharia de Software
Universidade do Porto Faculdade de Engenharia, Portugal
"Assessing software vulnerabilities using Naturally Occurring Defects (19/20 - top 5%)" (THESIS/DISSERTATION)
|
15 |
|
2016/09 - 2017/02
Concluded
|
MSc in Computer Science and Advanced Data Analytics - ERASMUS+ PROGRAMME (Mestrado)
Universiteit Leiden Leiden Institute of Advanced Computer Science, Netherlands
|
Affiliation
Science
| Category Host institution |
Employer | |
|---|---|---|
| 2018/04/01 - 2019/12/31 | Researcher (Research) | 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 |
Other Careers
| Category Host institution |
Employer | |
|---|---|---|
| 2017/09/11 - 2018/03/09 | Consultor de Informática (Categorias e Funções Especificas) | KPMG PT, Portugal |
| KPMG PT, Portugal |
Projects
Grant
| Designation | Funders | |
|---|---|---|
| 2018/07/01 - 2018/12/31 | Systematic Survey on Platforms for Continuous Inspection of Code Quality
UID/CEC/50021/2013
Research Fellow
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
Concluded
|
| 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)
Research Fellow
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
|
Imprensa Nacional-Casa da Moeda
Ongoing
|
Contract
| Designation | Funders | |
|---|---|---|
| 2020/08/01 - Current | SecurityAware: Fine-grained approach to detect and patch vulnerabilities
CMU/TIC/0064/2019
Researcher
|
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
Research Fellow
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
|
Ongoing
|
Outputs
Publications
| Conference abstract |
|
| Conference paper |
|
| Conference poster |
|
| Journal article |
|
| Thesis / Dissertation |
|
Activities
Event organisation
| Event name Type of event (Role) |
Institution / Organization | |
|---|---|---|
| 2017/07 - Current | CommitPorto'18/'19/'20 - Annual event where Portuguese and international speakers discuss the last trends in the software
development field. (2019/07)
Conference (Member of the Organising Committee)
|
|
| 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)
Conference (Member of the Organising Committee)
|
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)
Conference
|
Universidade de Lisboa Instituto Superior Técnico, Portugal Universidade do Porto Faculdade de Engenharia, Portugal IEEE, United States |
| 2019/07/01 - 2019/07/07 | Volunteer: Future of Computing Conference (Porto, Portugal) (2019/07/01 - 2019/07/07)
Conference (Other)
|
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)
Symposium (Other)
|
Association for Computing Machinery, United States |
| 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)
Conference (Other)
|
Event participation
| Activity description Type of event |
Event name Institution / Organization |
|
|---|---|---|
| 2020/12/01 - Current | 2-days Facebook Testing and Verification Symposium (FaceTAV), Facebook London, UK, Virtual (invitation only)
Conference
|
Facebook Testing and Verification Symposium
Facebook London, United Kingdom
|
| 2020/10/01 - Current | 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.
Call
|
Facebook Analytics Academy Challenge
Facebook London, United Kingdom
|
| 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.
Workshop
|
Qiskit Summer School
IBM Quantum, United States
|
| 2019/01/09 - 2019/01/12 | 4-days VMCAI Winter School, Portugal, January 2019. (Formal Methods, co-located with POPL'19)
Other
|
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)
Symposium
|
Facebook Testing and Verification Symposium
Facebook London, United Kingdom
|
Association member
| Society Organization name | Role | |
|---|---|---|
| 2016/09 - Current | 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 |
Conference scientific committee
| Conference name | Conference host | |
|---|---|---|
| 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 |
Consulting
| Activity description | Institution / Organization | |
|---|---|---|
| 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 |
Course / Discipline taught
| Academic session | Degree Subject (Type) | Institution / Organization | |
|---|---|---|---|
| 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 |
Distinctions
Title
| 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
|
Other distinction
| 2020 | IBM Quantum Challenge Advanced Badge (196th place out of 1745 qualifications)
IBM Quantum, United States
|
| 2020 | Quantum Excellence in Qiskit Global Summer of School awarded by IBM Quantum
IBM Quantum, United States
|
| 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
|