-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathcv-english.tex
148 lines (109 loc) · 4.67 KB
/
cv-english.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
\documentclass[12pt]{article}
\usepackage[english]{babel}
\usepackage{cmbright}
\usepackage{enumitem}
\usepackage{fancyhdr}
\usepackage{fontawesome5}
\usepackage{geometry}
\usepackage{hyperref}
\usepackage[sf]{libertine}
\usepackage{microtype}
\usepackage{paracol}
\usepackage{supertabular}
\usepackage{titlesec}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsthm}
\hypersetup{colorlinks, urlcolor=black, linkcolor=black}
% Geometry
\geometry{hmargin=1.75cm, vmargin=2.5cm}
\columnratio{0.65, 0.35}
\setlength\columnsep{0.05\textwidth}
\setlength\parindent{0pt}
\setlength{\smallskipamount}{8pt plus 3pt minus 3pt}
\setlength{\medskipamount}{16pt plus 6pt minus 6pt}
\setlength{\bigskipamount}{24pt plus 8pt minus 8pt}
% Style
\pagestyle{empty}
\titleformat{\section}{\scshape\LARGE\raggedright}{}{0em}{}[\titlerule]
\titlespacing{\section}{0pt}{\bigskipamount}{\smallskipamount}
\newcommand{\heading}[2]{\centering{\sffamily\Huge #1}\\\smallskip{\large{#2}}}
\newcommand{\entry}[4]{{{\textbf{#1}}} \hfill #3 \\ #2 \hfill #4}
\newcommand{\tableentry}[3]{\textsc{#1} & #2\expandafter\ifstrequal\expandafter{#3}{}{\\}{\\[6pt]}}
\begin{document}
\vspace*{\fill}
\begin{paracol}{2}
% Name & headline
\heading{Yago Iglesias Vázquez}{Student in Mathematics and Computer Science}
\switchcolumn
% Identity card
\vspace{0.01\textheight}
\begin{supertabular}{ll}
\footnotesize\faEnvelope & \href{mailto:me@yagoiglesias.fr}{me@yagoiglesias.fr} \\
\footnotesize\faGithub & \href{https://github.com/Yag000}{github.com/Yag000} \\
\footnotesize\faLinkedin& \href{https://www.linkedin.com/in/yago-iglesias-v%C3%A1zquez-118a58284/}{Yago Iglesias} \\
\end{supertabular}
\medskip
\switchcolumn*
\section{Education}
\entry{Paris Cité University}{\hspace{-6.5cm} \small Master's degree in Theoretical \\ Computer Science research (MPRI)}{Paris, France}{2024 -- present}
\medskip
\entry{Paris Cité University}{\small Double degree in Mathematics and Computer Science}{Paris, France}{2021 -- 2024}
\medskip
\entry{Spanish Lycee Luis Buñuel}{Highest Honors with Jury's Congratulations}{Neuilly-sur-Seine, France}{2018 -- 2021}
\medskip
\switchcolumn
\section{Skills}
\begin{supertabular}{rl}
\tableentry{\footnotesize\faCode}{Rust \textperiodcentered{} Ocaml \textperiodcentered{} C \textperiodcentered{} Coq }{}
\tableentry{}{Python \textperiodcentered{} Java \textperiodcentered{} Bash}{}
\tableentry{}{}{}
\tableentry{\footnotesize\faLanguage}{Spanish \textperiodcentered{} Native language}{}
\tableentry{}{French \textperiodcentered{} Advanced}{}
\tableentry{}{English \textperiodcentered{} Advanced}{}
\end{supertabular}
\switchcolumn*
\section{Experience}
\entry{CiTIUS}{Research Internship}{Santiago de Compostela, Spain}{July 2023}
\begin{itemize}[noitemsep,leftmargin=3.5mm,rightmargin=0mm,topsep=6pt]
\item Development of algorithms to precisely characterize objects with a single LiDAR scan by reflecting the object on a well-placed mirror.
\end{itemize}
\entry{IRIF}{Research Internship}{Paris, France}{June - July 2024}
\begin{itemize}[noitemsep,leftmargin=3.5mm,rightmargin=0mm,topsep=6pt]
\item Development of Coq verified simplification of intuitionistic formulas in the context of uniform interpolation in the research project \href{https://github.com/hferee/UIML}{UIML}.
\end{itemize}
\switchcolumn
\section{Competitions}
\textbf{Journées Franciliennes de Programmation}\\
\noindent Participation in 2022, 2023 and 2024
\textbf{SWERC}\\
\noindent Participation in 2024
\end{paracol}
\section{Interests}
\begin{paracol}{2}
\entry{Computer Science}{Type theory, programming languages, proof assistants, compilers}{ }{ }
\switchcolumn
\entry{Mathematics}{Logic, Galois theory}{ }{ }
\end{paracol}
\newpage
\section{Programming Projects}
\begin{paracol}{2}
\entry{\href{https://github.com/Yag000/chimpanzee}{Chimpanzee}}{Monkey interpreter, compiler, and formatter written in Rust}{ }{ }
\medskip
\switchcolumn
\entry{\href{https://github.com/GabinDDL/L2S2-GYTMY-Game}{Be Amazed}}{Voice recognition game in Java}{ }{ }
\medskip
\switchcolumn
\entry{\href{https://github.com/Yag000/jsh-tyy}{jsh-tyy}}{C Job Shell as part of an operating systems course}{ }{ }
\medskip
\switchcolumn
\entry{\href{https://moule.informatique.univ-paris-diderot.fr/iglesias/U3bbU3c0}{$\pmb\lambda\pi$}}{Dependent types implementation in OCaml}{ }{ }
\medskip
\switchcolumn
\entry{\href{https://github.com/Yag000/enum_stringify}{enum\_stringify}}{Rust set of macros to generate string conversion functions for enums }{ }{ }
\medskip
\switchcolumn
\entry{\href{https://github.com/Yag000/cinta}{cinta}}{A simple C testing framework}{ }{ }
\switchcolumn
\end{paracol}
\end{document}