Building on the academic work , Cristiano Calcagno , Dino Distefano and Peter O'Hearn , three researchers in London , co-founded the verification startup Monoidics in 2009 .
Monoidics developed the first version of Infer .
Building on the academic work , Cristiano Calcagno , Dino Distefano and Peter O'Hearn , three researchers in London , co-founded the verification startup Monoidics in 2009 , and Monoidics developed the first version of Infer .