diff --git a/recherche.tex b/recherche.tex index 5f815e1..c38f775 100644 --- a/recherche.tex +++ b/recherche.tex @@ -31,10 +31,9 @@ Akademi à Turku, Finlande. Les sujets de recherche que j'ai abordés jusqu'à maintenant se situent dans les domaines du calcul inspiré par la biologie et des langages -formels. Lors de mon doctorat, j'ai travaillé également sur des -problèmes non reliés directement au sujet de ma thèse. Dans la suite -de cette section, je résume ma thèse, puis les résultats obtenus en -dehors de son cadre. +formels. Dans cette section, je résume d'abord ma thèse, puis d'autres +résultats obtenus pendant mon doctorat et par la suite de ma carrière +scientifique. \subsection{Travaux de thèse} Ma thèse porte sur la puissance d'expression et l'universalité de @@ -252,19 +251,16 @@ Les résultats de ma thèse portant sur les réseaux de Petri universels ont été publiés dans~\cite{DBLP:conf/dcfs/0001PV14,DBLP:journals/corr/IvanovPV13,DBLP:journals/jalc/Alhazov0PV16}. -\subsection{Travaux hors thèse} +\subsection{Travaux hors thèse et postdoctoraux} Avant le début de ma thèse et pendant mon doctorat j'ai travaillé sur -des problèmes qui n'étaient pas directement reliés à ceux qui sont +des problèmes qui n'étaient pas directement liés à ceux qui sont exposés dans le manuscrit. Ces travaux se situent également dans le -cadre du calcul naturel et de la théorie des langages formels. Je me -suis premièrement concentré sur les systèmes à membranes ({\em - membrane systems}) qui sont un modèle inspiré par la structure et -fonctionnement de la cellule biologique. J'ai aussi travaillé sur les -systèmes à réactions ({\em reaction systems}) qui représentent une -abstraction formelle d'un réacteur biochimique. Finalement, j'ai -participé à des travaux dans le domaine des grammaires de tableaux -({\em array grammars}), un modèle qui étend les grammaires classiques -à la réécriture des parties des tableaux. +cadre du calcul naturel et de la théorie des langages formels. En +tant que postdoc, je travaille sur la modélisation biomécanique du +squelette cellulaire. + +Dans les sections suivantes, je donne plus détails par rapport aux +travaux de recherche sus-cités. \subsubsection{Systèmes à membranes} Le modèle des systèmes à membranes a été introduit par Gheorghe Păun