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%

(Some of) My Projects

ACE Grader

  • Automatic grading tool for programming exercises.
  • Developed as part of Master Dissertation.
  • Full-stack Phoenix web application.
  • Uses static and dynamic analysis for grading.

OCRticle

  • Performs OCR while maintaining text structure.
  • Python desktop application, uses Tesseract OCR engine.