What is the birth name of Jimmy Wales?

Jimmy Wales's birth name is Jimmy Donal Wales.