Feb 2022-Now, Investigation Assistant, INESC TEC, Portugal.
Java, Alloy, Automatic Repair, Program Synthesis, PythonDevelopment of automatic specification repair tool Extension of Alloy4fun online platform to provide students with hints
2017-2020, Licenciatura em Ciências de Engenharia Informática, Universidade do Minho, Final Grade :16/20. 2020-2022, Mestrado Integrado em Engenharia Informática, Universidade do Minho.
2022, Timely Specification Repair for Alloy 6. In International Conference on Software Engineering and Formal Methods
| Programming Languages | C, Java, Python, Haskell, Go, Erlang, Prolog, Javascript, Typescript, Elm |
| Frameworks | React, Odoo |
| Specification Languages | Alloy, UML |
| Databases | MySQL, PostgreSQL, MongoDb |
| Markup Languages | LATEX, Markdown, CSS, HTML |
| Tools | Git, Docker, Linux, Bash, Z3, Nix build tool |
| Spoken Languages | Portuguese, English |
EWD840, Specification of Dijkstra's termination detection algorithm for distributed computations in Alloy.
Alloy, Electrum, Modelling
Benchmarking of Java Projects, Batch analysis of code smells in java projects using sonarqube, automatic generation of input in haskell, benchmark of application speed and energy consumption.
Java, Haskell, Sonarqube, Python, Bash
Management of Dissertation Aplications, Odoo addon to manage the process of applying to a dissertation for Informatics Engineering students at UMinho.
Odoo, Java, Python
Retail Marketplace, Marketplace website developed for PI Course Unit, with supervision from Accenture.
NextJS, JavaScript, TypeScript, MongoDB, Python, Frontend
Vot, Fully static web application for vocabulary tracking to aid in language learning.
ReactJS, TypeScript
| Related Interests | Distributed Systems, Operating Systems, Formal Methods, Compilers |