SinTan1729/CV
1
0
Fork 0
Code Pull requests Activity

Compare commits

base: SinTan1729:8041a7a9eb7560c9d7dfd964cfc95057b4087724
Branches Tags
SinTan1729:main
..
compare: SinTan1729:14481ccf681510353d91d87f60098d2df41f4c43
Branches Tags
SinTan1729:main

2 commits
8041a7a9eb ... 14481ccf68

Author SHA1 Message Date
SinTan1729
14481ccf68
chg: Switched the positions of Programming and Projects 2024-10-03 00:54:36 -05:00
SinTan1729
0b71b79b01
new: Added some software projects 2024-10-03 00:53:37 -05:00
2 changed files with 12 additions and 5 deletions
Show stats Expand all files Collapse all files

BIN
CV.pdf (Stored with Git LFS)
View file

Binary file not shown.

13
CV.tex
View file

@ -81,9 +81,6 @@ classes that I taught as an Instructor of Record: \\
2016 & I received the prestigious INSPIRE SHE scholarship (for the period 2016-2019). \\ 2016 & I received the prestigious INSPIRE SHE scholarship (for the period 2016-2019). \\
\end{longtable} \end{longtable}
\section{Programming}
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.
\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 \\
@ -99,6 +96,16 @@ familiar with Linux, Docker, and shell programming.
2015 & INSPIRE Internship during class XI \\ 2015 & INSPIRE Internship during class XI \\
\end{tabular} \end{tabular}
\section{Programming}
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. Below are some of the projects that I developed and/or maintain:
\begin{itemize}
\item Chhoto-URL: A simple, blazingly fast, selfhosted URL shortener with no unnecessary features; written in Rust.
\item movie-rename: A simple tool to rename movies, written in Rust.
\item TvTimeToTrakt: A Python script to import TV Time data into Trakt.TV
\item recipe-box-for-wikijs: Download recipes into a (repurposed Zettelkasten) recipe box.
\end{itemize}
\section{Presentations/Talks} \section{Presentations/Talks}
\begin{tabular}{L!{\VRule}R} \begin{tabular}{L!{\VRule}R}
Spring 2024 & \say{Proof Formalization in Lean, or: how to trick your computer into doing (even) more math} together with Dr. Mario Morán Cañón Spring 2024 & \say{Proof Formalization in Lean, or: how to trick your computer into doing (even) more math} together with Dr. Mario Morán Cañón