SinTan1729/CV
1
0
Fork 0
Code Pull requests Activity

new: Added some info about SLMath school

Browse source
This commit is contained in:
Sayantan Santra 2023-06-17 10:52:44 -07:00
parent 2ff4ef0666
commit 36293d8bf5
Signed by: SinTan1729
GPG key ID: EB3E68BFBA25C85F
2 changed files with 13 additions and 12 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.

5
CV.tex
View file

@ -44,7 +44,7 @@
\end{tabular}
\section*{Research Interests}
I'm interested in Algebraic and Analytic Number Theory, specifically L-functions of modular forms and elliptic curves.
I'm interested in Algebraic Number Theory, specifically L-functions of modular forms and elliptic curves.
\section*{Work Experience}
\begin{tabular}{L!{\VRule}R}
@ -72,9 +72,10 @@ I'm interested in Algebraic and Analytic Number Theory, specifically L-functions
\end{longtable}
\section*{Technical Skills}
I know the languages SageMath, Rust, C++, C, Python, R, JavaScript, HTML, \LaTeX, SQL, Java. I'm also familiar with Linux and shell programming.
I know the languages SageMath, Lean 4, Rust, C++, C, Python, R, JavaScript, HTML, \LaTeX, SQL, Java. I'm also familiar with Linux and shell programming.
\section*{Projects, Readings and Internships}
\begin{tabular}{L!{\VRule}R}
2023 & Formalization of Mathematics Summer School from 5-16 June in SLMath (formerly MSRI), Berkeley, CA. We learned about the Lean 4 proof assistant and I, as part of a team, did a project to prove a bunch of theorems related to Krull dimension to be put into Mathlib. \\
2023 & Reading course on Modular Forms and Hecke Operators (following the lecture notes by Ribet-Stein) under the guidance of Dr. Kimball Martin of the University of Oklahoma during January-May \\
2022 & Reading course on Analytical Number Theory under the guidance of Dr. Ameya Pitale of the University of Oklahoma during August-December \\
2022 & PAWS (Preliminary Arizona Winter School): Heights in Diophantine Geometry under the guidance of Dr. Padmavathi Srinivasan of ICERM during October-November \\