Mathematics pedagogy and scholarship group

We are interested in the pedagogy and scholarship of mathematical sciences, investigating modern methods for university mathematics education, computer and AI-assisted learning and aspects of the philosophy and history of mathematical sciences. If you are interested in joining our email list, please contact Dr Paul Hewson.

Here are some of the activities of this group:

• https://exlean.org/workshop-interactive-theorem-proving-in-education-and-research-july-2024/