suponiendo que en tu archivo de login...
Código PHP:
$sql = "SELECT matricula FROM alumnos WHERE usuario='usuario' AND pass='pass'";
$r_sql = mysql_query($sql);
while($row = mysql_fetch_array($r_sql))
{
$_SESSION['matricula'] = $row[0];
}
mysql_free_result($r_sql);
puede que te este fallando al momento que se loguea el alumno.. checate tu archivo login..