Is noddy short for Robert

Yes, "Noddy" can be a nickname for Robert, though it is not very common. The origin of the nickname is believed to derive from the Word "nod," which reflects a playful or silly character. It is more widely recognized as a character in children's literature rather than a typical diminutive for Robert.