Question: is todd short for anything?
Answer: Todd is the transferred use of an English surname which originated as a nickname from the Middle English northern dialect “todde” which meant “fox”. I suppose you could use it as a nickname for Theodore, but I do think some people could get confused, as they are unrelated.