@skelk@mathstodon.xyz
Joined: 01/16/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.
skelk has no public lists
skelk has no activity yet