185 lines
6.5 KiB
TeX
185 lines
6.5 KiB
TeX
\newgeometry{text={15.5cm,24cm},centering}
|
||
\thispagestyle{empty}
|
||
|
||
~
|
||
\vspace{15mm}
|
||
|
||
\centerline{\LARGE Curriculum Vitæ}
|
||
\addcontentsline{toc}{section}{Curriculum Vitæ}
|
||
|
||
\vspace{7mm}
|
||
|
||
\subsection*{Données personnelles}
|
||
|
||
\vspace{1em}
|
||
\noindent
|
||
{\Large Sergiu \textsc{Ivanov}}
|
||
|
||
\vspace{.7em}
|
||
\noindent
|
||
né le 17 septembre 1988 à Théodosie, Crimée (ex-URSS), nationalité
|
||
moldave, célibataire
|
||
|
||
\vspace{1.2em}
|
||
\noindent
|
||
{\em Adresse personnelle}
|
||
|
||
\vspace{.4em}
|
||
|
||
\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{1em}
|
||
|
||
\noindent
|
||
{\em Adresse professionnelle}
|
||
|
||
\vspace{.4em}
|
||
|
||
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.1em}
|
||
\noindent
|
||
{\em Courriel} : {\tt sergiu.ivanov@lacl.fr}
|
||
|
||
\vspace{.3em}
|
||
\noindent
|
||
{\em Page personelle} : {\url{http://lacl.fr/~sivanov/}}
|
||
|
||
\vspace{1.2em}
|
||
|
||
\subsection*{Thèse de doctorat}
|
||
|
||
\vspace{0em}
|
||
\setlength{\parindent}{0pt}
|
||
\begin{center}
|
||
\tabcolsep=.3em
|
||
\tabulinesep=1.35mm
|
||
\begin{tabu} to .95\linewidth {l X[1j]<{\strut}}
|
||
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{tabu}
|
||
\end{center}
|
||
|
||
\vspace{-.5em}
|
||
\subsubsection*{Composition du jury}
|
||
\vspace{.5em}
|
||
\begin{center}
|
||
\tabcolsep=.4em
|
||
\tabulinesep=1.3mm
|
||
\begin{tabu} to .95\linewidth {X[.63l] X[1.1l] X[1.3l]}
|
||
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.8mm]
|
||
|
||
Examinateurs:& {Enrico \textsc{Formenti}} & Université de Nice -- Sophia Antipolis \\
|
||
& {Jean-Louis \textsc{Giavitto}} & CNRS \& IRCAM \\
|
||
& {Elisabeth \textsc{Pelz}} & Université Paris Est Créteil \\
|
||
\end{tabu}
|
||
\end{center}
|
||
|
||
\newpage
|
||
\thispagestyle{empty}
|
||
|
||
\subsection*{Expérience professionnelle}
|
||
|
||
{
|
||
\tabcolsep=1.7mm
|
||
\tabulinesep=1.1mm
|
||
|
||
\vspace{.1em}
|
||
\subsubsection*{Enseignement}
|
||
|
||
\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 \\
|
||
\end{tabu}
|
||
|
||
\vspace{-3mm}
|
||
\subsubsection*{Recherche}
|
||
|
||
\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{-4mm}
|
||
\subsubsection*{Programmation}
|
||
|
||
\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) \\
|
||
\end{tabu}
|
||
|
||
\vspace{2mm}
|
||
\subsection*{Formation doctorale}
|
||
|
||
\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
|
||
\end{tabu}
|
||
|
||
\vspace{-1mm}
|
||
\subsection*{Formation universitaire}
|
||
|
||
\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
|
||
\end{tabu}
|
||
|
||
}
|
||
|
||
\restoregeometry
|
||
\setlength{\parindent}{15pt}
|