\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.
+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
-\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})
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
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
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.
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
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 et ilustré à la figure~\ref{fig:STABYLO}.
+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,
-\newpage
+%\newpage
\section{Perspectives de recherche}
Les trois sections suivantes présentent quelques perspectives de recherche
autour de la thématique des systèmes dynamiques discrets.
-\newpage
+%\newpage
\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.
Ce défi de changement de thématique a été attaqué dès mon recrutement.
-Les publications obtenues dans ces
-domaines nouveaux pour moi ainsi que les éléments factuels suivants
-permettent d'apprécier mon insertion au sein de cette équipe de recherche.
+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.
-J'ai participé avec succès à deux appels à projets de la région de
-Franche-Comté:
-\begin{itemize}
-\item \JFC{Projet region avec christophe}
-\item appel 2015: j'ai participé à l'élaboration du
+\subsection{Appels à projet}
+
+
+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{}.
+
+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}
+\subsection{Collaborations}
J'ai établi des collaborations:
\begin{itemize}
\item avec A. Richard CR CNRS du laboratoire
\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 résumant un travail en collaboration
+ 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
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~\ref{cds13:ij,cds12:ip}.
+ 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}
+\subsection{Invitations}
J'ai été invité:
\begin{itemize}
\item au workshop \og Théorie des réseaux booléens et ses applications en
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
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.
\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 ZB 2007 (1), A-BZ 2008 (1);\JFC{A verifier}
+\item B 2007 (1), A-BZ 2008 (1);
\item Evolving Internet \fg{}, (2012 (2), 2013 (2), 2014 (1));
-\item ICCVE 2014 (1).\JFC{A verifier}
\end{itemize}
Membre du GDR codes et cryptographie, j'ai
-\newpage
+%\newpage
\section{Encadrement et co-encadrement d'étudiants}
\subsection{Thèse d'université}
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
-en cours de soumission.
+en cours de soumission~\cite{bgco16:onp}.
\end{itemize}
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).
+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
\end{itemize}
-\newpage
+%\newpage
\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
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
\og Modélisation et d'Evaluation des Systèmes Informatiques \fg{}. Ce sont des
promotions d'une vingtaine d'étudiants à chaque fois;
\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.
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}
Le tableau de la figure~\ref{fig:bilan} donné
-ci dessous synthéthise les références détaillées ci-après.
+ci dessous synthétise les références détaillées ci-après.
\begin{figure}[h]
\subsection{Journaux internationaux avec comité de sélection}
+\vspace{-2em}
\begin{thebibliography}{CHG{\etalchar{+}}14b}
\makeatletter
\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}
+
\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.
\end{itemize}
\subsection{Communications diverses}
+\vspace{-2em}
\begin{thebibliography}{CHG{\etalchar{+}}14b}
\makeatletter
-\addtocounter{\@listctr}{31}
+\addtocounter{\@listctr}{34}
\makeatother
\bibitem{acgs13:onp}
