My Experience
π Invited Assistant - Universidade do Minho
π 2022 - Present
- Teaching Functional Programming and Language Processing classes.
- Supervising Master Dissertations.
π¬ Researcher - HASLab/INESC TEC
π 2023 - Present
- Research in the areas of Large Language Models and Software Correctness.
πͺ Local Organization Chair - IFL 2023
π August 2023
- The 35th Symposium on Implementation and Application of Functional Languages.
π¬ Research Initiation Scholarship - Centro ALGORITMI
π September 2022
- Research Grant βVerΓ£o com a CiΓͺncia 2022β.
- Research and development of two small projects in the area of language processing and DSLs.
π» Fullstack Developer - Subvisual Summer Camp
π Summer 2021
- Developed a fullstack application for the Summer Camp, using Ruby on Rails.
π« Co-director of Pedagogical Department - CeSIUM
π 2021 - 2022
- Organizer, tutor, and host of various educational activities, including talks, workshops, and study sessions.
My Education
π PhD in Informatics - Universidade do Minho
π Ongoing
- Research in the area of Large Language Models and Software Correctness.
π Master's in Informatics Engineering - Universidade do Minho
π Finished in 2023
- GPA of 17 out of 20.
- Specialization in Intelligent Systems and Language Engineering.
- Master Dissertation - βACE Grader - Automatic Grading of Programming Exercisesβ - graded with 18 out of 20 points.
My Skills
Python
100%
Elixir
90%
Haskell
90%
Web Development
90%
C / C++
70%
DBMS
70%
Java
50%
Rust
20%