I imagine it having a similar format to tags and use the user's id (or at least acquire it from a pasted link)
[user:315024]
and
[user:http://meta.stackoverflow.com/users/315024/walf]
would get converted to the former on save.
Then, mentioning users would survive name changes rather than add confusion.