aggiornato

latex.dir/cv.tex

@@ -17,12 +17,9 @@
 \end{tabbing}
 }
 
-\iftagged{ita}{Expat italiano residente a Londra. Ho un interesse molto vasto per l'\textbf{informatica} e l'\textbf{ingegneria} del software. Ho talento per la \textbf{comunicazione} e la \textbf{scrittura}, grazie anche alle mie ottime \textbf{capacità relazionali}}{Italian expat currently living in London. I have a broad interest in \textbf{computer science} and software \textbf{engineering}. I have talent for \textbf{writing} and \textbf{communication}, in partly thanks to my \textbf{people skills}}.
+\iftagged{ita}{Expat italiano residente a Londra. Appassionato di \textbf{informatica} e l'\textbf{ingegneria} del software. Ho talento per la \textbf{comunicazione} e la \textbf{scrittura}, grazie anche alle mie ottime \textbf{capacità relazionali}}{Italian expat currently living in London. I have a broad interest in \textbf{computer science} and software \textbf{engineering}. I have talent for \textbf{writing} and \textbf{communication}, enhanced by my \textbf{people skills}}.
 %
-\begin{itemize}[noitemsep]
-\item \iftagged{ita}{Argomenti che vorrei esplorare in futuro}{Topics I would like to explore if given the possibility}: \textbf{project management, \iftagged{ita}{insegnamento}{teaching}.}
-\item \iftagged{ita}{Argomenti che non sono disposto a trattare}{Topics I don't deal with}: compsec / cyber security, machine learning, frontend development.
-\end{itemize}
+\iftagged{ita}{In futuro vorrei esplorare questi argomenti}{Topics I would like to explore if given the possibility}: \textbf{project management, \iftagged{ita}{insegnamento}{teaching}.}
 
 \section*{\iftagged{ita}{Esperienze lavorative}{Work Experiences}}
 
@@ -31,7 +28,10 @@
 {\textbf{Symmetry Investments}}
 {https://symmetryinvestments.com/}
 {Research Developer}%
-{\iftagged{ita}{Al momento lavoro per Symmetry Investments, un hedge fund che opera ad Hong Kong, Londra, Singapore e Jersey. Sono assunto come ricercatore per il DSL funzionale usato internamente. I miei ambiti di ricerca riguardano concetti di programmazione funzionale, type inference e type systems, virtual machine, semantiche dei linguaggi. Un'altra grande parte del mio lavoro riguarda la supervisione e l'aiuto dei practitioners (quant, analisti e trader) nei differenti task di programmazione, tra cui code review, pratiche di software development e project management e richiede la conoscenza di competenze specifiche. Oltre a questo sono frequentemente coinvolto nel processo di assunzione, sottoponendo regolarmente i vari candidati al mio colloquio tecnico. Mi occupo di management di piccoli progetti secondari}{I am currently hired by Symmetry Investments, a hedge fund operating in Hong Kong, London, Singapore and Jersey. I work primarily as a researcher for the functional DSL used in the firm. My topics of research and development involves functional programming concepts, type inference and type systems, virtual machines, language semantics. Another big part of the job is aiding practitioners (quant, analysts and traders) with programming related tasks, such as code reviews, project management, software development practices and it requires some domain specific knowledge. In addition to this I am quite involved in the hiring process and interview candidates regularly}.}
+{\iftagged{ita}{Al momento lavoro per Symmetry Investments, un hedge fund che opera ad Hong Kong, Londra, Singapore e Jersey. Sono assunto come ricercatore per il DSL funzionale usato internamente. I miei ambiti di ricerca riguardano concetti di programmazione funzionale, type inference e type systems, virtual machine, semantiche dei linguaggi.
+Un'altra grande parte del mio lavoro riguarda la supervisione e l'aiuto dei practitioners (quant, analisti e trader) nei differenti task di programmazione, tra cui code review, pratiche di software development e project management e richiede la conoscenza di competenze specifiche. 
+Oltre a questo sono frequentemente coinvolto nel processo di assunzione, dove mi occupo di sottoporre i candidati ad un colloquio tecnico dedicato. Inoltre, collaboro al management di progetti aziendali che riguardano lo sviluppo di tooling interno%
+}{I am currently working for Symmetry Investments, a hedge fund operating in Hong Kong, London, Singapore and Jersey. I work primarily as a researcher for the functional DSL used in the firm. My topics of research and development encompass functional programming concepts, type inference and type systems, virtual machines, and language semantics. Another relevant part of the job is supporting practitioners (quant, analysts and traders) with programming related tasks, such as code reviews, project management, software development practices and it requires domain specific knowledge. In addition to this I am involved in the hiring process and interview candidates regularly}.}
 \end{job}
 
 \begin{job}
@@ -39,8 +39,9 @@
 {\textbf{Inria, Parsifal team}}
 {https://team.inria.fr/parsifal/}
 {Intern}%
-{\iftagged{ita}{Per un periodo di sei mesi, ospite al centro di ricerca Inria, ho lavorato alla mia tesi sulla verifica a posteriori del pattern matching compiler del linguaggio OCaml. Il mio lavoro è supervisionato da \href{http://gallium.inria.fr/~scherer/}{Gabriel Scherer} ed è visionabile su \href{https://github.com/FraMecca/inria-internship}{Github}. Inoltre il lavoro è stato accettato e presentato a \href{https://icfp20.sigplan.org/details/mlfamilyworkshop-2020-papers/6/Translation-validation-of-a-pattern-matching-compiler}{ICFP2020}.
-}{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} that got accepted at \href{https://icfp20.sigplan.org/details/mlfamilyworkshop-2020-papers/6/Translation-validation-of-a-pattern-matching-compiler}{ICFP2020}.}}
+{\iftagged{ita}{Per un periodo di sei mesi, ospite al centro di ricerca Inria, ho lavorato alla mia tesi sulla verifica a posteriori del pattern matching compiler del linguaggio OCaml.
+La tesi di ricerca, supervisionata da \href{http://gallium.inria.fr/~scherer/}{Gabriel Scherer} e visionabile su \href{https://github.com/FraMecca/inria-internship}{Github}, è stata accettata e presentata a \href{https://icfp20.sigplan.org/details/mlfamilyworkshop-2020-papers/6/Translation-validation-of-a-pattern-matching-compiler}{ICFP2020}.
+}{For a period of six months I worked on my master thesis regarding the translation validation of the pattern matching compiler for the OCaml language. My work was 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} that got accepted at \href{https://icfp20.sigplan.org/details/mlfamilyworkshop-2020-papers/6/Translation-validation-of-a-pattern-matching-compiler}{ICFP2020}.}}
 \end{job}
 
 \begin{job}
@@ -48,14 +49,12 @@
 {\textbf{Symmetry Autumn of Code}}
 {https://dlang.org/blog/2018/09/15/symmetry-autumn-of-code-is-underway/}
 {\iftagged{ita}{Partecipante}{Participant}}%
-  \iftagged{ita}{Symmetry Investments ha sponsorizzato il mio lavoro relativo ad un garbage collector concorrente per
-\href{https://github.com/dlang/druntime}{runtime di D} come parte dell'iniziativa Symmetry Autumn of Code.
-Il mio mentore è stato Leandro Lucarella.
-Il lavoro è opensource e accessibile dal mio account github. Inoltre ho riassunto il mio lavoro in questo \href{https://dlang.org/blog/2019/07/22/symmetry-autumn-of-code-experience-report-porting-a-fork-based-gc/}{blogpost}. Con l'aiuto di altri contributori di D il mio lavoro è stato incluso nella release \href{https://dlang.org/changelog/2.098.0.html\#forkgc}{D 2.098.0}.
-}{Symmetry Investments sponsored my work on a concurrent garbage
-  collector for the \href{https://github.com/dlang/druntime}{D runtime} as part of the Symmetry Autumn of Code initiative.
-  I worked under the mentorship of Leandro Lucarella of Sociomantic.
-  All of my work is open source and accessible from my github account. A blogpost summing up the effort can be read \href{https://dlang.org/blog/2019/07/22/symmetry-autumn-of-code-experience-report-porting-a-fork-based-gc/}{here}. With the help of other D contributors the work was merged in \href{https://dlang.org/changelog/2.098.0.html\#forkgc}{D 2.098.0}.}
+\iftagged{ita}{Ho partecipato all'iniziativa di Symmetry Investments "Autumn of Code" con un progetto relativo ad un garbage collector concorrente per la \href{https://github.com/dlang/druntime}{runtime di D}, con Leandro Lucarella come mentore.
+Il lavoro è opensource ed accessibile dal mio account github, mentre è possibile consultare il riassunto del mio lavoro in questo \href{https://dlang.org/blog/2019/07/22/symmetry-autumn-of-code-experience-report-porting-a-fork-based-gc/}{blogpost}.
+Con l'aiuto di altri contributori di D il mio lavoro è stato incluso nella release \href{https://dlang.org/changelog/2.098.0.html\#forkgc}{D 2.098.0}%
+}{Symmetry Investments sponsored my work on a concurrent garbage collector for the \href{https://github.com/dlang/druntime}{D runtime} as part of the Symmetry Autumn of Code initiative.
+I worked under the mentorship of Leandro Lucarella of Sociomantic.
+All of my work is open source and accessible from my github account. A blogpost summing up the effort can be read \href{https://dlang.org/blog/2019/07/22/symmetry-autumn-of-code-experience-report-porting-a-fork-based-gc/}{here}. With the help of other D contributors the work was merged in \href{https://dlang.org/changelog/2.098.0.html\#forkgc}{D 2.098.0}.}
 \end{job}
 
 \begin{job}
@@ -79,10 +78,11 @@ The work was \href{https://francescomecca.eu/blog/2018/10/2/eduhack-coventry/}{p
 \iftagged{ita}{Da ottobre 2017 ad aprile 2018 ho lavorato come ricercatore per il \href{https://sites.cs.ucsb.edu/~vigna/}{Professore Giovanni Vigna} ed il suo team Shellphish
 al security lab dell'Università di Santa Barbara, California (UCSB).
 Nella mia ricerca ho esplorato le debolezze e le vulnerabilità dei modelli di machine learning applicati al rilevamento del malware.
-A Febbraio 2020 la \href{https://www.ndss-symposium.org/ndss-paper/when-malware-is-packin-heat-limits-of-machine-learning-classifiers-based-on-static-analysis-features/}{pubblicazione} è stata accettata a \href{https://www.ndss-symposium.org/about/}{NDSS}'20.}{Starting October 2017 till April 2018 I worked as a research
+A Febbraio 2020 la \href{https://www.ndss-symposium.org/ndss-paper/when-malware-is-packin-heat-limits-of-machine-learning-classifiers-based-on-static-analysis-features/}{pubblicazione} è stata accettata a \href{https://www.ndss-symposium.org/about/}{NDSS}'20.}{%
+Starting October 2017 until April 2018 I worked as a research
 assistant for \href{https://sites.cs.ucsb.edu/~vigna/}{Professor Giovanni Vigna} and the \href{https://shellphish.net/}{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
+The focus of my research was the exploitation and weaknesses of
 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}
 
@@ -91,14 +91,12 @@ machine learning models applied to malware detection. On February 2020 the resul
 {\textbf{Free Architecture for Remote Education}}
 {https://fare.polito.it}
 {Backend Developer}%
-\iftagged{ita}{FARE (Free Architecture for Remote Education) è una piattaforma di smart learning
-sviluppata dal Politecnico di Torino sotto la supervisione dei professori \href{https://it.wikipedia.org/wiki/Angelo_Raffaele_Meo}{Angelo Raffaele Meo}
+\iftagged{ita}{%
+Per un periodo di nove mesi insieme a \href{https://teamdigitale.governo.it/en/people/leonardo-favario.html}{Leonardo Favario} ho preso parte allo sviluppo del backend di FARE (Free Architecture for Remote Education), una piattaforma di e-learning
+prodotta dal Politecnico di Torino sotto la supervisione dei professori \href{https://it.wikipedia.org/wiki/Angelo_Raffaele_Meo}{Angelo Raffaele Meo}
 e \href{https://staff.polito.it/marco.mezzalama/}{Marco Mezzalama}.
-FARE è usato come piattaforma di apprendimento e sviluppo di MOOC e come strumento per la lezione remota della scuola ospedaliera di Torino.
-FARE ha vinto il secondo premio nel concorso "Talent Italy" indetto dal
-\href{https://attiministeriali.miur.it/anno-2016/novembre/dd-07112016.aspx}{MIUR}, Ministero dell'istruzione, dell'università e della ricerca.
-}
-{FARE (Free Architecture for Remote Education) is a smart learning
+FARE è usato come piattaforma di apprendimento e sviluppo di MOOC e come strumento per la lezione remota della scuola ospedaliera di Torino ed ha vinto il secondo premio nel concorso "Talent Italy" indetto dal \href{https://attiministeriali.miur.it/anno-2016/novembre/dd-07112016.aspx}{MIUR}, Ministero dell'istruzione, dell'università e della ricerca}%
+{FARE (Free Architecture for Remote Education) is a e-learning
 environment developed at the Polytechnic of Turin for the professors
 \href{https://ieeexplore.ieee.org/author/37389790100}{Angelo Raffaele Meo} and \href{https://staff.polito.it/marco.mezzalama/}{Marco Mezzalama} by me and \href{https://teamdigitale.governo.it/en/people/leonardo-favario.html}{Leonardo Favario}.
 FARE is currently used as a learning platform for the developing of
@@ -115,22 +113,34 @@ MIUR, Ministero dell'istruzione, dell'università e della ricerca, \href{https:/
 {Intern}%
 \iftagged{ita}{Durante l'estate 2016 ho lavorato come intern per il centro di ricerca Berkman Klein
 dell'università di Harvard (Cambridge, Massachusetts) in collaborazione con il Centro Nexa per Internet e Società del Politecnico di Torino.
-Ho sviluppato la wiki semantica per il Network of Centers.}{During Summer 2016 I worked as an intern for the Berkman Klein
-center of the Harvard University (Cambridge. Massachusetts) with the collaboration of the
+Nel corso dell'internship ho sviluppato la wiki semantica per il \href{https://networkofcenters.net/}{Network of Centers}.
+Per tutta la durata di questa internship ho frequentato corsi di informatica e giurisprudenza al \href{http://catalog.mit.edu/summer/}{MIT} e ad \href{https://summer.harvard.edu/adult-college-students/}{Harvard}%
+}{During Summer 2016 I worked as an intern for the Berkman Klein
+center of the Harvard University (Cambridge, Massachusetts) with the collaboration of the
 Nexa Center for Internet and Society of the Polytechnic of Turin where
-I developed the Network of Centers Semantic Wiki. During the period I attended classes at \href{http://catalog.mit.edu/summer/}{MIT} and \href{https://summer.harvard.edu/adult-college-students/}{Harvard}.}
+I developed the Network of Centers Semantic Wiki. During the period I attended classes at \href{http://catalog.mit.edu/summer/}{MIT} and \href{https://summer.harvard.edu/adult-college-students/}{Harvard}}.
 \end{job}
 
-\section*{\iftagged{ita}{Altre esperienze}{Other Experiences}}
+\subsection*{\iftagged{ita}{Pubblicazioni}{Publications}}
 \begin{itemize}[noitemsep]
-\item \iftagged{ita}{Pubblicato \href{https://icfp20.sigplan.org/details/mlfamilyworkshop-2020-papers/6/Translation-validation-of-a-pattern-matching-compiler}{Translation Validation of a Pattern Matching Compiler}}{Published \href{https://icfp20.sigplan.org/details/mlfamilyworkshop-2020-papers/6/Translation-validation-of-a-pattern-matching-compiler}{Translation Validation of a Pattern Matching Compiler}}.
-\item \iftagged{ita}{Pubblicato \href{https://www.ndss-symposium.org/ndss-paper/when-malware-is-packin-heat-limits-of-machine-learning-classifiers-based-on-static-analysis-features/}{When Malware is Packin' Heat}}{Published \href{https://www.ndss-symposium.org/ndss-paper/when-malware-is-packin-heat-limits-of-machine-learning-classifiers-based-on-static-analysis-features/}{When Malware is Packin' Heat}}.
-\item \iftagged{ita}{Per tre anni accademici a partire dal 2017 ho presentato delle lezioni per il corso \href{http://rivoluzionedigitale.polito.it/}{Rivoluzione Digitale} del Politecnico di Torino}{For three years starting in 2017 I held some lectures for the bachelor course titled \href{http://rivoluzionedigitale.polito.it/}{Rivoluzione Digitale} (Digital Revolution) at Polytechnic of Turin}.
-  \item \iftagged{ita}{Ospite all'università di Coventry ho \href{https://conf.owlteh.org/contributions/published/elearning-in-the-age-of-social-networks-the-eduhack-model/}{presentato} alla conferenza OWLTEH2018 il mio lavoro sulla piattaforma di e-learning EduHack}{I was a guest at the OWLTEH2018 conference, showing the \href{https://conf.owlteh.org/contributions/published/elearning-in-the-age-of-social-networks-the-eduhack-model/}{EduHack} e-learning platform}.
-\item \iftagged{ita}{Nell'anno 2017 ho partecipato come speaker al \href{https://www.salonelibro.it/}{Salone Internazionel del Libro} di Torino presentando l'esperienza del Politecnico di Torino nell'ambito delle tecnologie di e-learning}{In the year 2017 I was a speaker at \href{https://en.wikipedia.org/wiki/Turin_International_Book_Fair}{Turin International Book Fair} where I presented the e-learning techniques and software used at the Polytechnic of Turin}.
-\item \iftagged{ita}{Ospite al centro Nexa for Internet \& Society ho \href{https://nexa.polito.it/lunch-44}{presentato} il lavoro svolto ad Harvard}{I \href{https://nexa.polito.it/lunch-44}{talked} about the work done during my internship at Harvard in a conference held by the Nexa Center for Internet \& Society.}.
+\item Mecca, F. and Scherer, G.. \href{https://icfp20.sigplan.org/details/mlfamilyworkshop-2020-papers/6/Translation-validation-of-a-pattern-matching-compiler}{Translation validation of a pattern-matching compiler.} \\ In ML Family Workshop,  ICFP2020.
+\item Aghakhani, H., Gritti, F., Mecca, F., Lindorfer, M., Ortolani, S., Balzarotti, D., Vigna, G. and Kruegel, C.. \\
+ \href{https://www.ndss-symposium.org/ndss-paper/when-malware-is-packin-heat-limits-of-machine-learning-classifiers-based-on-static-analysis-features/}{When Malware is Packin'Heat; Limits of Machine Learning Classifiers Based on Static Analysis Features.} In Network and Distributed Systems Security (NDSS) Symposium 2020.
 \end{itemize}
 
+\subsection*{\iftagged{ita}{Conferenze}{Lectures}}
+\begin{itemize}[noitemsep]
+  \item \iftagged{ita}{Ospite all'università di Coventry ho \href{https://conf.owlteh.org/contributions/published/elearning-in-the-age-of-social-networks-the-eduhack-model/}{presentato} alla conferenza OWLTEH2018 il mio lavoro sulla piattaforma di e-learning EduHack}{I was a guest at the OWLTEH2018 conference, to present the \href{https://conf.owlteh.org/contributions/published/elearning-in-the-age-of-social-networks-the-eduhack-model/}{EduHack} e-learning platform}.
+\item \iftagged{ita}{Nell'anno 2017 ho partecipato come speaker al \href{https://www.salonelibro.it/}{Salone Internazionel del Libro} di Torino presentando l'esperienza del Politecnico di Torino nell'ambito delle tecnologie di e-learning}{In the year 2017 I was a speaker at \href{https://en.wikipedia.org/wiki/Turin_International_Book_Fair}{Turin International Book Fair} where I presented the e-learning techniques and software used at the Polytechnic of Turin}.
+\item \iftagged{ita}{Ospite al centro Nexa for Internet \& Society ho \href{https://nexa.polito.it/lunch-44}{presentato} il lavoro svolto ad Harvard}{I \href{https://nexa.polito.it/lunch-44}{introduced} the work done during my internship at Harvard in a conference held by the Nexa Center for Internet \& Society.}.
+\end{itemize}
+
+\subsection*{\iftagged{ita}{Lezioni}{Classes}}
+\begin{itemize}[noitemsep]
+\item \iftagged{ita}{Per tre anni accademici a partire dal 2017 ho presentato delle lezioni per il corso \href{http://rivoluzionedigitale.polito.it/}{Rivoluzione Digitale} del Politecnico di Torino}{For three years starting in 2017 I held some lectures for the bachelor course titled \href{http://rivoluzionedigitale.polito.it/}{Rivoluzione Digitale} (Digital Revolution) at Polytechnic of Turin}.
+\end{itemize}
+
+\newpage
 \section*{\iftagged{ita}{Educazione}{Education}}
 
 \begin{job}