Mike (given name)

Mike is a masculine given name, most commonly encountered as a short form of Michael.

Source: Wikipedia "Mike (given name)" · CC BY-SA 4.0