SinTan1729/CV
1
0
Fork 0
Code Pull requests Activity

new: Added Haskell to known languages

Browse source
This commit is contained in:
Sayantan Santra 2024-05-19 23:10:38 -05:00
parent 61891fd017
commit 4ad5c4c829
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

@ -81,8 +81,8 @@ classes that I taught as an Instructor of Record: \\
\end{longtable} \end{longtable}
\section{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 I have experience with the languages SageMath, Lean 4, Rust, Haskell, C, Python, OCaml, JavaScript, C++, HTML, \LaTeX, and some SQL. I'm also
familiar with Linux, Docker, and shell programming familiar with Linux, Docker, and shell programming.
\section{Projects and Internships} \section{Projects and Internships}
\begin{tabular}{L!{\VRule}R} \begin{tabular}{L!{\VRule}R}
Summer 2023 & Formalization of Mathematics Summer School from 5-16 June in SLMath (formerly MSRI), Berkeley, CA \\ Summer 2023 & Formalization of Mathematics Summer School from 5-16 June in SLMath (formerly MSRI), Berkeley, CA \\