After some years when I was not doing so much teaching - I was on research leave and before that head of school - I'm back in the thick of it, and really enjoying it. Why is that? The main reason is that it's great to see people learning new things, particularly when it's stuff that's unfamiliar … logic at master's level, or the "professional context" for first years.
Unlike the old joke about the lecture being the mechanism for getting the notes from the lecturer's note pad to the student's without passing through either of their brains, I'm impressed at the interaction going on. Particularly in our new first year course we're trying to turn things into more of a conversation - either directly or using technology (google forms/spreadsheet) - and we're having some success. OK, not everyone is involved all the time, and there have been some tech hiccups, but we're getting there.
Teaching can be a solitary activity, but often the best courses are ones where there's a team of teachers. The first year course is coming from a team of four: two at each campus, and the collaboration makes us more imaginative and daring than we would have been on our own.
I'm learning a lot, too, from students and colleagues. Now I know how to explain the constraints on the implication introduction rule: give a "proof" which breaks them, and so demonstrate precisely what the constraints embody, and why they are there. Thanks to a suggestion from one of our CO334 students, I also now know that using "data validation" in a google spreadsheet will give us much more useful data in interactive estimation exercises.
Teaching something new is the way to learn new things yourself, and to ask new questions: what are the relationships between contract law and software specification? why is resolution not complete? Both are things to find out more about.
So, it's fun, and as it's the largest part of what the University of Kent is here for, that's a good thing for everyone!