Ricardo Costa

Academic Background

Education

Computer Science and Engineering studies, research work, thesis focus, and academic projects.

2024-2026

MSc in Computer Science and Engineering

Faculdade de Ciências da Universidade de Lisboa (FCUL)
  • Specialization: Software Engineering
  • Current grade: 17/20
  • Position: Research Fellow @ LASIGE
  • Main courses: Software Design (17/20), Cloud Computing (18/20), Software Security (17/20), Software Verification and Validation (16/20), Compiling Techniques (18/20), Mobile Computing (19/20)
  • Thesis: "Improving the Usability of LiquidJava"

LiquidJava is an additional type checker for Java that uses liquid types and typestates to provide stronger compile-time guarantees about programs, enabling developers to catch more bugs earlier in the development process.

The thesis focuses on improving the developer experience through better diagnostic messages, enhanced VS Code extension support, and improvements to the core verifier.

2021-2024

BSc in Computer Science and Engineering

Instituto Superior de Engenharia de Lisboa (ISEL)
  • Final grade: 15/20
  • Main courses: Programming (19/20), Software Laboratory (20/20), Algorithms and Data Structures (16/20), Web Programming (17/20), Mobile Programming (16/20)
  • Final project: "NoteSpace - Multi-platform Web Application for Real-Time Document Collaboration & Sharing" (18/20)

NoteSpace is a web platform for real-time collaborative editing and sharing of documents, with CRDT-based conflict resolution, Markdown rendering, workspace and folder organization, access control, and document version history.