diff --git a/cv.tex b/cv.tex index 11697cc..575543d 100644 --- a/cv.tex +++ b/cv.tex @@ -104,100 +104,77 @@ Fax\hspace{.9pt} : +33 (0)1 45 17 66 01 \vspace{.1em} \subsubsection*{Enseignement} -\vspace{-1.3em} -\begin{center} - \tabcolsep=.4em - \renewcommand{\arraystretch}{1.3} - \begin{tabular}{rcp{13cm}} - 2012--2015 & $\bullet$ & {\bf Monitorat} dans le cadre de la formation doctorale, 192h eq.~TD \\ - \end{tabular} -\end{center} +{ -\vspace{-1.2em} +\tabcolsep=1.7mm +\tabulinesep=1.1mm + +\vspace{-1mm} +\begin{tabu}{X[.18r] c X[j]}\savetabu{exppro} + 2012--2015 & $\bullet$ & {\bf Monitorat} dans le cadre de la formation doctorale, 192h eq.~TD \\ +\end{tabu} + +\vspace{-2mm} \subsubsection*{Recherche} -\vspace{-.3em} -\begin{center} - \tabcolsep=.4em - \renewcommand{\arraystretch}{1.3} - - \hspace{-.45cm} - \begin{tabular}{rcp{12.5cm}} - octobre & $\bullet$ & {\bf Visite scientifique} au Combio, Åbo Akademi, Turku, Finlande ; collaboration \\[-.4em] - 2014 & & avec Ion \textsc{Petre} \\ - avril--mai & $\bullet$ & {\bf Visite scientifique} au Combio, Åbo Akademi, Turku, Finlande ; collaboration \\[-.4em] - 2014 & & 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} - \end{tabular} -\end{center} +\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} +\end{tabu} \vspace{-1.6em} \subsubsection*{Programmation} \vspace{-.3em} -\begin{center} - \tabcolsep=.4em - \renewcommand{\arraystretch}{1.3} - \hspace{.45cm} - \begin{tabular}{rcp{12.5cm}} - 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) \\ - 2012 & $\bullet$ & Google Summer of Code : module de théorie des catégories pour SymPy (Python) \\ - 2011 & $\bullet$ & Simulateur de systèmes à membranes (Java, C, Haskell, OpenCL, NVIDIA CUDA, Python) \\ - 2010 & $\bullet$ & Implémentation complète du modèle d'acteur en réseau avec résolution automatique des noms d'acteurs - (Haskell) \\ - 2009 & $\bullet$ & Google Summer of Code : montage union à la VFS pour GNU/Hurd (C) \\ - 2008 & $\bullet$ & Cœur de la sélection de translateurs par espace de noms pour GNU/Hurd (C) \\ - 2008 & $\bullet$ & Éditeur graphique des graphes (Python) \\ - \end{tabular} -\end{center} +\begin{tabu}{\usetabu{exppro}} + 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) \\ + 2012 & $\bullet$ & Google Summer of Code : module de théorie des catégories pour SymPy (Python) \\ + 2011 & $\bullet$ & Simulateur de systèmes à membranes (Java, C, Haskell, OpenCL, NVIDIA CUDA, Python) \\ + 2010 & $\bullet$ & Implémentation complète du modèle d'acteur en réseau avec résolution automatique des noms d'acteurs (Haskell) \\ + 2009 & $\bullet$ & Google Summer of Code : montage union à la VFS pour GNU/Hurd (C) \\ + 2008 & $\bullet$ & Cœur de la sélection de translateurs par espace de noms pour GNU/Hurd (C) \\ + 2008 & $\bullet$ & Éditeur graphique des graphes (Python) \\ +\end{tabu} \vspace{-.1em} \subsection*{Formation doctorale} -\vspace{-1.3em} -\begin{center} - \tabcolsep=.4em - \renewcommand{\arraystretch}{1.3} - \begin{tabular}{rcp{13cm}} - 2013 & $\bullet$ & École d'été : École des Jeunes Chercheurs en Programmation (EJCP), - Institut national de recherche en informatique et en automatique (INRIA), Rennes, 45h \\[.4em] - \phantom{2012--}2012 & $\bullet$ & École d'été : Introductions avancées à la biologie, - Institut de Biologie Systémique et Synthétique (iSSB), - Génopole d'Évry, 40h - \end{tabular} -\end{center} +\begin{tabu}{\usetabu{exppro}} + 2013 & $\bullet$ & École d'été : École des Jeunes Chercheurs en Programmation (EJCP), + Institut national de recherche en informatique et en automatique (INRIA), Rennes, 45h \\ + 2012 & $\bullet$ & École d'été : Introductions avancées à la biologie, + Institut de Biologie Systémique et Synthétique (iSSB), + Génopole d'Évry, 40h +\end{tabu} \vspace{-.1em} \subsection*{Formation universitaire} -\vspace{-1.2em} -\begin{center} - \tabcolsep=.4em - \renewcommand{\arraystretch}{1.3} - \begin{tabular}{rcp{13cm}} - 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) \\[.6em] +\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 \\ + 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 + \end{tabu} - & & 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) \\[.6em] - - 2007 & $\bullet$ & {\bf Baccalauréat} Scientifique - \end{tabular} -\end{center} +} \restoregeometry