Ciao,
io faccio così:

$user = $_SESSION['utente'];
echo $user