Welcome to my CS Second Brain

A blog about computer science topics, projects, and theories. Here I document my learning journey, share insights, and explore new ideas in the world of CS.

Explore Theory Explore Projects

Recent Posts

Theory

Mathematical Models for optimisation and decision problems

How to model a mathematical problem?

Published on 3/1/2026

Theory

Basics Concepts of Concurrent Programming: Transition Systems

What defines formally a Labelled Transition System and how does its mathematical properties allow the caracterization of reach, non-determinism and modelling of concurrent processes?

Published on 2/23/2026

Theory

Basics Concepts of Concurrent Programming: Processes

How does concurrent programming works and what processes are involved?

Published on 2/22/2026