Bio

Erik is a software developer interested in building compositional software using methods from computer science, category theory, algebra and topology, which he strives to balance with a keen interest in strolling through forests, visiting castles and collecting lava lamps, weather permitting.

---

Algebraic Domain Modelling with Citadels (Lab)
by Marco Perone, Erik Post

Algebra and domain modelling are similar in the fact that they both aim to obtain a clear representation of their subject, being it a mathematical structure or a knowledge domain.

In this hands-on we will use an algebraic approach, based only on simple operations and their composition, to model the domain of a board game step by step.

We will discover how our simple algebraic language yields a universal tool for modelling tiny and big domains, providing a formal and precise representation which could be easily translated into working software.