Who am I
I'm Fernando, a multidisciplinary software engineer based in Chile. I focus on distributed systems. Now, i'm focusing on formal verification of distributed systems, and coalgebraic and bisimulation modeling.
Research & Development
Fernando Martínez
I'm a software engineer focused on distributed systems.
Interested in building and understanding robust storage and query layers that form the backbone of modern data infrastructure.
01 — About
02 — Lab