SinTan1729/CV
1
0
Fork 0
Code Pull requests Activity

chg: Added info about docker and broke long lines

Browse source
This commit is contained in:
Sayantan Santra 2024-03-12 16:25:34 -05:00
parent 4a8f8c5952
commit c516f8c510
Signed by: SinTan1729
GPG key ID: EB3E68BFBA25C85F
2 changed files with 43 additions and 30 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.

69
CV.tex
View file

@ -62,41 +62,51 @@ I'm interested in Algebraic Number Theory, specifically L-functions of modular f
\section*{Achievements}
\begin{longtable}{L!{\VRule}R}
2021 & I was among the 9 students selected for PhD at the prestigious TIFR (Tata Institute for Fundamental Research), Mumbai. \\
2019 & I got into the top quartile in Simon Marais Mathematics Competition and received a special mention. \\
2019 & I secured a nationwide rank 10 in CSIR-UGC NET, December 2019. \\
2019 & I secured nationwide rank 2 in the M. Math. entrance test of ISI (Indian Statistical Institute). \\
2019 & I was among the 15 students selected for interview at the prestigious CMI (Chennai Mathematical Institute) for M.Sc. in Mathematics. \\
2019 & I secured nationwide rank 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. \\
2021 & I was among the 9 students selected for PhD at the prestigious TIFR (Tata Institute for Fundamental Research), Mumbai. \\
2019 & I got into the top quartile in Simon Marais Mathematics Competition and received a special mention. \\
2019 & I secured a nationwide rank 10 in CSIR-UGC NET, December 2019. \\
2019 & I secured nationwide rank 2 in the M. Math. entrance test of ISI (Indian Statistical Institute). \\
2019 & I was among the 15 students selected for interview at the prestigious CMI (Chennai Mathematical Institute) for M.Sc. in
Mathematics. \\
2019 & I secured nationwide rank 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}
\section*{Programming}
I have experience with the languages SageMath, Lean 4, Rust, C++, C, Python, OCaml, JavaScript, HTML, \LaTeX, and some SQL. I'm also familiar with Linux and shell programming.
I have experience with the languages SageMath, Lean 4, Rust, C++, C, Python, OCaml, JavaScript, HTML, \LaTeX, and some SQL. I'm also
familiar with Linux, Docker, 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 Oct.-Nov. \\
2022 & Research project on statistical trends of coefficients of L-functions of elliptic curves under the guidance of Dr. Kimball Martin of the University of Oklahoma during May-August \\
2022 & Reading course on Modular Forms under the guidance of Dr. Kimball Martin of the University of Oklahoma during January-May \\
2021 & Project titled \say{Primes of the form $p=x^2+ny^2$} under the guidance of Dr. Ramesh Sreekantan of ISI Bengaluru during January-May \\
2020 & Category Theory course under Dr. Amit Kuber of IIT Kanpur in September \\
2017 & NPTEL course in Graph Theory (2017) : Got 93\% in the certification exam \\
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 Oct.-Nov. \\
2022 & Research project on statistical trends of coefficients of L-functions of elliptic curves under the guidance of Dr. Kimball Martin
of the University of Oklahoma during May-August \\
2022 & Reading course on Modular Forms under the guidance of Dr. Kimball Martin of the University of Oklahoma during January-May \\
2021 & Project titled \say{Primes of the form $p=x^2+ny^2$} under the guidance of Dr. Ramesh Sreekantan of ISI Bengaluru during January-May \\
2020 & Category Theory course under Dr. Amit Kuber of IIT Kanpur in September \\
2017 & NPTEL course in Graph Theory (2017) : Got 93\% in the certification exam \\
2015 & INSPIRE Internship during class XI
\end{tabular}
\section*{Presentations/Talks}
\begin{tabular}{L!{\VRule}R}
2024 & \say {A (very) Brief Introduction to Lean 4} in Student Algebra Seminar at the University of Oklahoma on 7th February \\
2023 & \say{On Congruences of Coefficients of Modular Forms} in the ARTS (Algebra and Representation Theory Seminar) at the University of Oklahoma on 29th September \\
2023 & \say{On Congruences of Coefficients of Modular Forms} in Student Presentation Seminar at the University of Oklahoma on 21st September \\
2023 & \say{Elliptic Curves and Integer Factorization} in Student Presentation Seminar at the University of Oklahoma on 13th April \\
2022 & \say{Motivations and Consequences of the Prime Number Theorem} in SPS (Student Presentation Seminar) at the University of Oklahoma on 15th November \\
2021 & \say{Primes of the Form $p=x^2+ny^2$} in Student Algebra Seminar at the University of Oklahoma in November \\
2021 & \say{Primes of the Form $p=x^2+ny^2$} for final semester project presentation at the Indian Statistical Institute in May \\
2024 & \say {A (very) Brief Introduction to Lean 4} in Student Algebra Seminar at the University of Oklahoma on 7th February \\
2023 & \say{On Congruences of Coefficients of Modular Forms} in the ARTS (Algebra and Representation Theory Seminar) at the University
of Oklahoma on 29th September \\
2023 & \say{On Congruences of Coefficients of Modular Forms} in Student Presentation Seminar at the University of Oklahoma on 21st September \\
2023 & \say{Elliptic Curves and Integer Factorization} in Student Presentation Seminar at the University of Oklahoma on 13th April \\
2022 & \say{Motivations and Consequences of the Prime Number Theorem} in SPS (Student Presentation Seminar) at the University of
Oklahoma on 15th November \\
2021 & \say{Primes of the Form $p=x^2+ny^2$} in Student Algebra Seminar at the University of Oklahoma in November \\
2021 & \say{Primes of the Form $p=x^2+ny^2$} for final semester project presentation at the Indian Statistical Institute in May \\
2019 & \say{Planar Graphs and n-Holed Tori} at RKMRC Narendrapur in February
\end{tabular}
@ -111,9 +121,10 @@ I have experience with the languages SageMath, Lean 4, Rust, C++, C, Python, OCa
\section*{Organization and Leadership}
\begin{tabular}{L!{\VRule}R}
2024 & Organized the Student Algebra Seminar in Spring \\
2020 & Organized Mathletics (an online math event during the pandemic) with some like minded friends \\
2018 & Organized Infinity (a two day inter-college math competition organized by the Department of Mathematics and the Department of Statistics) in Spring as a representative of the Department of Mathematics
2024 & Organized the Student Algebra Seminar in Spring \\
2020 & Organized Mathletics (an online math event during the pandemic) with some like minded friends \\
2018 & Organized Infinity (a two day inter-college math competition organized by the Department of Mathematics and the Department of
Statistics) in Spring as a representative of the Department of Mathematics
\end{tabular}
\section*{Standardised Tests}
@ -124,7 +135,9 @@ I have experience with the languages SageMath, Lean 4, Rust, C++, C, Python, OCa
\end{itemize}
\section*{Extracurricular Activities}
I'm a hobbyist programmer and an active supporter of the FOSS movement. I'm also interested in literature. I've published several poems in both my native language Bangla and English. I like to participate in Quizzes, having competed in state level competitions and won awards in district level competitions. I've helped organize many events during my college days. Also, like most people, I love music and movies.
I'm a hobbyist programmer and an active supporter of the FOSS movement. I'm also interested in literature. I've published several poems in
both my native language Bangla and English. I like to participate in Quizzes, having competed in state level competitions and won awards in
district level competitions. I've helped organize many events during my college days. Also, like most people, I love music and movies.
\section*{Declaration}
I hereby declare that the details and information given above are complete and true to the best of my knowledge.