Petr Špaček leads the Knot Resolver project at CZ.NIC labs.