If a colleague introduces himself as “Michael,” don’t call him “Mike.” If he wanted you to call him “Mike,” he would have introduced himself that way. If someone has a difficult name, make the effort to learn it—do not shorten it to a nickname without permission!
