From 069a0e068d39ca248854534c741e243c275d1dc6 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Wed, 30 Mar 2022 17:30:43 +0200
Subject: [PATCH] Add Vincent's internship.

---
 recherche.tex | 37 +++++++++++++++++++++++++++++++++++++
 1 file changed, 37 insertions(+)

diff --git a/recherche.tex b/recherche.tex
index f1f04b3..41137d5 100644
--- a/recherche.tex
+++ b/recherche.tex
@@ -744,6 +744,43 @@ de sorte à augmenter l'efficacité du traitement.
 
 \subsection{Encadrement de stages de recherche et développement}
 
+\subsubsection{Contrôlabilité des systèmes complexes}
+\noindent
+\hspace{2.7mm}
+{\renewcommand{\arraystretch}{1.3}%
+\begin{tabularx}{\textwidth}{l X}
+  Stagiaires : & \emph{Vincent \textsc{Ferrari}, ENS Paris} \\
+  Type : & stage de L3 d'initiation à la recherche \\
+  Durée : & 1 juin--31 juillet 2022
+\end{tabularx}
+}
+
+La complexité est inhérente aux structures macro- et microscopiques
+qui nous entourent, et se manifeste de façon particulièrement
+prononcée dans le vivant. En effet, les organismes biologiques font
+preuve de comportements complexes à toutes les échelles : des
+interactions biochimiques entre les molécules organiques, jusqu'aux
+relations entre individus dans une société, humaine, animale, ou
+bactérienne. On remarque au sein de ces systèmes de nombreuses
+relations contrôleur-contrôlé : les enzymes qui contrôlent les
+réactions biochimiques, les facteurs de transcription qui contrôlent
+l'expression des gènes, le système nerveux qui contrôle les
+contraction musculaires. Comprendre les mécanismes de ces contrôles
+permet d'approfondir les connaissances sur les phénomènes en question,
+mais aussi de concevoir des stratégies de reprogrammation pour
+suggérer des thérapies et plus généralement des adaptations des
+systèmes biologiques pour des objectifs industriels.
+
+Les réseaux booléens sont un formalisme bien adapté à la
+représentation des systèmes complexes dont les entités peuvent être
+perçues comme étant actives ou non. Grâce aux domaines booléens finis
+de leurs variables, nombre de propriétés des réseaux booléens sont
+traitables dans des temps raisonnables. De l'autre côté, les systèmes
+à membranes sont un excellent outil de conception de cadres formels
+généraux de toute sorte. L'objectif de ce stage est d'établir un cadre
+formel général pour la contrôlabilité des réseaux booléens à base des
+systèmes à membranes.
+
 \subsubsection{Millefeuille évolutionnaire : une nouvelle formalisation de l'évolution}
 \noindent
 \hspace{2.7mm}