new: Added a talk

This commit is contained in:
Sayantan Santra 2024-04-10 13:52:33 -05:00
parent e905feb2a6
commit 8cbf1a1b09
Signed by: SinTan1729
GPG key ID: EB3E68BFBA25C85F
2 changed files with 3 additions and 2 deletions

BIN
CV.pdf (Stored with Git LFS)

Binary file not shown.

1
CV.tex
View file

@ -101,6 +101,7 @@ familiar with Linux, Docker, and shell programming
\begin{tabular}{L!{\VRule}R} \begin{tabular}{L!{\VRule}R}
Spring 2024 & \say{Proof Formalization in Lean, or: how to trick your computer into doing (even) more math} with Dr. Mario Morán Cañón Spring 2024 & \say{Proof Formalization in Lean, or: how to trick your computer into doing (even) more math} with Dr. Mario Morán Cañón
in OU Math Club at the University of Oklahoma \\ in OU Math Club at the University of Oklahoma \\
Spring 2024 & \say{Exceptional Primes and Where to Find Them} in MathFest at the University of Oklahoma \\
Spring 2024 & \say {A (very) Brief Introduction to Lean 4} in Student Algebra Seminar at the University of Oklahoma \\ Spring 2024 & \say {A (very) Brief Introduction to Lean 4} in Student Algebra Seminar at the University of Oklahoma \\
Fall 2023 & \say{On Congruences of Coefficients of Modular Forms} in the ARTS (Algebra and Representation Theory Seminar) at the University Fall 2023 & \say{On Congruences of Coefficients of Modular Forms} in the ARTS (Algebra and Representation Theory Seminar) at the University
of Oklahoma \\ of Oklahoma \\