Just type @ in your post and start typing the user name right after that. The system will find him and offer up the full name, just choose it.