All ProjectsBig Data & Distributed Systems

Big Data & Distributed Systems

Explore high-throughput streaming pipelines, sharded database infrastructure, and distributed systems architectures that process and store information at scale.

SRS Allocator

SRS Allocator

Secure Redis memory allocator in Ada/SPARK with formal proofs for bounded allocations and deterministic zeroization.

AdaSPARKRedisGNATprove

© Portfolio by Mirosław Bober

2026