SinTan1729/CV
1
0
Fork 0
Code Pull requests Activity

new: Added a talk

Browse source
This commit is contained in:
Sayantan Santra 2024-10-09 00:33:34 -05:00
parent 14481ccf68
commit 94929e1a97
Signed by: SinTan1729
GPG key ID: 0538DD402EA50898
2 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

BIN
CV.pdf (Stored with Git LFS)
View file

Binary file not shown.

1
CV.tex
View file

@ -108,6 +108,7 @@ familiar with Linux, Docker, and shell programming. Below are some of the projec
\section{Presentations/Talks} \section{Presentations/Talks}
\begin{tabular}{L!{\VRule}R} \begin{tabular}{L!{\VRule}R}
Fall 2024 & \say{Cubic and Biquadratic Reciprocity} in Number Theory Learning Seminar at the University of Oklahoma \\
Spring 2024 & \say{Proof Formalization in Lean, or: how to trick your computer into doing (even) more math} together 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} together 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{Exceptional Primes and Where to Find Them} in MathFest at the University of Oklahoma \\