2015-05-31 14:46:36 +02:00
|
|
|
|
\documentclass[a4paper]{article}
|
|
|
|
|
|
|
|
|
|
\usepackage{fontspec}
|
|
|
|
|
\usepackage[english]{babel}
|
|
|
|
|
\usepackage{geometry}
|
|
|
|
|
\usepackage{tabu}
|
|
|
|
|
\usepackage[hidelinks]{hyperref}
|
|
|
|
|
|
|
|
|
|
\setsansfont{Linux Biolinum}
|
|
|
|
|
\setmainfont{Linux Libertine}
|
|
|
|
|
|
|
|
|
|
\begin{document}
|
|
|
|
|
|
|
|
|
|
\newgeometry{text={15.5cm,24cm},centering}
|
|
|
|
|
\thispagestyle{empty}
|
|
|
|
|
|
|
|
|
|
~
|
|
|
|
|
\vspace{15mm}
|
|
|
|
|
|
|
|
|
|
\centerline{\LARGE Curriculum Vitæ}
|
|
|
|
|
|
|
|
|
|
\vspace{7mm}
|
|
|
|
|
|
2015-05-31 15:07:16 +02:00
|
|
|
|
\subsection*{Personal information}
|
2015-05-31 14:46:36 +02:00
|
|
|
|
|
|
|
|
|
\vspace{1em}
|
|
|
|
|
\noindent
|
|
|
|
|
{\Large Sergiu \textsc{Ivanov}}
|
|
|
|
|
|
|
|
|
|
\vspace{.7em}
|
|
|
|
|
\noindent
|
2015-05-31 15:07:16 +02:00
|
|
|
|
born on September 17, 1988 in Feodosia, Crimea (ex-URSS), Moldovan nationality, single
|
2015-05-31 14:46:36 +02:00
|
|
|
|
|
|
|
|
|
\vspace{1.2em}
|
|
|
|
|
\noindent
|
2015-05-31 15:07:16 +02:00
|
|
|
|
{\em Personal address}
|
2015-05-31 14:46:36 +02:00
|
|
|
|
|
|
|
|
|
\vspace{.4em}
|
|
|
|
|
|
|
|
|
|
\setlength{\parindent}{2em}
|
|
|
|
|
|
|
|
|
|
Studélites Le Victor Hugo n°238
|
|
|
|
|
|
|
|
|
|
53--59 avenue Magellan
|
|
|
|
|
|
|
|
|
|
94000 Créteil
|
|
|
|
|
|
2015-05-31 15:07:16 +02:00
|
|
|
|
Phone: +33 (0)6 95 83 58 59
|
2015-05-31 14:46:36 +02:00
|
|
|
|
|
|
|
|
|
\vspace{1em}
|
|
|
|
|
|
|
|
|
|
\noindent
|
2015-05-31 15:07:16 +02:00
|
|
|
|
{\em Professional address}
|
2015-05-31 14:46:36 +02:00
|
|
|
|
|
|
|
|
|
\vspace{.4em}
|
|
|
|
|
|
|
|
|
|
LACL, Département d’Informatique
|
|
|
|
|
|
|
|
|
|
Faculté des Sciences et Technologie
|
|
|
|
|
|
|
|
|
|
61 avenue du Général de Gaulle
|
|
|
|
|
|
|
|
|
|
94010 Créteil Cedex
|
|
|
|
|
|
2015-05-31 15:07:16 +02:00
|
|
|
|
Phone: +33 (0)1 45 17 16 47
|
2015-05-31 14:46:36 +02:00
|
|
|
|
|
2015-05-31 16:07:35 +02:00
|
|
|
|
Fax: \hspace{1.95ex} +33 (0)1 45 17 66 01
|
2015-05-31 14:46:36 +02:00
|
|
|
|
|
|
|
|
|
\setlength{\parindent}{15pt}
|
|
|
|
|
|
|
|
|
|
\vspace{1.1em}
|
|
|
|
|
\noindent
|
2015-05-31 16:10:18 +02:00
|
|
|
|
{\em E-mail}: {\tt sergiu.ivanov@lacl.fr}
|
2015-05-31 14:46:36 +02:00
|
|
|
|
|
|
|
|
|
\vspace{.3em}
|
|
|
|
|
\noindent
|
2015-05-31 16:10:18 +02:00
|
|
|
|
{\em Personal page}: {\url{http://lacl.fr/~sivanov/}}
|
2015-05-31 14:46:36 +02:00
|
|
|
|
|
|
|
|
|
\vspace{1.2em}
|
|
|
|
|
|
2015-07-01 21:28:41 +02:00
|
|
|
|
\subsection*{Doctoral thesis}
|
2015-05-31 14:46:36 +02:00
|
|
|
|
|
|
|
|
|
\vspace{0em}
|
|
|
|
|
\setlength{\parindent}{0pt}
|
|
|
|
|
\begin{center}
|
|
|
|
|
\tabcolsep=.3em
|
|
|
|
|
\tabulinesep=1.35mm
|
2015-05-31 16:09:17 +02:00
|
|
|
|
\begin{tabu} to .95\linewidth {p{19.1ex} X[1j]<{\strut}}
|
2015-05-31 16:10:18 +02:00
|
|
|
|
Title: & {\em On the Power and Universality of Biologically-inspired Models of Computation} \\
|
|
|
|
|
Supervisor: & {\large Serghei \textsc{Verlan}}, maître de conférences, Université Paris Est Créteil \\
|
|
|
|
|
School: & Université Paris Est \\
|
|
|
|
|
Laboratory: & Laboratoire d'Algorithmique, Complexité et Logique (LACL) \\
|
|
|
|
|
Defence date: & June 23, 2015
|
2015-05-31 14:46:36 +02:00
|
|
|
|
\end{tabu}
|
|
|
|
|
\end{center}
|
|
|
|
|
|
|
|
|
|
\vspace{-.5em}
|
2015-05-31 15:07:16 +02:00
|
|
|
|
\subsubsection*{Thesis committee}
|
2015-05-31 14:46:36 +02:00
|
|
|
|
\vspace{.5em}
|
|
|
|
|
\begin{center}
|
|
|
|
|
\tabcolsep=.4em
|
|
|
|
|
\tabulinesep=1.3mm
|
2015-05-31 15:07:16 +02:00
|
|
|
|
\begin{tabu} to .95\linewidth {X[.60l] X[1.1l] X[1.3l]}
|
|
|
|
|
Referees: & {Jérôme \textsc{Durand-Lose}} & Université d'Orléans \\
|
|
|
|
|
& {Gheorghe \textsc{Păun}} & Romanian Academy \\
|
2015-05-31 14:46:36 +02:00
|
|
|
|
& {Philippe \textsc{Schnoebelen}} & CNRS \& ENS de Cachan \\[1.8mm]
|
|
|
|
|
|
2015-05-31 15:07:16 +02:00
|
|
|
|
Examiners: & {Enrico \textsc{Formenti}} & Université de Nice -- Sophia Antipolis \\
|
2015-05-31 14:46:36 +02:00
|
|
|
|
& {Jean-Louis \textsc{Giavitto}} & CNRS \& IRCAM \\
|
|
|
|
|
& {Elisabeth \textsc{Pelz}} & Université Paris Est Créteil \\
|
|
|
|
|
\end{tabu}
|
|
|
|
|
\end{center}
|
|
|
|
|
|
|
|
|
|
\newpage
|
|
|
|
|
\thispagestyle{empty}
|
|
|
|
|
|
2015-05-31 15:59:29 +02:00
|
|
|
|
\subsection*{Professional experience}
|
2015-05-31 14:46:36 +02:00
|
|
|
|
|
|
|
|
|
{
|
|
|
|
|
|
|
|
|
|
\tabcolsep=1.7mm
|
|
|
|
|
\tabulinesep=1.1mm
|
|
|
|
|
|
2015-05-31 16:12:17 +02:00
|
|
|
|
\vspace{.1em}
|
2015-05-31 15:59:29 +02:00
|
|
|
|
\subsubsection*{Research}
|
2015-05-31 14:46:36 +02:00
|
|
|
|
|
|
|
|
|
\vspace{-1mm}
|
2015-05-31 16:15:16 +02:00
|
|
|
|
\begin{tabu}{X[.24r] c X[j]}\savetabu{exppro}
|
2015-05-31 16:06:15 +02:00
|
|
|
|
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}\\
|
2015-05-31 15:59:29 +02:00
|
|
|
|
2009--2012 & $\bullet$ & {\bf Researcher} at the Institute of Mathematics and Computer Science of Moldova; supervised by Yurii \textsc{Rogozhin}
|
2015-05-31 14:46:36 +02:00
|
|
|
|
\end{tabu}
|
|
|
|
|
|
|
|
|
|
\vspace{-4mm}
|
2015-05-31 15:59:29 +02:00
|
|
|
|
\subsubsection*{Programming}
|
2015-05-31 14:46:36 +02:00
|
|
|
|
|
|
|
|
|
\vspace{-.3em}
|
|
|
|
|
|
|
|
|
|
\begin{tabu}{\usetabu{exppro}}
|
2015-05-31 15:59:29 +02:00
|
|
|
|
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) \\
|
2015-05-31 14:46:36 +02:00
|
|
|
|
\end{tabu}
|
|
|
|
|
|
2015-05-31 16:15:16 +02:00
|
|
|
|
\vspace{-2mm}
|
|
|
|
|
\subsubsection*{Teaching}
|
|
|
|
|
|
|
|
|
|
\vspace{-2mm}
|
|
|
|
|
\begin{tabu}{\usetabu{exppro}}
|
|
|
|
|
2012--2015 & $\bullet$ & {\bf Monitor} during doctoral studies, 192 hours \\
|
|
|
|
|
\end{tabu}
|
|
|
|
|
|
|
|
|
|
|
2015-05-31 16:06:15 +02:00
|
|
|
|
\vspace{1mm}
|
2015-05-31 15:59:29 +02:00
|
|
|
|
\subsection*{Postgraduate studies}
|
2015-05-31 14:46:36 +02:00
|
|
|
|
|
|
|
|
|
\begin{tabu}{\usetabu{exppro}}
|
2015-05-31 15:59:29 +02:00
|
|
|
|
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]
|
2015-05-31 14:46:36 +02:00
|
|
|
|
\end{tabu}
|
|
|
|
|
|
2015-05-31 16:06:15 +02:00
|
|
|
|
\vspace{-4mm}
|
2015-05-31 15:59:29 +02:00
|
|
|
|
\subsection*{Undergraduate studies}
|
2015-05-31 14:46:36 +02:00
|
|
|
|
|
|
|
|
|
\begin{tabu}{\usetabu{exppro}}
|
2015-05-31 15:59:29 +02:00
|
|
|
|
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
|
2015-05-31 14:46:36 +02:00
|
|
|
|
\end{tabu}
|
|
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
\restoregeometry
|
|
|
|
|
\setlength{\parindent}{15pt}
|
|
|
|
|
|
|
|
|
|
\end{document}
|