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

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 & Developer Tools

  • Parsers
  • Type Systems
  • SMT Solvers
  • LLVM
  • LSP
  • JSON-RPC

LLM Integration

  • LLM Agents
  • Cloudflare Workers AI
  • MCP