fin travail bittar

[hdrcouchot.git] / demandeInscription / synthese.tex

diff --git a/demandeInscription/synthese.tex b/demandeInscription/synthese.tex
index b6595846d67e65bf9871ae24cf0ddda2f786cb0a..791646a6f10450fead6f8dcfa52ff6049dfb8589 100755 (executable)
--- a/demandeInscription/synthese.tex
+++ b/demandeInscription/synthese.tex
@@ -141,24 +141,26 @@ mention très honorable.
  \end{itemize}
 
 
  \end{itemize}
 
 

-\newpage
+%\newpage

 \section{Nom et type de l'équipe de recherche}
 
 Je suis membre de l'équipe Algorithmique Numérique Distribuée (AND) du 
 Département d'Informatique des Systèmes Complexes (DISC)
 du laboratoire FEMTO-ST. 
 Je relève de l'école doctorale 37 Sciences Pour l'Ingénieur et Microtechniques (SPIM) de l'UFC.
 \section{Nom et type de l'équipe de recherche}
 
 Je suis membre de l'équipe Algorithmique Numérique Distribuée (AND) du 
 Département d'Informatique des Systèmes Complexes (DISC)
 du laboratoire FEMTO-ST. 
 Je relève de l'école doctorale 37 Sciences Pour l'Ingénieur et Microtechniques (SPIM) de l'UFC.

+Mon directeur de recherche pour cette HDR est Pr. J. {\sc Bahi} 
+du département DISC. Son avis, ainsi que celui du directeur de l'équipe (Pr. R. {\sc Couturier}, du directeur de l'école doctorale (PR. P. {\sc Lutz}) 
+et du directeur du département (Pr. O. {\sc Kouchnarenko}) sont donnés en annexes. 

 
 
 
 

+% \subsection{Avis du directeur de l'équipe}\label{sec:avis:directeur:equipe}

 
 

-\subsection{Avis du directeur de l'équipe}\label{sec:avis:directeur:equipe}
+% \subsection{Avis du directeur de recherche}\label{sec:avis:directeur:recherhce}

 
 

-\subsection{Avis du directeur de recherche}\label{sec:avis:directeur:recherhce}
+% \subsection{Avis du directeur de l'école doctorale}\label{sec:avis:directeur:spim}

 
 

-\subsection{Avis du directeur de l'école doctorale}\label{sec:avis:directeur:spim}

 
 
 
 

-\newpage

 \section{Résumé de la thématique de la thèse d'université}
 On considère en entrée de la démarche une description
 mathématique d'un programme: par exemple une fonction enrichie avec  
 \section{Résumé de la thématique de la thèse d'université}
 On considère en entrée de la démarche une description
 mathématique d'un programme: par exemple une fonction enrichie avec  


@@ -261,17 +263,17 @@ Jean-Fran\c{c}ois Couchot.
 
 
 
 
 
 

-\newpage
+%\newpage

 \section{Exposé des recherches réalisées au cours de la période postdoctorale}
 
 Entre avril 2006 et aujourd'hui, les recherches réalisées ont concerné plusieurs domaines synthétisés ci-après. Le premier travail (Sec.~\ref{sub:verif}) 
 \section{Exposé des recherches réalisées au cours de la période postdoctorale}
 
 Entre avril 2006 et aujourd'hui, les recherches réalisées ont concerné plusieurs domaines synthétisés ci-après. Le premier travail (Sec.~\ref{sub:verif}) 

-est une suite directe des travaux de thèse. Suivent six sections
-(de la Sec.~\ref{sub:sdd} à la Sec.~\ref{sub:hash}) sur les systèmes 
-dynamiques discrets et leurs applications, thématique 
+est une suite directe des travaux de thèse. 
+Le second concerne les systèmes dynamiques discrets 
+et leurs applications (Sec.~\ref{sub:sdd}), thématique 

 pour laquelle j'ai été recruté dans l'équipe AND du département
 DISC. Enfin la section~\ref{sub:gen} présente comment je me suis investi dans 
 le  domaine de la bio-informatique à l'aide de compétences connexes.
 pour laquelle j'ai été recruté dans l'équipe AND du département
 DISC. Enfin la section~\ref{sub:gen} présente comment je me suis investi dans 
 le  domaine de la bio-informatique à l'aide de compétences connexes.

-Ces travaux ont été valorisés par des publications dont les références sont données à la section~\ref{sec:publi} et synthéthisées à la figure~\ref{fig:bilan}
+Ces travaux ont été valorisés par des publications dont les références sont données à la section~\ref{sec:publi} et synthétisées à la figure~\ref{fig:bilan}

 en fin de document.
 
 \subsection{Vérification de programmes par 
 en fin de document.
 
 \subsection{Vérification de programmes par 


@@ -303,13 +305,16 @@ de 5000 lignes de Code C annoté fourni par Dassault aviation.
 
 
 
 
 
 

-
-\subsection{Convergence de systèmes  dynamiques discrets}\label{sub:sdd}
-
+\subsection{Les Systèmes dynamiques discrets (SDD)}\label{sub:sdd}

 Un système dynamique discret (SDD) est une fonction $f$ 
 du $n$-cube ($\{0,1\}^n$) dans lui même et un mode opératoire
 (parallèle, unaire, généralisé) qui peut être itéré 
 Un système dynamique discret (SDD) est une fonction $f$ 
 du $n$-cube ($\{0,1\}^n$) dans lui même et un mode opératoire
 (parallèle, unaire, généralisé) qui peut être itéré 

-en synchrone ou en asynchrone.
+en synchrone ou en asynchrone. Cette section présente un ensemble 
+de mes contributions dans cette thématique. 
+
+
+\subsubsection{Convergence de systèmes  dynamiques discrets}
+

 %Ils ont été étudiés à de maintes reprises ~\cite{Rob95,Bah00,bcv02}.
 Pour chacun de ces modes, il existe des critères  (suffisants) de convergence
 globale ou locale, souvent basés sur le fait que  $f$ 
 %Ils ont été étudiés à de maintes reprises ~\cite{Rob95,Bah00,bcv02}.
 Pour chacun de ces modes, il existe des critères  (suffisants) de convergence
 globale ou locale, souvent basés sur le fait que  $f$ 


@@ -369,7 +374,7 @@ ont aussi été fournies.
 Ceci a été synthétisé dans~\cite{Cou10:ir}
 
 
 Ceci a été synthétisé dans~\cite{Cou10:ir}
 
 

-\subsection{Construction de fonctions chaotiques}
+\subsubsection{Construction de fonctions chaotiques}

 Je me suis intéressé ensuite à l'étude du problème dual 
 de l'étude de divergence d'un SDD.
 Le Pr. C. Guyeux de l'équipe AND a proposé dans sa thèse en 2010
 Je me suis intéressé ensuite à l'étude du problème dual 
 de l'étude de divergence d'un SDD.
 Le Pr. C. Guyeux de l'équipe AND a proposé dans sa thèse en 2010


@@ -405,7 +410,7 @@ Ces méthodes ont permis d'étendre à l'infini la classe des fonctions
 dont les itérations sont chaotiques.
 
 
 dont les itérations sont chaotiques.
 
 

-\subsection{Apprentissage par réseaux neuronaux}
+\subsubsection{Apprentissage par réseaux neuronaux}

 Nous disposons grâce aux travaux présentés à la section précédente d'un grand
 nombre de fonctions dont les itérations sont chaotiques.
 Nous avons entrepris d'étudier ces itérations et plus particulièrement leur 
 Nous disposons grâce aux travaux présentés à la section précédente d'un grand
 nombre de fonctions dont les itérations sont chaotiques.
 Nous avons entrepris d'étudier ces itérations et plus particulièrement leur 


@@ -427,7 +432,9 @@ que le régime est extrêmement turbulent, donc difficile à prévoir.
 Nous avons souhaité 
 continuer nos expériences d'apprentissage à l'aide 
 de réseau de neurones dans ce contexte.
 Nous avons souhaité 
 continuer nos expériences d'apprentissage à l'aide 
 de réseau de neurones dans ce contexte.

- Il est apparu comme judicieux de mémoriser les configurations
+La figure~\ref{fig:mems}, issue de~\cite{cds13:ij}, montre 
+que notre approche a pu apprendre ce régime turbulent. 
+Il est apparu comme intéressant de mémoriser les configurations

 représentant l'état des actionneurs à l'aide de nombres binaires.
 De plus les codes de Gray (dont deux mots adjacents ne diffèrent que d'un 
 bit) se sont présentés comme une des manières de mémoriser les sorties du 
 représentant l'état des actionneurs à l'aide de nombres binaires.
 De plus les codes de Gray (dont deux mots adjacents ne diffèrent que d'un 
 bit) se sont présentés comme une des manières de mémoriser les sorties du 


@@ -441,7 +448,16 @@ Les résultats pratiques quant à l'utilisation de ces codes se sont cependant
 révélés comme moins pertinents que l'utilisation de $n$ sorties.
 Ceci a été valorisé dans les publications~\cite{cds12:ip,cds13:ij}.
 
 révélés comme moins pertinents que l'utilisation de $n$ sorties.
 Ceci a été valorisé dans les publications~\cite{cds12:ip,cds13:ij}.
 

-\subsection{Génération de nombres pseudo-aléatoires}
+\begin{figure}
+\begin{center}
+\includegraphics[scale=0.5]{test.pdf}
+\end{center}
+\caption{Prédiction d'une force issue d'un flux d'air
+  le long d'un véhicule avec injecteurs}\label{fig:mems}
+\end{figure}
+
+
+\subsubsection{Génération de nombres pseudo-aléatoires}

 Au commencement de ce travail, notre équipe disposait d'un générateur de nombres 
 pseudo-aléatoires (PRNG) 
 basé sur une seule fonction dont nous avions prouvé la chaoticité 
 Au commencement de ce travail, notre équipe disposait d'un générateur de nombres 
 pseudo-aléatoires (PRNG) 
 basé sur une seule fonction dont nous avions prouvé la chaoticité 


@@ -480,7 +496,7 @@ Plus récemment, nous avons entrepris de trouver des bornes du temps d'arrêt
 d'obtention d'une distribution uniforme d'un générateur 
 construit en enlevant un chemin hamiltonien équilibré dans un $n$-cube. Le travail 
 en collaboration avec Pr. P.-C. Heam du DISC
 d'obtention d'une distribution uniforme d'un générateur 
 construit en enlevant un chemin hamiltonien équilibré dans un $n$-cube. Le travail 
 en collaboration avec Pr. P.-C. Heam du DISC

-est en cours de soumission
+est en cours de soumission~\cite{cgh16:onp}

 dans un  journal international.
 
 Enfin j'ai été sollicité pour encadrer une thèse sur l'implantation 
 dans un  journal international.
 
 Enfin j'ai été sollicité pour encadrer une thèse sur l'implantation 


@@ -489,14 +505,14 @@ chaotiques sur des circuits logiques
 programmables. J'ai commencé ce travail en encadrant une étude exhaustive 
 de toutes les instances d'implantations de cette classe.
 Ce travail complet théorique et pratique est terminé aujourd'hui et 
 programmables. J'ai commencé ce travail en encadrant une étude exhaustive 
 de toutes les instances d'implantations de cette classe.
 Ce travail complet théorique et pratique est terminé aujourd'hui et 

-est en cours de soumission dans un journal international.
+est en cours de soumission~\cite{bgco16:onp} dans un journal international.

 
 
 
 
 
 
 
 
 
 
 
 

-\subsection{Masquage d'information}\label{sub:ih}
+\subsubsection{Masquage d'information}\label{sub:ih}

 
 La propriété de transitivité des fonctions chaotiques implique que l'on peut 
 atteindre tout point depuis le voisinage de n'importe quel point.
 
 La propriété de transitivité des fonctions chaotiques implique que l'on peut 
 atteindre tout point depuis le voisinage de n'importe quel point.


@@ -531,7 +547,7 @@ d'intégrer ceci à du marquage de document PDF puis de
 présenter ce problème comme un problème d'optimisation. 
 Grâce à une telle présentation nous avons pu trouver les paramètre optimaux
 des méthodes QIM assurant à la fois robustesse et indétectabilité.
 présenter ce problème comme un problème d'optimisation. 
 Grâce à une telle présentation nous avons pu trouver les paramètre optimaux
 des méthodes QIM assurant à la fois robustesse et indétectabilité.

-Le travail est en cours de soumission dans un  journal international.
+Le travail est en cours de soumission dans un  journal international~\cite{bdcc15:onp}.

 
 Lorsque l'objectif visé est l'indétectabilité, on parle de \emph{stéganographie}.
 Ce domaine a été adressé en critiquant notamment les scénarios usuels d'évaluation
 
 Lorsque l'objectif visé est l'indétectabilité, on parle de \emph{stéganographie}.
 Ce domaine a été adressé en critiquant notamment les scénarios usuels d'évaluation


@@ -542,15 +558,52 @@ Ceci se réalise en co-encadrant le doctorat de Y. Fadil.
 J'ai de plus participé à l'élaboration de l'algorithme STABYLO~\cite{ccg15:ij}
 qui est un schéma de
 stéganographie basé sur l'enfouissement de l'information dans les contours 
 J'ai de plus participé à l'élaboration de l'algorithme STABYLO~\cite{ccg15:ij}
 qui est un schéma de
 stéganographie basé sur l'enfouissement de l'information dans les contours 

-présents dans une image. 
+présents dans une image et illustré à la figure~\ref{fig:STABYLO}.

 Ce travail est en collaboration avec Pr. R. Couturier.
 Mes contributions ont principalement été la formalisation de l'algorithme et 
 son étude de complexité. Grâce a l'optimisation de cette dernière,
 nous avons  pu montrer 
 que cet algorithme présente un excellent compromis entre sécurité
 Ce travail est en collaboration avec Pr. R. Couturier.
 Mes contributions ont principalement été la formalisation de l'algorithme et 
 son étude de complexité. Grâce a l'optimisation de cette dernière,
 nous avons  pu montrer 
 que cet algorithme présente un excellent compromis entre sécurité

-fournie et complexité.  
+fournie et complexité.
+
+
+
+\begin{figure}[h]
+  \begin{center}
+    \subfigure[Support]{
+      \includegraphics[scale=0.20]{lena512}
+    }
+    \subfigure[Message]{
+      \begin{minipage}[b]{0.28\linewidth}
+        \begin{flushleft}
+          \begin{scriptsize}
+            The skies they were ashen and sober;\linebreak
+            $\qquad$ The leaves they were crisped and sere—\linebreak
+            $\qquad$ The leaves they were withering and sere;\linebreak
+            It was night in the lonesome October\linebreak
+            $\qquad$ Of my most immemorial year;\linebreak
+            It was hard by the dim lake of Auber,\linebreak
+            $\qquad$ In the misty mid region of Weir—\linebreak
+            It was down by the dank tarn of Auber,\linebreak
+            $\qquad$ In the ghoul-haunted woodland of Weir.
+          \end{scriptsize}
+        \end{flushleft}
+      \end{minipage}
+    }
+    \subfigure[Contours]{
+      \includegraphics[scale=0.20]{edge7}
+    }
+    \subfigure[Image avec msg.]{
+      \includegraphics[scale=0.20]{lena7}
+    }
+
+  \end{center}
+  \caption{Embarquement d'un message dans une image selon STABYLO}\label{fig:STABYLO}
+\end{figure}
+
+  

 
 

-\subsection{Les fonctions de hachage}\label{sub:hash}
+\subsubsection{Les fonctions de hachage}\label{sub:hash}

 Une fonction qui calcule une empreinte servant à identifier rapidement toute 
 donnée fournie en entrée est une fonction de hachage. On utilise ce genre
 de fonctions dès qu'on veut comparer des éléments de grande taille car il 
 Une fonction qui calcule une empreinte servant à identifier rapidement toute 
 donnée fournie en entrée est une fonction de hachage. On utilise ce genre
 de fonctions dès qu'on veut comparer des éléments de grande taille car il 


@@ -599,7 +652,8 @@ petits cardinaux. J'ai contribué notamment
 d'une adaptation discrète la méthode d'essaims particulaires~\cite{aagp+15:ip}.
 D'autres travaux (dont la première étape est cette construction de 
 core-génome) ont été ensuite réalisés, principalement dans le but de 
 d'une adaptation discrète la méthode d'essaims particulaires~\cite{aagp+15:ip}.
 D'autres travaux (dont la première étape est cette construction de 
 core-génome) ont été ensuite réalisés, principalement dans le but de 

-construire des arbre phylogénétiques de qualité~\cite{agcs+15:ip,aangc+15:ip}.
+construire des arbres phylogénétiques de qualité~\cite{agcs+15:ip,aangc+15:ip}.
+Une synthèse de ces arbres a été réalisée et est présentée à l'adresse~\url{http://meso.univ-fcomte.fr/peg/phylo}.

 
 
 Tous ces travaux ont été réalisés en collaboration avec M. Salomon et en co-encadrant 
 
 
 Tous ces travaux ont été réalisés en collaboration avec M. Salomon et en co-encadrant 


@@ -608,9 +662,10 @@ le doctorat de B. Alkindy.
 
 
 
 
 
 

-\newpage
+%\newpage

 \section{Perspectives de recherche}
 \section{Perspectives de recherche}

-
+Les trois sections suivantes présentent quelques perspectives de recherche 
+autour de la thématique des systèmes dynamiques discrets. 

 
 
 
 
 
 


@@ -739,73 +794,163 @@ Ceci se réalisera notamment au travers du doctorat de Y. Fadil.
 
 
 
 
 
 

-\newpage
+%\newpage

 \section{Insertion dans l'équipe de recherche} 
 \section{Insertion dans l'équipe de recherche} 

+Cette section donne quelques éléments factuels 
+permettent d'apprécier mon insertion au sein  de cette équipe de recherche.
+
+

 
 

+\subsection{Un défi de changement de thématique}

 La thématique principale de ma thèse et du post-doctorat qui a suivi 
 était la vérification de programmes par preuve automatique, soit de 
 la logique informatique.
 Suite à mon recrutement dans l'équipe AND, mes recherches se sont réorientées
 autour des SDDs et donc de l'analyse numérique plus généralement.
 La thématique principale de ma thèse et du post-doctorat qui a suivi 
 était la vérification de programmes par preuve automatique, soit de 
 la logique informatique.
 Suite à mon recrutement dans l'équipe AND, mes recherches se sont réorientées
 autour des SDDs et donc de l'analyse numérique plus généralement.

-En plus des publications obtenues avec les membres de l'équipe AND, 
-ce qui suit récapitule quelques éléments permettant 
-d'apprécier mon insertion dans l'équipe AND
+Ce défi de changement de thématique a été attaqué dès mon recrutement.
+En plus des 5 journaux dans cette nouvelle thématique, 
+j'ai publié après ma thèse notamment dans
+les conférences reconnues suivantes: 
+\cite{couchot07cade}, de rang A, 
+\cite{bcgr11:ip}, de rang A  et 
+\cite{chgw+14:oip}, de rang B.

 
 
 
 

+\subsection{Appels à projet}

 
 
 
 

-J'ai monté une collaboration active avec l'Université Antonine au Liban. 
-J'y ai été invité en mai 2013. J'ai par la suite co-encadré trois stages de 
-Master 2 recherche avec des membres de cette université.
-J'ai un article en cours de soumission résumant un travail en collaboration 
-avec un ancien étudiant et un enseignant chercheur de cette université.
+En 2014 (les dates a verifier), j'ai participé 
+au projet Jeune chercheur de l'UFC porté par
+Christophe Guyeux dont le thème était 
+\og la sécurisation numérique par chaos\fg{}.

 
 

-Je suis membre du GDR codes et cryptographie. J'ai à ce titre 
-participé aux Journées Codes et Stéganographie en 2012 (Rennes) 
-où j'ai présenté le travail 
-de \og Steganography: secure and robust algorithms \fg{} et en 2013 (Paris).
+J'ai répondu avec succès à l'appel à projets de la région de 
+Franche-Comté en 2015: j'ai participé à l'élaboration du  
+projet de \og capteurs multimédias collaboratifs: une approche
+intégrée de la sécurité et de la robustesse\fg{} dont le porteur 
+est M. A. Mostefaoui. Nous avons obtenu le financement d'une bourse doctorale 
+pour la période d'oct. 2015--oct. 2018. Ce doctorat sera co-encadré par 
+M. A. Mostefaoui et moi-même.

 
 

+J'ai répondu à de nombreux autres appels à projets sans succès: 
+\begin{itemize}
+\item porteur d'un projet ANR COSINUS 2009: \og 
+A FRAMEwork for predicting the behavior of Dicrete Dynamic Systems\fg{}
+avec l'I3S et le LORIA. 
+\item participant à un projet ANR blanc en 2010: 
+\og Unification des Systèmes Dynamiques Discrets \fg{}
+avec l'I3S, le LORIA et le LIF de MArseille.
+\item porteur d'un projet PEPS 2011 avec l'équipe MIE du département Energie de  FEMTO-ST.
+\item participant à un projet PHC CAI YUANPEI 2014: \og Theoretical study, design, and circuit implementation of high dimensional integer domain chaotic systems \fg{} avec l'Université Technlogique de Guangdong.
+\item porteur d'un projet PHC Cedre 2015: \og surveillance vidéo sécurisée et robuste par réseau de capteurs\fg{} avec l'Université Antonine.
+\item participant à un  projet PHC Cedre 2015: \og 
+méthodes et outils pour concevoir, évaluer et déployer des réseaux de capteurs 
+pour l'agriculture au liban\fg{} avec l'Université Libanaise.
+\item participant au projet PEPS JCJC INS2I 2015, sur 
+\og Prédiction bio-informatique de l'évolution des génomes\fg{} avec le
+LMB et le l'université de Neuchâtel en Suisse. 
+\end{itemize}

 
 

-J'ai co-organisé avec J. Bahi et C. Guyeux 
-\og The First Workshop on Information Hiding Techniques 
-for Internet Anonymity and Privacy (IHTIAP) \fg{} à Venise en juin 2012.
-Le comité de programme était composé
-de 18 chercheurs internationaux (dont je faisais aussi partie). 
-Il s'est  déroulé sur 1 journée.
+\subsection{Collaborations}
+J'ai établi des collaborations:
+\begin{itemize}
+\item avec A. Richard CR CNRS du laboratoire
+I3S (Nice)- UMR CNRS 7271 sur la thématique des SDDs et leurs 
+applications en Bio. Cela s'est traduit notamment avec 
+la publication~\cite{bcgr11:ip}.
+
+\item avec R. Darazy de l'Université Antonine au Liban. 
+  J'ai co-encadré trois stages de Master 2 recherche avec
+  des membres de cette université.
+  J'ai un article en cours de soumission\cite{bdcc15:onp} résumant un travail en collaboration 
+  avec un ancien étudiant et un enseignant chercheur de cette université.
+
+\item avec Pr. S. Contassot-Vivier du LORIA (Nancy)- UMR CNRS 7503 
+sur la thématique des SDDs, de leur convergence dans les itérations 
+mixtes et de la générations de matrices de Markov doublement
+stochastiques. Cela s'est traduit notamment avec 
+le rapport~\cite{BCVC10:ir}.
+
+\item avec Pr. Y. Bailly et J.-C. Roy de l'équipe 
+  MIE du département \'Energie de FEMTO-ST sur la thématique 
+  de la prédiction d'écoulement d'un flux d'air le long d'un véhicule.
+  Cela s'est traduit notamment avec 
+  les publications~\cite{cds13:ij,cds12:ip}.
+
+\item avec Dr. Qianxue Wang de l'Université Technlogique de Guangdong 
+sur la génération de nombres pseudo aléatoires. 
+Nous avons collaboré sur deux publications~\cite{bcgw11:ip,chgw+14:oip}.

 
 

+\end{itemize}

 
 

-J'ai fait partie des comités de programme de conférences 
-comme \og international conference on evolving internet \fg{} 
-(2012, 2013,2014 )\ldots 
-J'ai été session chair de \og international conference on evolving internet\fg{}
-en 2011 et  IHTIAP en 2012

 
 

-J'ai reviewé des articles pour les journaux internationaux 
-suivants: The computer Journal, Springer Multimedia Tool and application, 
-Springer Annals in Telecommunication\ldots
+\subsection{Invitations}
+J'ai été invité:
+\begin{itemize}
+\item au workshop \og Théorie des réseaux booléens et ses applications en
+  biologie\fg{}  à Nice en novembre 2014 (20 participants);
+\item à la journée \og Advances in Mobile Technologies Day\ fg{} 
+  organisée par l'Université Antonine au Liban en mai 2013 (10 participants);
+\item au Séminaire MDSC (Modèles Discrets pour les Systèmes Complexes)
+  du laboratoire I3S sur le sujet \og Efficiently dealing with 
+  SMT-LIB provers in software verification\fg{} 
+  en décembre 2007 (30 participants).
+\end{itemize}

 
 

+\subsection{Organisation d'événements scientifiques}
+
+J'ai co-organisé avec J. Bahi et C. Guyeux 
+\og The First Workshop on Information Hiding Techniques 
+for Internet Anonymity and Privacy (IHTIAP) \fg{} à Venise en juin 2012
+dont l'url est
+\url{http://www.iaria.org/conferences2012/IHTIAP.html}.
+Le comité de programme était composé de 18 chercheurs internationaux 
+(dont je faisais aussi partie). 
+Il s'est  déroulé sur 1/2 journée et 5 chercheurs ont présenté leurs travaux.
+Le taux d'acceptation des articles a été de 41\%. 
+
+J'ai fait partie des comités de programme des conférences \og int. conf. on Evolving Internet \fg{}, (2013, 2014) 
+et IHTIAP 2012.
+
+J'ai rédigé des rapports de relecture pour les journaux internationaux 
+suivants: 
+\begin{itemize}
+\item The computer Journal (2); 
+\item Springer Multimedia Tool and application (1);
+\item Springer Annals in Telecommunication (1);
+\item International Journal of Bioinformatics Research (1);
+\end{itemize}
+et pour les conférences suivantes:
+\begin{itemize}
+\item MAJECSTIC (2005 (2), 2007 (2));
+\item B 2007 (1), A-BZ 2008 (1);
+\item Evolving Internet \fg{}, (2012 (2), 2013 (2), 2014 (1));
+\end{itemize}
+
+Membre du GDR codes et cryptographie, j'ai 
+participé aux Journées Codes et Stéganographie en 2012 (Rennes) 
+où j'ai présenté \og Steganography: secure and robust algorithms \fg{} et en 2013 (Paris).

 
 

-Je suis régulièrement membre de jury des épreuves TIPE, épreuves communes
-à 90 concours d'ingénieurs (sessions 2012 et  2015) et fournis  
-à chaque session des sujets scientifiques pour l'épreuve.

 
 
 
 
 
 

-\newpage
+
+%\newpage

 \section{Encadrement et co-encadrement d'étudiants} 
 
 \subsection{Thèse d'université}
 
 \section{Encadrement et co-encadrement d'étudiants} 
 
 \subsection{Thèse d'université}
 

-Je co-encadre (à hauteur de 40\%) avec Michel Salomon (40\%) et  
+Je co-encadre:
+\begin{itemize}
+\item
+(à hauteur de 40\%) avec Michel Salomon (40\%) et  

 Jacques M. Bahi  (20\%) le doctorat de Bassam Alkindy
 sur les combinaisons d'approches pour la prédiction de l'évolution génomique.       
 Le doctorat a commencé en septembre 2012 et devrait être soutenu en 
 novembre 2015. 
 Ce travail de thèse a donné lieu à 6 publications dans des conférences 
 internationales.
 Jacques M. Bahi  (20\%) le doctorat de Bassam Alkindy
 sur les combinaisons d'approches pour la prédiction de l'évolution génomique.       
 Le doctorat a commencé en septembre 2012 et devrait être soutenu en 
 novembre 2015. 
 Ce travail de thèse a donné lieu à 6 publications dans des conférences 
 internationales.

-
-
-Je co-encadre (à hauteur de 50\%) avec Christophe Guyeux (50\%)
+\item  (à hauteur de 50\%) avec Christophe Guyeux (50\%)

 le doctorat de  Youssra Fadil
 sur
 l'étude du comportement des outils d'intelligence artificielle
 le doctorat de  Youssra Fadil
 sur
 l'étude du comportement des outils d'intelligence artificielle


@@ -815,20 +960,23 @@ décembre 2016.
 Ce travail de thèse a donné lieu à 1 publication dans une conférence
 internationale.
                
 Ce travail de thèse a donné lieu à 1 publication dans une conférence
 internationale.
                

-
-Je co-encadre (à hauteur de 50\%) avec Christophe Guyeux (50\%)
+\item  (à hauteur de 50\%) avec Christophe Guyeux (50\%)

 le doctorat de  Mohamed Bakiri
 sur
 l'implémentation matérielle de générateurs de nombres pseudo-aléatoires basés sur les itérations chaotiques.
 Le doctorat a commencé en septembre 2014 et devrait être soutenu en 
 le doctorat de  Mohamed Bakiri
 sur
 l'implémentation matérielle de générateurs de nombres pseudo-aléatoires basés sur les itérations chaotiques.
 Le doctorat a commencé en septembre 2014 et devrait être soutenu en 

-aout 2017.     
+août 2017.    

 Ce travail de thèse a donné lieu à 1 publication dans un journal international 
 Ce travail de thèse a donné lieu à 1 publication dans un journal international 

-en cours de soumission.
+en cours de soumission~\cite{bgco16:onp}.
+\end{itemize}
+

 
 \subsection{Master 2 recherche}
 
 
 
 \subsection{Master 2 recherche}
 
 

-J'ai co-encadré (à hauteur de 34\%) avec Raphael Couturier (33\%) et 
+J'ai co-encadré:
+\begin{itemize}
+\item  (à hauteur de 34\%) avec Raphael Couturier (33\%) et 

 Rony Darazi -- Université Antonine au Liban--(33\%)
 le stage de recherche de Master 2 de  Ahmad Bittar
 sur
 Rony Darazi -- Université Antonine au Liban--(33\%)
 le stage de recherche de Master 2 de  Ahmad Bittar
 sur


@@ -836,12 +984,8 @@ la
 Steganography in PDF documents based on Unprintable Control ASCII Codes.
 Le stage a commencé le 01 mai 2013 et a été soutenu le 30 septembre 2013. 
 Ce travail de Master a donné lieu à 1 publication dans un journal international 
 Steganography in PDF documents based on Unprintable Control ASCII Codes.
 Le stage a commencé le 01 mai 2013 et a été soutenu le 30 septembre 2013. 
 Ce travail de Master a donné lieu à 1 publication dans un journal international 

-en cours de soumission (en révision mineure).
-
-
-
-
-J'ai co-encadré (à hauteur de 80\%) avec   
+en cours de soumission~\cite{bdcc15:onp} (en révision mineure).
+\item  (à hauteur de 80\%) avec   

 Talar Atechian -- Université Antonine au Liban--(20\%)
 le stage de recherche de Master 2 de Hussein Nasser
 sur
 Talar Atechian -- Université Antonine au Liban--(20\%)
 le stage de recherche de Master 2 de Hussein Nasser
 sur


@@ -851,18 +995,19 @@ Network Lifetime Maximization.
 Le stage a commencé le 01 avril 2014 et a été soutenu le 31 août 2014. 
 
 
 Le stage a commencé le 01 avril 2014 et a été soutenu le 31 août 2014. 
 
 

-Je co-encadre (à hauteur de 80\%) avec   
+\item (à hauteur de 80\%) avec   

 Talar Atechian -- Université Antonine au Liban--(20\%)
 le stage de recherche de Master 2 de Khaled Daher 
 sur la désynchronisation du calcul d'optimisation de la durée de vie 
 d'un réseau de capteurs.
 Le stage a commencé le 01 avril 2015 et sera soutenu le 31 août 2015. 
 Talar Atechian -- Université Antonine au Liban--(20\%)
 le stage de recherche de Master 2 de Khaled Daher 
 sur la désynchronisation du calcul d'optimisation de la durée de vie 
 d'un réseau de capteurs.
 Le stage a commencé le 01 avril 2015 et sera soutenu le 31 août 2015. 

+\end{itemize}

 
 
 
 

-
-\newpage
+%\newpage

 \section{Participation à des tâches d'intérêt collectif}
 
 \section{Participation à des tâches d'intérêt collectif}
 

+\subsection{Tâches d'enseignement} 

 Depuis septembre 2000, je suis titulaire à l'Université de Franche-Comté,
 soit sur un poste de PrCe (de 2000 à 2008, sauf l'année 2006-2007) soit sur
 un poste de MdC. J'ai assuré un grand nombre d'enseignements de la première
 Depuis septembre 2000, je suis titulaire à l'Université de Franche-Comté,
 soit sur un poste de PrCe (de 2000 à 2008, sauf l'année 2006-2007) soit sur
 un poste de MdC. J'ai assuré un grand nombre d'enseignements de la première


@@ -874,10 +1019,12 @@ mathématiques discrètes.
 La répartition moyenne de mes enseignements 
 sur les quatre dernières années  est la suivante:
 \begin{itemize}
 La répartition moyenne de mes enseignements 
 sur les quatre dernières années  est la suivante:
 \begin{itemize}

-\item 6\% en le master Informatique Mobile et Répartie (UFR STGI), 
+\item 6\% en le Master Informatique Mobile et Répartie (UFR STGI), 

   dans l'UE de
   dans l'UE de

-  \og Modélisation et d'Evaluation des Systèmes Informatiques \fg{};
-\item 7\% en Licence Pro Conception des Application Multi-tiers (LP CAM) à l'IUT BM dans l'UE de \og Développement d'applications mobiles\fg{};
+  \og Modélisation et d'Evaluation des Systèmes Informatiques \fg{}. Ce sont des
+  promotions d'une vingtaine d'étudiants à chaque fois;
+\item 7\% en Licence Pro Conception des Application Multi-tiers (LP CAM) à l'IUT BM dans l'UE de \og Développement d'applications mobiles\fg{}. Ce sont des
+  promotions d'une vingtaine d'étudiants à chaque fois;

 \item 15\% en encadrement de projets tutorés ou de stage;
 \item 28\% en DUT d'informatique  dans l'UE de 
 \og conception et développement d'applications mobiles\fg{}; 
 \item 15\% en encadrement de projets tutorés ou de stage;
 \item 28\% en DUT d'informatique  dans l'UE de 
 \og conception et développement d'applications mobiles\fg{}; 


@@ -887,9 +1034,13 @@ de
 \og  modélisations mathématiques \fg{}.
 \end{itemize}
 
 \og  modélisations mathématiques \fg{}.
 \end{itemize}
 

+\subsection{Responsabilités} 
+

 J'ai aussi la responsabilité de toutes les UE données ci-dessus et 
 suis de plus le coordinateur des enseignements de mathématiques 
 au département d'informatique de l'IUT BM. 
 J'ai aussi la responsabilité de toutes les UE données ci-dessus et 
 suis de plus le coordinateur des enseignements de mathématiques 
 au département d'informatique de l'IUT BM. 

+J'ai participé à ce titre à l'élaboration des parties de mathématiques du 
+PPN du DUT d'informatique, à Dijon en 2011 et Orléans en 2012.  

 Depuis septembre 2014, je suis le responsable du parcours TeProw
 de la LP CAM  localisée 
 à l'IUT BM. Cette licence 
 Depuis septembre 2014, je suis le responsable du parcours TeProw
 de la LP CAM  localisée 
 à l'IUT BM. Cette licence 


@@ -903,15 +1054,147 @@ aux commissions de recrutement d'enseignants et  d'enseignants-chercheurs\ldots
 Depuis septembre 2014,  je suis élu au conseil du département d'informatique 
 de l'IUT BM. 
 
 Depuis septembre 2014,  je suis élu au conseil du département d'informatique 
 de l'IUT BM. 
 

+\subsection{Montage de projets BQF}
+J'ai monté avec succès deux projets BQF au sein de l'UFC autour
+de la programmation mobile en 2009 et 2014. 
+Ces projets BQF ont permis l'achat de smartphones et ordinateurs 
+portables pour les projets d'étudiants du département d'info de l'IUTBM. 
+
+
+\subsection{\`A l'extérieur de l'université}

 
 

+Je suis régulièrement membre de jury des épreuves TIPE, épreuves communes
+à 90 concours d'ingénieurs (sessions 2012 et  2015) et fournis  
+à chaque session des sujets scientifiques pour l'épreuve.

 
 
 
 
 
 

-\newpage
+
+%\newpage

 \section{Publications après la thèse}\label{sec:publi}
 \section{Publications après la thèse}\label{sec:publi}

+Le tableau de la figure~\ref{fig:bilan} donné 
+ci dessous synthétise les références détaillées ci-après.
+
+
+\begin{figure}[h]
+\begin{center}
+\begin{tabular}{|c|c|c|c|c|}
+\hline
+%& \multicolumn{2}{|c|}{Internationaux} &  {Nationaux} &  \\
+%\hline
+& Journaux & Conférences  & 
+Conférences  &  Divers\\
+& internationaux & internationales  & 
+nationales  &  \\
+
+\hline
+Pendant le doctorat &
+%journaux
+\cite{cdgr03:ij}
+&
+% conf inter
+\cite{cddg+04:ip,CGK05}
+
+&
+% conf nat
+\cite{cdgr04:onp,cg04:np}
+
+&
+% divers
+\cite{couchot04:onp}
+
+\\ \hline  
+En post-doctorat & 
+%journaux
+
+&
+% conf inter
+\cite{BCDG07,CouchotD07IFM,cgs09:ip,couchot07FTP,couchot07cade}
+
+&
+% conf nat
+
+
+&
+% divers
+
+
+\\ \hline  
+
+&
+%journaux
+&
+% conf inter
+\cite{aangc+15:ip,aagp+15:ip,acgm+14:ij,
+  akgcs+14:oip,agcs+15:ip}
+
+&
+% conf nat
+
+
+&
+% divers
+
+%%%%%%%%%%%%%%
+
+\\ %\cline{3-3}  
+
+Au DISC à FEMTO-ST&
+%journaux
+\cite{bcg12:ij,bcg11:ij,bcgs12:ij,ccg15:ij,cds13:ij}
+
+
+
+
+
+
+
+&
+% conf inter
+\cite{bcfg+13:ip,bcfg12a:ip,bcfg12b:ip,bcg11:ip,bcg11b:ip}
+
+&
+% conf nat
+
+
+&
+% divers
+\cite{acgs13:onp,BCVC10:ir,chgw+14:onp,Cou10:ir}
+
+
+
+\\ %\hline  
+
+&
+%journaux
+
+&
+% conf inter
+\cite{bcgr11:ip,bcgw11:ip,cds12:ip,chgw+14:oip,fccg15:ip}
+
+&
+% conf nat
+
+
+&
+% divers
+
+
+
+%%%%%%%%%%%%%
+
+
+\\ \hline  
+\end{tabular}
+\end{center}
+\caption{Bilan synthétique des publications}\label{fig:bilan}
+\end{figure}
+
+

 
 \subsection{Journaux internationaux avec comité de sélection}
 
 
 \subsection{Journaux internationaux avec comité de sélection}
 

+\vspace{-2em}

 \begin{thebibliography}{CHG{\etalchar{+}}14b}
 
 \makeatletter
 \begin{thebibliography}{CHG{\etalchar{+}}14b}
 
 \makeatletter


@@ -956,13 +1239,57 @@ Jean-Fran\c{c}ois Couchot, Karine Deschinkel, and Michel Salomon.
 
 \end{thebibliography}
 
 
 \end{thebibliography}
 

-\subsection{Conférences internationales avec comité de sélection}

 
 

+
+
+\subsection{Journaux internationaux avec comité de sélection (en cours de soumission)}
+
+\vspace{-2em}

 \begin{thebibliography}{CHG{\etalchar{+}}14b}
 \begin{thebibliography}{CHG{\etalchar{+}}14b}

+

 \makeatletter
 \addtocounter{\@listctr}{11}
 \makeatother
 
 \makeatletter
 \addtocounter{\@listctr}{11}
 \makeatother
 

+
+\bibitem{bdcc15:onp}
+Ahmad Bitar, Rony Darazi, Jean-François Couchot, and Raphaël Couturier.
+\newblock Blind digital watermarking in pdf documents using spread transform
+  dither modulation.
+\newblock in submission to the Multimedia Tools and Applications journal,
+  December 2014.
+
+\bibitem{cgh16:onp}
+Jean-François Couchot, Christophe Guyeux, and Pierre-Cyrille H\'eam.
+\newblock Random walk in a n-cube without hamiltonian cycle to chaotic
+  pseudorandom number generation: Theoretical and practical considerations.
+\newblock in submission to the RAIRO - Theoretical Informatics and Applications
+  special issue to the 15-th Mons Theoretical Computer Science Days, March
+  2015.
+
+\bibitem{bgco16:onp}
+Mohammed Bakiri, Christophe Guyeux, Jean-Fran\c{c}cois Couchot, and
+  Abdelkrim~Kamel Oudjida.
+\newblock Survey on hardware implementation of random number generators on
+  fpga: Theory and experimental analyses.
+\newblock in submission to the ACM Computing Surveys journal, August 2015.
+
+
+
+
+
+
+
+
+\end{thebibliography}
+
+\subsection{Conférences internationales avec comité de sélection}
+\vspace{-2em}
+\begin{thebibliography}{CHG{\etalchar{+}}14b}
+\makeatletter
+\addtocounter{\@listctr}{14}
+\makeatother
+

 \bibitem{aangc+15:ip}
 Bassam Alkindy, Huda Al'Nayyef, Christophe Guyeux, Jean-Fran\c{c}ois Couchot,
   Michel Salomon, and Jacques Bahi.
 \bibitem{aangc+15:ip}
 Bassam Alkindy, Huda Al'Nayyef, Christophe Guyeux, Jean-Fran\c{c}ois Couchot,
   Michel Salomon, and Jacques Bahi.


@@ -1141,10 +1468,11 @@ J'ai été invité:
 \end{itemize}
 
 \subsection{Communications diverses}
 \end{itemize}
 
 \subsection{Communications diverses}

+\vspace{-2em}

 \begin{thebibliography}{CHG{\etalchar{+}}14b}
 
 \makeatletter
 \begin{thebibliography}{CHG{\etalchar{+}}14b}
 
 \makeatletter

-\addtocounter{\@listctr}{31}
+\addtocounter{\@listctr}{34}

 \makeatother
 
 \bibitem{acgs13:onp}
 \makeatother
 
 \bibitem{acgs13:onp}


@@ -1182,119 +1510,6 @@ Jean-Fran\c{c}ois Couchot, Pierre-Cyrille H\'eam, Christophe Guyeux, Qianxue
 \end{thebibliography}
 
 
 \end{thebibliography}
 
 

-\begin{figure}[h]
-\begin{center}
-\begin{tabular}{|c|c|c|c|c|}
-\hline
-%& \multicolumn{2}{|c|}{Internationaux} &  {Nationaux} &  \\
-%\hline
-& Journaux & Conférences  & 
-Conférences  &  Divers\\
-& internationaux & internationales  & 
-nationales  &  \\
-
-\hline
-Pendant le doctorat &
-%journaux
-\cite{cdgr03:ij}
-&
-% conf inter
-\cite{cddg+04:ip,CGK05}
-
-&
-% conf nat
-\cite{cdgr04:onp,cg04:np}
-
-&
-% divers
-\cite{couchot04:onp}
-
-\\ \hline  
-En post-doctorat & 
-%journaux
-
-&
-% conf inter
-\cite{BCDG07,CouchotD07IFM,cgs09:ip,couchot07FTP,couchot07cade}
-
-&
-% conf nat
-
-
-&
-% divers
-
-
-\\ \hline  
-
-&
-%journaux
-&
-% conf inter
-\cite{aangc+15:ip,aagp+15:ip,acgm+14:ij,
-  akgcs+14:oip,agcs+15:ip}
-
-&
-% conf nat
-
-
-&
-% divers
-
-%%%%%%%%%%%%%%
-
-\\ %\cline{3-3}  
-
-Au DISC à FEMTO-ST&
-%journaux
-\cite{bcg12:ij,bcg11:ij,bcgs12:ij,ccg15:ij,cds13:ij}
-
-
-
-
-
-
-
-&
-% conf inter
-\cite{bcfg+13:ip,bcfg12a:ip,bcfg12b:ip,bcg11:ip,bcg11b:ip}
-
-&
-% conf nat
-
-
-&
-% divers
-\cite{acgs13:onp,BCVC10:ir,chgw+14:onp,Cou10:ir}
-
-
-
-\\ %\hline  
-
-&
-%journaux
-
-&
-% conf inter
-\cite{bcgr11:ip,bcgw11:ip,cds12:ip,chgw+14:oip,fccg15:ip}
-
-&
-% conf nat
-
-
-&
-% divers
-
-
-
-%%%%%%%%%%%%%
-
-
-\\ \hline  
-\end{tabular}
-\end{center}
-\caption{Bilan synthétique des publications}\label{fig:bilan}
-\end{figure}

 
 
 
 
 
 


@@ -1303,7 +1518,7 @@ Au DISC à FEMTO-ST&
 % \section{Avis du directeur de l'Equipe}\label{sec:avis:directeur}
 
 %\bibliographystyle{plain}
 % \section{Avis du directeur de l'Equipe}\label{sec:avis:directeur}
 
 %\bibliographystyle{plain}

-%\0\bibliography{abbrev,biblioand}
+%\bibliography{abbrev,biblioand}