diff --git a/cv-en.tex b/cv-en.tex index f803649..cf8dfc3 100644 --- a/cv-en.tex +++ b/cv-en.tex @@ -114,10 +114,10 @@ Fax\hspace{.9pt} : +33 (0)1 45 17 66 01 \newpage \thispagestyle{empty} -\subsection*{Expérience professionnelle} +\subsection*{Professional experience} \vspace{.1em} -\subsubsection*{Enseignement} +\subsubsection*{Teaching} { @@ -126,69 +126,68 @@ Fax\hspace{.9pt} : +33 (0)1 45 17 66 01 \vspace{-1mm} \begin{tabu}{X[.19r] c X[j]}\savetabu{exppro} - 2012--2015 & $\bullet$ & {\bf Monitorat} dans le cadre de la formation doctorale, 192h eq.~TD \\ + 2012--2015 & $\bullet$ & {\bf Monitor} during doctoral studies, 192 hours \\ \end{tabu} \vspace{-3mm} -\subsubsection*{Recherche} +\subsubsection*{Research} \vspace{-1mm} \begin{tabu}{\usetabu{exppro}} - octobre 2014 & $\bullet$ & {\bf Visite scientifique} au Combio, Åbo Akademi, Turku, Finlande ; collaboration avec Ion \textsc{Petre} \\ - avril--mai 2014 & $\bullet$ & {\bf Visite scientifique} au Combio, Åbo Akademi, Turku, Finlande ; collaboration avec Ion \textsc{Petre} \\ - août 2011 & $\bullet$ & {\bf Visite scientifique} au LACL, Université Paris Est Créteil ; collaboration avec Serghei \textsc{Verlan}\\ - 2009--2012 & $\bullet$ & {\bf Chercheur} à l'Institut de Mathématiques et d'Informatique de Moldavie ; supervisé par Yurii \textsc{Rogozhin} + October 2014 & $\bullet$ & {\bf Scientific visit} to Combio, Åbo Akademi, Turku, Finland; collaboration with Ion \textsc{Petre} \\ + April--May 2014 & $\bullet$ & {\bf Scientific visit} to Combio, Åbo Akademi, Turku, Finland; collaboration with Ion \textsc{Petre} \\ + August 2011 & $\bullet$ & {\bf Scientific visit} to LACL, Université Paris Est Créteil; collaboration with Serghei \textsc{Verlan}\\ + 2009--2012 & $\bullet$ & {\bf Researcher} at the Institute of Mathematics and Computer Science of Moldova; supervised by Yurii \textsc{Rogozhin} \end{tabu} \vspace{-4mm} -\subsubsection*{Programmation} +\subsubsection*{Programming} \vspace{-.3em} \begin{tabu}{\usetabu{exppro}} - avril 2014 & $\bullet$ & Simulateur de systèmes à réactions (Haskell, PHP) \\ - 2013 & $\bullet$ & Ensemble d'outils d'optimisation de la taille des réseaux de Petri avec des arcs inhibiteurs universels (Haskell, Gurobi, AMPL) \\ - juin--août 2012 & $\bullet$ & Google Summer of Code : module de théorie des catégories pour SymPy (Python) \\ - janvier--mai 2011 & $\bullet$ & Simulateur de systèmes à membranes (Java, C, Haskell, OpenCL, NVIDIA CUDA, Python) \\ - octobre 2010 & $\bullet$ & Implémentation complète du modèle d'acteur en réseau avec résolution automatique des noms d'acteurs (Haskell) \\ - juin--août 2009 & $\bullet$ & Google Summer of Code : montage union à la VFS pour GNU/Hurd (C) \\ - juin--août 2008 & $\bullet$ & Cœur de la sélection de translateurs par espace de noms pour GNU/Hurd (C) \\ - avril 2008 & $\bullet$ & Éditeur graphique des graphes (Python) \\ + April 2014 & $\bullet$ & Reaction system simulator (Haskell, PHP) \\ + 2013 & $\bullet$ & Tools for optimisation of the size of universal Petri nets with inhibitor arcs (Haskell, Gurobi, AMPL) \\ + June--August 2012 & $\bullet$ & Google Summer of Code: category theory module for SymPy (Python) \\ + January--May 2011 & $\bullet$ & Membrane system simulator (Java, C, Haskell, OpenCL, NVIDIA CUDA, Python) \\ + October 2010 & $\bullet$ & Complete network-based implementation of the actor model with automatic name resolution (Haskell) \\ + June--August 2009 & $\bullet$ & Google Summer of Code: VFS-style union mount for GNU/Hurd (C) \\ + June--August 2008 & $\bullet$ & Core of namespace-based translator selection for GNU/Hurd (C) \\ + April 2008 & $\bullet$ & GUI-based graph editor (Python) \\ \end{tabu} \vspace{2mm} -\subsection*{Formation doctorale} +\subsection*{Postgraduate studies} \begin{tabu}{\usetabu{exppro}} - 2012--2015 & $\bullet$ & {\bf Doctorant} contractuel à l'Université Paris Est (sous la direction de Serghei \textsc{Verlan}) \\ - mai 2013 & $\bullet$ & {\bf École d'été} : École des Jeunes Chercheurs en Programmation (EJCP), - Institut national de recherche en informatique et en automatique (INRIA), Rennes, 45h \\ - septembre 2012 & $\bullet$ & {\bf École d'été} : Introductions avancées à la biologie, - Institut de Biologie Systémique et Synthétique (iSSB), - Génopole d'Évry, 40h + 2012--2015 & $\bullet$ & {\bf PhD student} at Université Paris Est (supervised by Serghei \textsc{Verlan}) \\ + May 2013 & $\bullet$ & {\bf Summer school} for Young Researchers in Programming (EJCP), + French Institute for Research in Computer Science and Automation (INRIA), Rennes, 45h \\ + September 2012 & $\bullet$ & {\bf Summer school} ``Advanced Introduction to Biology'', + Institute of Systems \& Synthetic Biology, + Évry Genopole, 40h \\ + 2011--2012 & $\bullet$ & {\bf Master's} student at the University of the Academy of Sciences of Moldova, + Faculty of Sciences \\ + & & Validated courses: {\em Module theory} (Alexei \textsc{Cașu}), + {\em Quasigroup theory} (Vladimir \textsc{Izbaș}), + {\em Gröbner bases} (Alexandru~\textsc{Șubă}), + {\em Theory of algorithms and computability} (Yurii \textsc{Rogozhin}), + {\em Formal languages and theory of compilation} (Constantin \textsc{Ciubotaru}), + {\em Probability theory} (Andrei \textsc{Corlat}), + {\em Boolean functions} (Olga \textsc{Izbaș}) \\ + & & Soros {\em merit scholarship} (2011) \\[.3em] \end{tabu} \vspace{-1mm} -\subsection*{Formation universitaire} +\subsection*{Undergraduate studies} \begin{tabu}{\usetabu{exppro}} - 2011--2012 & $\bullet$ & Étudiant en {\bf master} à l'Université de l'Académie des Sciences de Moldavie, - Faculté des Sciences \\ - & & Cours validés: {\em Théorie des modules} (Alexei \textsc{Cașu}), - {\em Théorie des quasigroupes} (Vladimir \textsc{Izbaș}), - {\em Bases de Gröbner} (Alexandru~\textsc{Șubă}). - {\em Théorie des algorithmes et de la calculabilité} (Yurii \textsc{Rogozhin}), - {\em Langages formels et compilation} (Constantin \textsc{Ciubotaru}), - {\em Théorie des probabilités} (Andrei \textsc{Corlat}), - {\em Fonctions booléennes} (Olga \textsc{Izbaș}) \\ - & & {\em Bourse de mérite} de la fondation SOROS (2011) \\[.3em] - - 2007--2011 & $\bullet$ & {\bf Diplôme d'ingénieur} à l'Université Technique de Moldavie, - Faculté des Ordinateurs, Informatique et Microélectronique \\ - & & Mention: {\em Excellent} (note maximale dans tous les sujets) \\ - & & {\em Major} (promotion de 200 étudiants) \\ - & & {\em Bourse de mérite} de la fondation SOROS du 2ème degré (2009) \\[.3em] - 2007 & $\bullet$ & {\bf Baccalauréat} Scientifique + 2007--2011 & $\bullet$ & {\bf Bachelor of Computer Science} from the Technical University of Moldova, + Faculty of Computers, Computer Science and Microelectronics \\ + & & Distinction: {\em Excellent} (maximal grades in all subjects) \\ + & & {\em First in promotion} (200 students) \\ + & & Soros {\em merit scholarship}, 2nd degree (2009) \\[.3em] + 2007 & $\bullet$ & {\bf Baccalaureate} with scientific profile \end{tabu} }