## Selected Presentations & Appearances

Invited mini-course

Mini-course (3 hours)

Abstract: We present our work on the Linear Algebra Game. The game is a variation of the Natural Number Game developed by Kevin Buzzard, Mohammad Pedramfar. We developed the game with two goals: first, to provide a fun and accessible introduction to Lean; and second, to support students developing proof-writing skills in a linear algebra course. We will demonstrate the game; and discuss some of the challenges that arose in the project, and how they were addressed. (The project was part of the Summer 2023 Math+ Program for collaborative student research at Duke University.)

Invited mini-course

Mini-course (3 hours)

Abstract: We present our work on the Linear Algebra Game. The game is a variation of the Natural Number Game developed by Kevin Buzzard, Mohammad Pedramfar. We developed the game with two goals: first, to provide a fun and accessible introduction to Lean; and second, to support students developing proof-writing skills in a linear algebra course. We will demonstrate the game; and discuss some of the challenges that arose in the project, and how they were addressed. (The project was part of the Summer 2023 Math+ Program for collaborative student research at Duke University.)

A discussion of Math+ Project: Automated Theorem Proving and Proof Verification (Summer 2023) by Duke undergraduate researchers Yannan Bai, Annapurna Bhattacharya, Stavan Jain, Kurt Ma, Ricardo Prado Cunha, Anoushka Sinha.

3 hr mini-course

Two lectures

Three invited lectures on the nilpotent and SL(2) orbit theorems of Schmid and Cattani-Kaplan-Schmid, and their application to algebraicity questions.

https://math.berkeley.edu/~jawolf/LieTheoryFeb2017/index.html

Plenary speaker.

conference

5.5 hour invited lecture series

One week conference.

14 hour invited lecture series

## Service to the Profession

one week conference

one week conference

one week research conference, http://home.kias.re.kr/MKG/h/FDCS2017/?pageNo=2569

04/2017 - present

one week research conference

one week workshop

## Service to Duke

Role: (1) To confidentially share with the department officers any issues or concerns that any department member would like brought to their attention; and (2) To serve as a discreet and disinterested (but not uninterested) resource and/or sounding board for any department member. Active: 2024 - present

Role: (1) To confidentially share with the department officers any issues or concerns that any department member would like brought to their attention; and (2) To serve as a discreet and disinterested (but not uninterested) resource and/or sounding board for any department member. Active: 2024 - present

A Duke Mathematics run program for high school women. One lecture.

A Duke Mathematics run program for high school women. One lecture.

Fall 2017

Appointment 2017 -- present.

## Academic & Administrative Activities

Director of Graduate Studies

Mathematics Department

Duke University

Jan 2019 -- present.