βρήκε μία μαθηματική τεχνική για τη διαπίστωση του κατά πόσον ένα μπερδεμένο κομμάτι νήματος είναι κόμβος ή όχι. Με αυτή άνοιξε το δρόμο, το 1961, για την αλγοριθμική προσέγγιση στην τοπολογία.