SinTan1729/CV
1
0
Fork 0
Code Pull requests Activity

chg: Wording

Browse source
This commit is contained in:
Sayantan Santra 2024-09-21 14:24:17 -05:00
parent 783e5ed12b
commit efc8164110
Signed by: SinTan1729
GPG key ID: 0538DD402EA50898
2 changed files with 22 additions and 22 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.

8
CV.tex
View file

@ -72,11 +72,11 @@ classes that I taught as an Instructor of Record: \\
Spring 2024 & I was a recipient of the 2024 C. Eugene Springer Scholarship. \\
Spring 2021 & I was among the 9 students selected for PhD at the prestigious TIFR (Tata Institute for Fundamental Research), Mumbai. \\
Fall 2019 & I got into the top quartile in Simon Marais Mathematics Competition and received a special mention. \\
Fall 2019 & I secured a nationwide rank 10 in CSIR-UGC NET, December 2019. \\
Spring 2019 & I secured nationwide rank 2 in the M. Math. entrance test of ISI (Indian Statistical Institute). \\
Fall 2019 & I secured a national rank of 10 in CSIR-UGC NET, December 2019. \\
Spring 2019 & I secured a national rank of 2 in the M. Math. entrance test of ISI (Indian Statistical Institute). \\
Spring 2019 & I was among the 15 students selected for interview at the prestigious CMI (Chennai Mathematical Institute) for M.Sc. in
Mathematics. \\
Spring 2019 & I secured nationwide rank 87 in JAM 2019 and was among the 5 students selected for admission in the prestigious IISc (Indian
Spring 2019 & I secured a national rank of 87 in JAM 2019 and was among the 5 students selected for admission in the prestigious IISc (Indian
Institute of Science) for integrated PhD in Mathematics. \\
2016 & I received the prestigious INSPIRE SHE scholarship (for the period 2016-2019). \\
\end{longtable}
@ -101,7 +101,7 @@ familiar with Linux, Docker, and shell programming.
\section{Presentations/Talks}
\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} together with Dr. Mario Morán Cañón
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 \\