Creadores en #Teoría de la computación y verificación de programas