Estou tentando mapear usuários de sistemas diferentes com base no nome e sobrenome do usuário no Python.

Uma questão é que os primeiros nomes são, em muitos casos, 'apelidos'. Por exemplo, para um usuário, seu primeiro nome é 'Dave' em um sistema e 'David' em outro.

Existe alguma maneira fácil em python para converter apelidos comuns como estes para suas contrapartes formais?

Obrigado!