Feed
Pro
Search

Sign in
Darkshift - a dark factory for software Bug0 - The AI-native e2e QA regression testing The foreword by Hashnode - official blog from the Hashnode team Passmark - The open-source AI framework for regression testing Hashnode gql skill - let your AI agent publish to your Hashnode blog Hackathons Changelog Brand @hashnode on X Hashnode on LinkedIn Support - hello+support@hashnode.com Code of Conduct Terms Privacy Sitemap

Search Hashnode

Search posts, tags, users, and pages

@rodrigoalves

Rodrigo Alves

@rodrigoalves·Portugal·Joined August 2026

Computer Science PhD student in the joint MAP-i program (Universities of Minho, Aveiro, and Porto).

About

My main research interests are in formal methods, category theory, and various program logics (like modal, fuzzy, and quantum logics).

Available for

Nothing here yet.

Rodrigo Alves's blogs

Topological Data Analysis: Because Your Data Has More Shape Than You Thinkrodrigoalves.hashnode.dev1 post

About

My main research interests are in formal methods, category theory, and various program logics (like modal, fuzzy, and quantum logics).

Available for

Nothing here yet.

Rodrigo Alves's blogs

Topological Data Analysis: Because Your Data Has More Shape Than You Thinkrodrigoalves.hashnode.dev1 post

Articles Comments

No comments yet

No comments have been posted yet.