University teacher in Computer Science. Theoretical (semantics and verification) and programming. I have been a teacher of Java from the beginning of the language. Currently doing some teaching of Dafny.