Me pasó algo similar. Cuando haces un logout te recomiendo usar session_unset y pasarle la variable global $_SESSION (si quieres destruir todas) y listo.
Por otro lado te recomiendo que las redirecciones las hagas con la función header de php y para ser más exactos usando Location:
www.url.com (mírate la documentación)
También es ideal que separes el CSS del HTML y en cuanto a temas de la consulta de si profesor, alumno, bla bla bla par no repetir siempre lo mismo porque veo que usas la misma sentencia haz un función, es mejor y no carga tanto la página.
Saludos y suerte