@szymtor@mathstodon.xyz
Joined: 05/11/2022
I'm a theoretical computer scientist, interested in logic, finite model theory, model theory, structural graph theory, theoretical database theory, automata theory, complexity theory
{username} has no public lists
{username} has no activity yet