Mikołaj Bojańczyk

Mikołaj Bojańczyk writes on theoretical computer science. His published works include "Foundations of Software Science" and "Computation Structures," key texts for understanding the field.