Ricardo Costa

Lisbon, Portugal

Ricardo Costa

Software engineering student focused on building software that can help other developers build their own. Strongest interests in software verification, compilers, and developer tools.

Currently working on LiquidJava, improving its verification feedback, IDE integration, and overall developer experience.

Also experienced in full-stack development, cloud computing, and mobile development.

You can check out my CV here.

Email GitHub LinkedIn ORCID

Interests

  • Software verification
  • Developer tools
  • Compilers
  • Static analysis
  • Type systems
  • Liquid types

Skills

Programming Languages

  • Python
  • Java
  • JavaScript
  • TypeScript
  • Kotlin
  • Rust
  • Go
  • C
  • C#

Cloud & DevOps

  • GCP
  • Cloudflare
  • Docker
  • Kubernetes
  • Git
  • GitHub Actions
  • Linux

Full-Stack Development

  • REST
  • gRPC
  • Microservices
  • Spring Boot
  • Node.js
  • Express
  • React
  • Vite
  • Webpack
  • HTML
  • CSS

Mobile Development

  • Android
  • Jetpack Compose

Databases

  • PostgreSQL
  • Firestore
  • MongoDB
  • Elasticsearch

Compilers & Static Analysis

  • Parsing
  • Type Systems
  • Liquid Types
  • SMT Solvers
  • LLVM

Agentic AI

  • Codex
  • Claude Code
  • Cursor
  • GitHub Copilot