%% start of file `template.tex'.
%% Copyright 2006-2012 Xavier Danaux (xdanaux@gmail.com).
%
% This work may be distributed and/or modified under the
% conditions of the LaTeX Project Public License version 1.3c,
% available at http://www.latex-project.org/lppl/.


\documentclass[11pt,a4paper,sans]{moderncv}   % possible options include font size ('10pt', '11pt' and '12pt'), paper size ('a4paper', 'letterpaper', 'a5paper', 'legalpaper', 'executivepaper' and 'landscape') and font family ('sans' and 'roman')

% moderncv themes
\moderncvstyle{classic}                        % style options are 'casual' (default), 'classic', 'oldstyle' and 'banking'
\moderncvcolor{black}                          % color options 'blue' (default), 'orange', 'green', 'red', 'purple', 'grey' and 'black'
%\renewcommand{\familydefault}{\sfdefault}    % to set the default font; use '\sfdefault' for the default sans serif font, '\rmdefault' for the default roman one, or any tex font name
%\nopagenumbers{}                             % uncomment to suppress automatic page numbering for CVs longer than one page

% character encoding
%\usepackage[utf8]{inputenc}                  % if you are not using xelatex ou lualatex, replace by the encoding you are using
%\usepackage{CJKutf8}                         % if you need to use CJK to typeset your resume in Chinese, Japanese or Korean

% adjust the page margins
\usepackage[scale=0.75]{geometry}
%\setlength{\hintscolumnwidth}{3cm}           % if you want to change the width of the column with the dates
%\setlength{\makecvtitlenamewidth}{10cm}      % for the 'classic' style, if you want to force the width allocated to your name and avoid line breaks. be careful though, the length is normally calculated to avoid any overlap with your personal info; use this at your own typographical risks...

\usepackage[utf8]{inputenc}

% personal data
\firstname{Martín}
\familyname{Ceresa}
\title{Curriculum Vitae}                          % optional, remove / comment the line if not wanted
\address{Paraguay 1227 1 `A'}{2000 Rosario}    % optional, remove / comment the line if not wanted
\mobile{+54~9~(0341)~5064~253}                     % optional, remove / comment the line if not wanted
\phone{+54~(0341)~448~8291}                      % optional, remove / comment the line if not wanted
\email{ceresa@cifasis-conicet.gov.ar}                          % optional, remove / comment the line if not wanted
\homepage{www.cifasis-conicet.gov.ar/ceresa}                    % optional, remove / comment the line if not wanted
%\homepage{www.johndoe.com}                    % optional, remove / comment the line if not wanted
%\extrainfo{additional information}            % optional, remove / comment the line if not wanted
%\photo[104pt][0pt]{tincho}                  % optional, remove / comment the line if not wanted; '64pt' is the height the picture must be resized to, 0.4pt is the thickness of the frame around it (put it to 0pt for no frame) and 'picture' is the name of the picture file
%\quote{Some quote}                            % optional, remove / comment the line if not wanted

% to show numerical labels in the bibliography (default is to show no labels); only useful if you make citations in your resume
%\makeatletter
%\renewcommand*{\bibliographyitemlabel}{\@biblabel{\arabic{enumiv}}}
%\makeatother

% bibliography with mutiple entries
%\usepackage{multibib}
%\newcites{book,misc}{{Books},{Others}}
%----------------------------------------------------------------------------------
%            content
%----------------------------------------------------------------------------------
\AtBeginDocument{%
    \hypersetup{colorlinks,urlcolor=blue}
}
\begin{document}
%\begin{CJK*}{UTF8}{gbsn}                     % to typeset your resume in Chinese using CJK
%-----       resume       ---------------------------------------------------------
\makecvtitle%
\today
\renewcommand{\listitemsymbol}{-~}            % change the symbol for lists
\section{Personal Information}
\cvlistitem{Age: 25}
\cvlistitem{Date of birth: March 1st, 1990}
\cvlistitem{Place of birth: Rosario, Santa Fe, Argentina}
\cvlistitem{Nationalities: Argentinian, Italian}
\cvlistitem{Argentinian Passport: 35130605N}
\cvlistitem{Italian Passport: YA4033590}
\cvlistitem{Marital Condition: Single}
\section{Education}
\cventry{2015--Today}{PhD Student in Computer Science}{National University of
Rosario}{Rosario}{Santa Fe, Argentina}{Currently at my first year. I have a
studentship completely funded by \href{http://www.conicet.gov.ar/}{CONICET}, the national
research council
and I am currently working at
\href{http://www.cifasis-conicet.gov.ar/}{CIFASIS}.}
\cventry{2008--2015}{Computer Science Degree}{National University
of Rosario}{Rosario}{Santa Fe, Argentina}{Duration of the carreer: 7
years.\\Final Average: 9.6. First Student Award Class 2014--2015.}  % arguments 3
%to 6 can be left empty
\subsection{Courses}
\cventry{2014}{Interactive theorem proving: theory and practice}{University of
Buenos Aires}{Buenos Aires}{Buenos Aires, Argentina}{Introduction to Coq.
Natural deduction, Curry-Howard correspondence and Lambda Calculus.
\href{http://www.dc.uba.ar/events/eci/2014/cursos/ziliani}{Course Information}.}
\cventry{2012}{Introduction to Machine Learning}{National University of Rosario}{Rosario}{Santa Fe, Argentina}{Basic knowledge in Neural Networks, Decision Trees, Bayesian Learning, K-Neighbors.}
\cventry{2011}{Type Theory}{National University of Rosario}{Rosario}{Santa Fe, Argentina}{Dependent Type Programming with Agda by Thorsten Altenkirch.}

\subsection{Online Courses}
\cventry{2015}{Paradox and Infinity}{Agustín
Rayo}{MIT}{Edx}{\href{https://verify.edx.org/cert/b343b0a81d54493289f2b06ca57c4fde}{Approved
Certification}.}

\section{Computer Science Degree Thesis}
\cvitem{title}{\emph{Simulation of Parallel Programs in Haskell}}
\cvitem{supervisors}{Mauro Jaskelioff and Exequiel Rivas}
\cvitem{description}{%
    % The basic pure parallel combinators in Haskell are \textbf{par} and
    % \textbf{pseq}.
    The use of the basic parallel combinators in Haskell produces a certain effect in
    runtime, which is the parallelization of our program. But that effect is not directly
    observable, we can try to guess what happened using tools like
    \emph{ThreadScope}, but we still cannot match the behaviour of our program
    and its source code. In this work we designed an EDSL around the basic combinators to
    produce a \emph{parallel structure} of programs, a data type that
    reassembles how the parallel combinators were used in the source code, so one can see,
    and analyze the inherent parallel behaviour of our programs. The aim of this
    work was the development of a tool to make parallelism observable, so one
    can use
    this information to help undergraduate students get a better understanding,
    or to study the parallelism of our programs.
}

\section{Internship}
% \subsection{Internship}
\cventry{03/2013--09/2013}{Instituto Madrile\~no de Estudios
Avanzado}{Madrid}{Espa\~na}{}{%
Building a tool for synthesizes and automatic prove of cryptographic constructions
for \href{www.easycrypt.info}{EasyCrypt}.}{}
\subsection{Algorithm Competition}
\cventry{2009}{3rd prize in the First Competitve Programming Encounter}{Santa Fe}{Argentina}{}{}{}
\cventry{2009}{Participant in South America Regional ACM-ICPC}{Buenos Aires}{Argentina}{}{}{}
% \clearpage
\section{Teaching}
\cventry{09/2015--Today}{Professor}{Introduction to Mathematics}{National
University of Rosario}{}{Introductory course for pre-university students.}
\cventry{2014--Today}{Teacher Assistant}{Compilers}{National University of
Rosario}{}{Complete Appel's Tiger Compiler. First part of his book.}
\cventry{2014--Today}{Teacher Assistant}{Data Structures and Algorithm I}{National University of Rosario}{}{Introduction to O-Notation. Basic Data Structures in C.}
\cventry{Second Semester 2012}{Teacher Assistant}{Programming Languages Analysis}{National University of Rosario}{}{Lambda calculus, Simply typed Lambda calculus. Advanced functional programming in Haskell.}
\cventry{First Semester 2012}{Teacher Assistant}{Data Structures and Algorithm II}{National University of Rosario}{}{O-Notation. Functional programming introduction in Haskell.}
\cventry{First Semester 2011}{Teacher Assistant}{Programming I}{National University of Rosario}{Ad honorem}{Intuitionistic Logic.}
\cventry{Second Semester 2011}{Teacher Assistant}{Programming Languages Analysis}{National University of Rosario}{Ad honorem}{Generalized Abstract Data Types.}
\section{Languages}
\cvitemwithcomment{Spanish}{Advanced}{Mother tongue}
\cvitemwithcomment{English}{Advanced/Intermediate}{Fluent, Written and Spoken}
%\cvitemwithcomment{Language 3}{Skill level}{Comment}

\section{Computer skills}
\cvitem{Programming Languages}{Haskell, C/C++, ML, Agda, OCaml}
\cvitem{Proof Assistants}{Agda, Coq}
\cvitem{Formal Specification Languages}{Z, CSP, TLA/TLA+, Statecharts}
% \cvitem{Database Theory}{SQL, Entity-Relationship Model, Relational Algebra}
\cvitem{Others}{\LaTeX}
\cvitem{Operating Systems}{GNU/Linux}
%\cvdoubleitem{category 3}{XXX, YYY, ZZZ}{category 6}{XXX, YYY, ZZZ}
% \section{Examinations and Grades}
% \subsection{\textit{\textbf{First Year}}}
% \cvlistdoubleitem{Algebra And Analytic Geometry I}{8 - Very Good}
% \cvlistdoubleitem{Calculus I}{9 - Distinguished}
% \cvlistdoubleitem{Introduction to Informatics}{10 - Outstanding}
% \cvlistdoubleitem{Algebra and Analytic Geometry II}{10 - Outstanding}
% \cvlistdoubleitem{Calculus II}{10 - Outstanding}
% \cvlistdoubleitem{Progamming Languages Analysis I}{10 - Outstanding}
% \subsection{\textit{\textbf{Second Year}}}
% \cvlistdoubleitem{Linear Algebra}{10 - Outstanding}
% \cvlistdoubleitem{Calculus III}{10 - Outstanding}
% \cvlistdoubleitem{Logic and Algorithms}{10 - Outstanding}
% \cvlistdoubleitem{Discrete Mathematics}{10 - Outstanding}
% \cvlistdoubleitem{Numerical Analysis}{10 - Outstanding}
% \cvlistdoubleitem{Computer Architecture}{10 - Outstanding}
% \subsection{\textit{\textbf{Third Year}}}
% \cvlistdoubleitem{Probability and Statistics}{10 - Outstanding}
% \cvlistdoubleitem{Data Structures and Algorithms}{9 - Distinguished}
% \cvlistdoubleitem{Operating Systems}{9 - Distinguished}
% \cvlistdoubleitem{Physics I}{10 - Outstanding}
% \cvlistdoubleitem{Calculus IV}{10 - Outstanding}
% \cvlistdoubleitem{Progamming Languages Analysis II}{10 - Outstanding}
% \subsection{\textit{\textbf{Fourth Year}}}
% \cvlistdoubleitem{Physics II}{10 - Outstanding}
% \cvlistdoubleitem{System Analysis}{8 - Very Good}
% \cvlistdoubleitem{Network Communication}{8 - Very Good}
% \cvlistdoubleitem{Operations Research}{10 - Outstanding}
% \cvlistdoubleitem{Software Engineering}{7 - Good}
% \cvlistdoubleitem{Database Theory}{10 - Outstanding}
% \subsection{\textit{\textbf{Fifth Year}}}
% \cvlistdoubleitem{Intership}{10 - Outstanding}
% \cvlistdoubleitem{Introduction to the Philosophy of\\ Science}{10 - Outstanding}
% \cvlistdoubleitem{Elective I : Compilers}{10 - Outstanding}
% \cvlistdoubleitem{Introduction to Artificial Intelligence}{10 - Outstanding}
% \cvlistdoubleitem{Elective II : Formal Program\\ Construction in Type Theory}{10 - Outstanding}
% \cvlistdoubleitem{Final Thesis}{\textit{\textbf{Pending}}}


%\section{Interests}
%\cvitem{Sports}{I play football and I do capoeira, swim as hobbies. As well I prefer going by bike over bus}
%\cvitem{Reading}{I prefer a book over a movie. Enthusiastic science fiction reader.}

%\section{Extra 2}
%\cvlistdoubleitem{Item 1}{Item 4}
%\cvlistdoubleitem{Item 2}{Item 5\cite{book1}}
%\cvlistdoubleitem{Item 3}{}

% Publications from a BibTeX file without multibib
%  for numerical labels: \renewcommand{\bibliographyitemlabel}{\@biblabel{\arabic{enumiv}}}
%  to redefine the heading string ("Publications"): \renewcommand{\refname}{Articles}
% \nocite{*}
% \bibliographystyle{plain}
% \bibliography{publications}                   % 'publications' is the name of a BibTeX file

% Publications from a BibTeX file using the multibib package
%\section{Publications}
%\nocitebook{book1,book2}
%\bibliographystylebook{plain}
%\bibliographybook{publications}              % 'publications' is the name of a BibTeX file
%\nocitemisc{misc1,misc2,misc3}
%\bibliographystylemisc{plain}
%\bibliographymisc{publications}              % 'publications' is the name of a BibTeX file

% \clearpage
%-----       letter       ---------------------------------------------------------
% recipient data
%\recipient{}{Company, Inc.\\123 somestreet\\some city}
%\date{January 01, 1984}
%\opening{Dear Sir or Madam,}
%\closing{Yours faithfully,}
%\enclosure[Attached]{curriculum vit\ae{}}     % use an optional argument to use a string other than "Enclosure", or redefine \enclname
%\makelettertitle

%\[ e=\lim_{n \to \infty} \left(1+\frac{1}{n}\right)^n \]
\section{Research Statement}

% Mejorar acá
I like to work with highly abstract mathematics, but with a concrete goal like the development
of new tools or libraries, or extending old ones. I think functional
programming languages, and Haskell in particular, are an excellent way of
bringing together abstract mathematics and the development of new tools,
techniques, and libraries in a gorgeous way.

% my main interest or one of my
One of my main interest is functional programming languages.
I think that we can use functional programming as a tool to
understand how programming works, in particular pure functional languages give
us the ways to explicitly observe what is going on,  construct new solutions,
and see if that solution is any good. It give us the tools to think, create and
test our ideas.

As my final thesis to obtain the computer science degree I developed a tool to make dynamic
behaviour observable under the supervision of Mauro Jaskelioff and Exequiel
Rivas. The objective was to make observable the parallel behaviour of pure
programs in Haskell. We developed an EDSL, so after program execution we can obtain a
structure based on the basic parallel combinators. Henceforth, parallelism is
observable via this structure which is independent of the given hardware, or the
runtime system.

I am currently studying cost models for lazy parallel environments
based on improvement theory and parallel lazy abstract machines.
I think this low level approach is going to provide
a good foundation to build a high level model in the future, which could lead to
new automatic tools or at least to serve as a good guidance to programmers to
parallelize programs or study their behaviour.

My interest includes: functional programming, static analysis, type theory and
compiler construction.
%\makeletterclosing

%\clearpage\end{CJK*}  % if you are typesetting your resume in Chinese using CJK; the \clearpage is required for fancyhdr to work correctly with CJK, though it kills the page numbering by making \lastpage undefined
\end{document}
%% end of file `template.tex'.