Estás guardando en $_SESSION['
docente'] así que debes usar $_SESSION['
docente'] para leer la variable de sesión y no $_SESSION['
usuario'] como nos indicas en el error que obtienes.
Es posible que también no estés pasando por enlace
?usuario= para que te de error en $_GET['
usuario'].
¿O cual es el código que te da error?
No podemos adivinar sólo con parte del mensaje de error.