Is it possible to change bot names? I've read about that option, but can't find it anywhere.

It would be more funny and handy.

Yep you need to make a Name Badge first, then add it to the bot's Upgrades, then click on their name on the Brain screen.