Ricardo Costa

Lisbon, Portugal

Ricardo Costa

Software engineering student focused on building software that helps other developers build their own. Main interests include software verification, developer tools, and agentic AI workflows.

Currently working on LiquidJava, a static analysis tool that detects violations of properties specified through Java annotations at compile time.

Also experienced in backend systems, web and mobile applications, and cloud computing.

You can check out my CV here.

Email GitHub LinkedIn ORCID
Ricardo Costa speaking at a presentation

Interests

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

Skills

Programming Languages

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

Cloud & DevOps

  • GCP
  • Cloudflare Workers
  • Docker
  • Kubernetes
  • Git
  • GitHub Actions
  • CI/CD
  • Linux

Backend

  • REST
  • gRPC
  • Microservices
  • WebSockets
  • Spring Boot
  • Node.js
  • Express
  • Socket.IO
  • Maven
  • Gradle

Frontend

  • React
  • HTML
  • CSS
  • Vite
  • Webpack
  • PWA

Mobile Development

  • Android
  • Jetpack Compose

Databases

  • PostgreSQL
  • Firestore
  • MongoDB
  • Cloudflare KV
  • Elasticsearch

Compilers & Static Analysis

  • Parsers
  • Type Systems
  • SMT Solvers
  • LLVM

Developer Tooling

  • VS Code Extension API
  • LSP
  • JSON-RPC

Testing

  • Unit Testing
  • Integration Testing
  • Property-Based Testing

AI Engineering

  • AI Agents
  • Agentic Workflows
  • Cloudflare Workers AI
  • MCP