diff --git a/CV.pdf b/CV.pdf index 4da23fe..908ae70 100644 --- a/CV.pdf +++ b/CV.pdf @@ -1,3 +1,3 @@ version https://git-lfs.github.com/spec/v1 -oid sha256:d0e068b899f699d3695af65c64656a111fba8487b14af3841e8697b7c427adab -size 93157 +oid sha256:7cd4f25e4f734da38307ddad25f2407e68d0b666552e9f3ce3cc4024156c21af +size 93431 diff --git a/CV.tex b/CV.tex index a72fe98..eaa4f60 100644 --- a/CV.tex +++ b/CV.tex @@ -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,17 +72,18 @@ 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 & 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 \\ - 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 October-November \\ + 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}