@skelk@mathstodon.xyz
Joined: 16/01/2024
Associate professor at the Department of Computing Sciences (DACS), Maastricht University. Interested in algorithmic graph theory, phylogenetics, fixed parameter tractability, combinatorics, algorithm engineering and proof assistants / computational proof.
{username} has no public lists
{username} has no activity yet