Il nome o l'id utente si trova all'interno della variabile $_SESSION.

Prova a fare print_r($_SESSION); e vedi cosa ti restituisce.