Mathematics pedagogy and scholarship group

We are intrested 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 to join our email list, please contact Dr Houry Melkonian.

Here are some of the activities of this group:

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