Ricardo Costa

Lisbon, Portugal

Ricardo Costa

Software Engineering MSc student focused on building reliable software and developer tools.

Strongest interests are static analysis, type systems, compilers, software verification, and tools that improve the way developers code.

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

You can check out my CV here.

Email GitHub LinkedIn ORCID

Interests

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

Skills

Programming Languages

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

Compilers and Static Analysis

  • Parsing
  • ASTs
  • Type systems
  • Liquid types
  • Typestates
  • SMT solvers
  • Code generation
  • LLVM

Cloud and DevOps

  • Google Cloud Platform
  • Cloudflare Workers
  • Docker
  • Kubernetes
  • Git
  • Linux

Web Development

  • HTML
  • CSS
  • React
  • Node.js
  • Express
  • Spring Boot
  • Vite
  • Webpack
  • REST APIs
  • WebSockets
  • Socket.IO

Mobile and Desktop Development

  • Android
  • Jetpack Compose
  • Compose Desktop
  • Electron
  • Unity

Databases and Storage

  • PostgreSQL
  • Firestore
  • Cloudflare KV
  • MongoDB
  • Elasticsearch