Prachi Sahjwani

Teaching

Supervision

Current students

Ryan Andrade (Bachelor’s, Third-Year Project): Learning and Using the Lean Theorem Prover for Formal Mathematics

I am interested in supervising Bachelor’s and Master’s level projects. I can offer a range of topics, from formal mathematics using the Lean theorem prover, to problems in geometric analysis, including the geometry of curves and surfaces, isoperimetric inequalities, and geometric flows. I am also happy to supervise projects related to optimal transport and topological data analysis. Projects can be theoretical, computational, or a combination of both, depending on the student’s background and interests.

If you are interested in working on a project along these lines, please feel free to email me to discuss possible topics.

teaching

I hold an Associate Fellowship of the Higher Education Academy (AFHEA), which has enhanced my teaching practices and methodologies. As part of my teaching experience, I have been involved in the following modules:

Foundations of Mathematics ll (Cardiff University)- 2024
Foundations of Mathematics ll (Cardiff University)- 2023
Foundations of Mathematics l (Cardiff University)- 2022
Foundations of Mathematics II (Cardiff University)- 2022
Complex Variable (IISER Bhopal)- 2021
Multivariable Calculus (IISER Bhopal)- 2020

I have also been involved in a teaching initiative for school students, organized jointly by Cardiff University and a charity. In this program, we introduce students to mathematical concepts that go beyond the standard school curriculum. The focus is on helping them grasp these ideas through problem-solving, either individually or in groups, with the aim of inspiring them to pursue further studies in mathematics.

In addition to this, I have gained experience in invigilation, overseeing both university and school-level exams. This role has further deepened my involvement in the academic environment and provided valuable insights into educational processes.

Page updated

Google Sites

Report abuse