SinTan1729
/
CV
1
0
Fork 0
Code Pull Requests Activity

new: Added OCaml

This commit is contained in:
Sayantan Santra 2023-12-12 16:57:03 +05:30
parent 388037d0ff
commit a57021b4f9
Signed by: SinTan1729
GPG Key ID: EB3E68BFBA25C85F
2 changed files with 4 additions and 4 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.

4
CV.tex
View File

@ -71,8 +71,8 @@ I'm interested in Algebraic Number Theory, specifically L-functions of modular f
2016 & I received the prestigious INSPIRE SHE scholarship (for the period 2016-2019).
\end{longtable}
\section*{Technical Skills}
I know the languages SageMath, Lean 4, Rust, C++, C, Python, JavaScript, HTML, \LaTeX, and some SQL. I'm also familiar with Linux and shell programming.
\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.
\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 \\