Kibble pioneered the study of the formation of topological defects in the very early times of the existence of the universe. An influential model of defect formation across a certain kind of phase transition is known as the Kibble-Zurek mechanism. His paper on cosmic strings (line defects of space on a cosmic scale) introduced the idea into modern cosmology.