X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/2cab029edf9da6ea85d0e69680545d338febc6e2..1cd71ddffbb51c7d43136d4b00cf09158105ddd5:/demandeInscription/synthese.tex?ds=inline diff --git a/demandeInscription/synthese.tex b/demandeInscription/synthese.tex index 43081a3..791646a 100755 --- a/demandeInscription/synthese.tex +++ b/demandeInscription/synthese.tex @@ -141,24 +141,26 @@ mention très honorable. \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 @@ -261,7 +263,7 @@ 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}) @@ -271,7 +273,7 @@ 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. -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 @@ -494,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 -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 @@ -503,7 +505,7 @@ 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 -est en cours de soumission dans un journal international. +est en cours de soumission~\cite{bgco16:onp} dans un journal international. @@ -545,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é. -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 @@ -556,7 +558,7 @@ 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 -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, @@ -660,7 +662,7 @@ le doctorat de B. Alkindy. -\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. @@ -792,19 +794,35 @@ Ceci se réalisera notamment au travers du doctorat de Y. Fadil. -\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. + +\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 @@ -813,8 +831,27 @@ 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 @@ -825,7 +862,7 @@ 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 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 @@ -838,10 +875,16 @@ le rapport~\cite{BCVC10:ir}. 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 @@ -854,6 +897,8 @@ J'ai été invité: 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 @@ -864,7 +909,6 @@ Le comité de programme était composé de 18 chercheurs internationaux 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. @@ -874,13 +918,13 @@ suivants: \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 @@ -891,7 +935,7 @@ où j'ai présenté \og Steganography: secure and robust algorithms \fg{} et en -\newpage +%\newpage \section{Encadrement et co-encadrement d'étudiants} \subsection{Thèse d'université} @@ -921,9 +965,9 @@ 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 -en cours de soumission. +en cours de soumission~\cite{bgco16:onp}. \end{itemize} @@ -940,7 +984,7 @@ 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 -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 @@ -960,9 +1004,10 @@ 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} +\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 @@ -974,7 +1019,7 @@ mathématiques discrètes. 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; @@ -989,6 +1034,8 @@ de \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. @@ -1007,6 +1054,15 @@ 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. +\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. @@ -1014,10 +1070,10 @@ Je suis régulièrement membre de jury des épreuves TIPE, épreuves communes -\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] @@ -1138,6 +1194,7 @@ Au DISC à FEMTO-ST& \subsection{Journaux internationaux avec comité de sélection} +\vspace{-2em} \begin{thebibliography}{CHG{\etalchar{+}}14b} \makeatletter @@ -1182,13 +1239,57 @@ Jean-Fran\c{c}ois Couchot, Karine Deschinkel, and Michel Salomon. \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. @@ -1367,10 +1468,11 @@ J'ai été invité: \end{itemize} \subsection{Communications diverses} +\vspace{-2em} \begin{thebibliography}{CHG{\etalchar{+}}14b} \makeatletter -\addtocounter{\@listctr}{31} +\addtocounter{\@listctr}{34} \makeatother \bibitem{acgs13:onp}