~ \vspace{10mm} \centerline{\LARGE Curriculum Vitæ} \addcontentsline{toc}{section}{Curriculum Vitæ} \vspace{7mm} \subsection*{Données personnelles} \vspace{1em} \noindent {\Large Sergiu \textsc{Ivanov}} \vspace{.9em} \noindent né le 17 septembre 1988 à Théodosie, Crimée (ex-URSS), nationalité moldave, célibataire \vspace{1.4em} \noindent {\em Adresse personnelle} \vspace{.8em} \setlength{\parindent}{2em} Studélites Le Victor Hugo n°238 53--59 avenue Magellan 94000 Créteil Tél.: +33 (0)6 95 83 58 59 \vspace{1.4em} \noindent {\em Adresse professionnelle} \vspace{.8em} LACL, Département d’Informatique Faculté des Sciences et Technologie 61 avenue du Général de Gaulle 94010 Créteil Cedex Tél. : +33 (0)1 45 17 16 47 Fax\hspace{.9pt} : +33 (0)1 45 17 66 01 \setlength{\parindent}{15pt} \vspace{1.2em} \noindent {\em Courriel} : {\tt sergiu.ivanov@lacl.fr} \vspace{1.2em} \subsection*{Thèse (à soutenir le 23 juin 2015)} \vspace{0em} \setlength{\parindent}{0pt} \begin{center} \renewcommand{\arraystretch}{1.6} \tabcolsep=.3em \begin{tabular}{lp{11cm}} Sujet : & {\em Étude de la puissance d'expression et de l'universalité des modèles de calcul inspirés par la biologie} \\ Directeur : & {\large Serghei \textsc{Verlan}}, maître de conférences, Université Paris Est Créteil \\ Établissement : & Université Paris Est \\ Laboratoire : & Laboratoire d'Algorithmique, Complexité et Logique (LACL) \\ Date de soutenance : & 23 juin 2015 \end{tabular} \end{center} \vspace{-.1em} \subsubsection*{Composition du jury} \vspace{.5em} \begin{center} \tabcolsep=.4em \renewcommand{\arraystretch}{1.4} \begin{tabular}{l@{\hspace{3em}}l@{\hspace{4.5em}}l} Rapporteurs: & {Jérôme \textsc{Durand-Lose}} & Université d'Orléans \\ & {Gheorghe \textsc{Păun}} & Académie Roumaine \\ & {Philippe \textsc{Schnoebelen}} & CNRS \& ENS de Cachan \\[1.1em] Examinateurs:& {Enrico \textsc{Formenti}} & Université de Nice -- Sophia Antipolis \\ & {Jean-Louis \textsc{Giavitto}} & CNRS \& IRCAM \\ & {Elisabeth \textsc{Pelz}} & Université Paris Est Créteil \\ \end{tabular} \end{center} \newpage \subsection*{Expérience professionnelle} \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} \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{-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} \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} \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] 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) \\[.6em] 2007 & $\bullet$ & {\bf Baccalauréat} Scientifique \end{tabular} \end{center}