cv finito inria

latex.dir/cv.tex

@@ -46,11 +46,11 @@
 \section*{Work Experiences}
 
 \begin{job}
-{10/2019 }{Present}
+{10/2019 }{03/2020}
 {\textbf{Inria, Parsifal team}}
 {https://team.inria.fr/parsifal/}
 {Intern}%
-{For a period of six months I am working on my thesis regarding the verification a posteriori of the pattern matching compiler for the OCaml language. My work is supervised by \href{http://gallium.inria.fr/~scherer/}{Gabriel Scherer} and is published on \href{https://github.com/FraMecca/inria-internship}{Github}.}
+{For a period of six months I was working on my master thesis regarding the translation validation of the pattern matching compiler for the OCaml language. My work is supervised by \href{http://gallium.inria.fr/~scherer/}{Gabriel Scherer} and is published on \href{https://github.com/FraMecca/inria-internship}{Github}. During the internship, Gabriel and me worked on a \href{https://github.com/FraMecca/inria-internship/raw/master/paper/abstract-submitted.pdf}{workshop submission}}
 \end{job}
 
 \begin{job}
@@ -73,7 +73,7 @@ Starting October 2017 till April 2018 I worked as a research
 assistant for Giovanni Vigna and the Shellphish team at the security
 lab of the University of California Santa Barbara (UCSB).
 The focus of my research is on the exploitation and weaknesses of
-machine learning models applied to malware detection.
+machine learning models applied to malware detection. On February 2020 the resulting \href{https://www.ndss-symposium.org/ndss-paper/when-malware-is-packin-heat-limits-of-machine-learning-classifiers-based-on-static-analysis-features/}{publication} got accepted at \href{https://www.ndss-symposium.org/about/}{NDSS}'20.
 \end{job}
 
 \begin{job}