X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/780af29c5ee962663f9c719bdef45858256839ee..28b18f7c0f58e36c0c2ed675a8bcc3c38c3aee96:/demandeInscription/synthese.tex?ds=inline

diff --git a/demandeInscription/synthese.tex b/demandeInscription/synthese.tex
index 96cee35..2255df8 100755
--- a/demandeInscription/synthese.tex
+++ b/demandeInscription/synthese.tex
@@ -261,7 +261,7 @@ dynamiques discrets et leurs applications, 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 j'ai rÃ©investi le 
 domaine de la bio-informatique Ã  l'aide de compÃ©tences connexes.
-Ces travaux ont Ã©tÃ© valorisÃ©es par des publications dont les rÃ©fÃ©rences sont donnÃ©es.
+Ces travaux ont Ã©tÃ© valorisÃ©s par des publications dont les rÃ©fÃ©rences sont donnÃ©es.
 
 \subsection{VÃ©rification de programmes par 
   preuve automatique}\label{sub:verif}
@@ -301,7 +301,7 @@ du $n$-cube ($\{0,1\}^n$) dans lui mÃªme et un mode opÃ©ratoire
 en synchrone ou en asynchrone.
 %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$ est  
+globale ou locale, souvent basÃ©s sur le fait que  $f$ 
 est un opÃ©rateur contractant dans un espace.
 
 Les modes  asynchrones ont une dynamique avec plus de libertÃ© 
@@ -316,7 +316,7 @@ J'ai formalisÃ© le mode des
 qui combine synchronisme et asynchronisme.
 Intuitivement, les n{\oe}uds qui pourraient engendrer des cycles dans 
 les itÃ©rations asynchrones sont regroupÃ©s dans une mÃªme classe. 
-Les noeuds Ã  l'intÃ©rieur celle-ci seront itÃ©rÃ©s de maniÃ¨re 
+Les noeuds Ã  l'intÃ©rieur de celle-ci seront itÃ©rÃ©s de maniÃ¨re 
 synchrone et les itÃ©rations asynchrones sont conservÃ©es entre les groupes. 
 Pour gommer les  diffÃ©rences entre les n{\oe}uds d'une mÃªme classe
 lorsqu'ils  sont vus depuis des n{\oe}uds extÃ©rieurs, j'ai dÃ©fini le 
@@ -335,7 +335,7 @@ et mixes prenant de plus en compte les dÃ©lais.
 Des mÃ©thodes de simulation basÃ©es sur des stratÃ©gies et des dÃ©lais gÃ©nÃ©rÃ©s alÃ©atoirement avaient dÃ©jÃ  Ã©tÃ© prÃ©sentÃ©es.
 Cependant, comme ces implantations ne sont pas exhaustives, elles ne sont intÃ©ressantes que lorsqu'elles fournissent un contre-exemple. 
 Lorsqu'elles exhibent une convergence,  
-cela ne permet que donner une intuition de convergence, pas  une preuve.
+cela ne permet que de donner une intuition de convergence, pas  une preuve.
 Autant que je sache, aucune dÃ©marche de preuve formelle automatique 
 de convergence n'avait jamais Ã©tÃ© Ã©tablie. 
 
@@ -360,7 +360,7 @@ Ceci a Ã©tÃ© synthÃ©tisÃ© dans~\cite{Cou10:ir}
 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
-une caractÃ©risation des fonctions $f$ de $\{0,1\}^n$ dans lui mÃªme 
+une caractÃ©risation des fonctions $f$ de $\{0,1\}^n$ dans lui-mÃªme 
 dont les itÃ©rations sont chaotiques selon Devanney pour un  mode donnÃ©: 
 il est nÃ©cessaire et suffisant que son graphe des itÃ©rations soit
 fortement connexe.  
@@ -399,7 +399,7 @@ Nous avons entrepris d'Ã©tudier ces itÃ©rations et plus particuliÃ¨rement leur
 apprentissage par un rÃ©seau de neurones. 
 J'ai notamment pu contribuer Ã  montrer pratiquement qu'il
 est trÃ¨s difficile (voir impossible) de les prÃ©dire 
-Ã  l'aide de tels outils d'intelligence artificielle~\cite{bcgs12:ij}.
+Ã  l'aide d'outils d'intelligence artificielle~\cite{bcgs12:ij}.
 
 
 Nous nous sommes attaquÃ©s parallÃ¨lement 
@@ -423,7 +423,7 @@ Quand on sait que trouver un chemin hamiltonien (comme Ã©tudiÃ© dans la partie p
 $n$-cube revient Ã  trouver un code 
 de Gray dans un mot de $n$-bits. Les compÃ©tences acquises lors du travail 
 sur les chemins hamiltoniens ont ainsi pu Ãªtre rÃ©utilisÃ©es et approfondies.
-Les rÃ©sultats pratiques quant Ã  l'utilisation de ces codes ce sont cependant 
+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}.
 
@@ -432,7 +432,7 @@ Au commencement de ce travail, notre Ã©quipe disposait d'un gÃ©nÃ©rateur de nomb
 pseudo-alÃ©atoires (PRNG) 
 basÃ© sur une seule fonction dont nous avions prouvÃ© la chaoticitÃ© 
 des itÃ©rations, Ã  savoir la nÃ©gation boolÃ©enne vectorielle. Cependant pour 
-rÃ©ussir les tests statistiques dÃ©diÃ©es aux PRNGs, il Ã©tait nÃ©cessaire d'itÃ©rer 
+rÃ©ussir les tests statistiques dÃ©diÃ©s aux PRNGs, il Ã©tait nÃ©cessaire d'itÃ©rer 
 un grand nombre (arbitraire) de fois cette fonction entre deux 
 sorties. 
 
@@ -456,9 +456,10 @@ des fonctions avec une telle caractÃ©ristique~\cite{chgw+14:oip}.
 De plus, je me suis attachÃ© Ã  montrer l'importance 
 de l'Ã©quilibrage du chemin hamiltonien Ã  enlever. 
 
-Les gÃ©nÃ©rateurs produits ont d'abord Ã©tÃ© Ã©valuÃ©s avec succÃ¨s
-ont confirmÃ© la qualitÃ© de 
-ceux-ci~\cite{bcgw11:ip,chgw+14:onp,chgw+14:oip} en se confrontant Ã  
+ 
+Les qualitÃ©s statistiques des gÃ©nÃ©rateurs produits  
+ont Ã©tÃ© Ã©valuÃ©s avec succÃ¨s
+~\cite{bcgw11:ip,chgw+14:onp,chgw+14:oip} en se confrontant Ã  
 des batteries de tests telles que Die-Hard, NIST, TestU01.
 
 Plus rÃ©cemment, nous avons entrepris de trouver des bornes du temps d'arrÃªt
@@ -466,7 +467,7 @@ 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
-dans un  international.
+dans un  journal international.
 
 Enfin j'ai Ã©tÃ© sollicitÃ© pour encadrer une thÃ¨se sur l'implantation 
 de gÃ©nÃ©rateurs de nombre pseudo-alÃ©atoires Ã  bases d'itÃ©rations 
@@ -506,17 +507,17 @@ pertinente les fonctions Ã  itÃ©rer soit pour garantir une robustesse
 Ã©levÃ©e~\cite{bcfg12b:ip,bcfg+13:ip} soit pour masquer l'information dans le mÃ©dia 
 et Ãªtre le moins dÃ©tectable possible~\cite{bcfg12a:ip}. 
 
-D'autre mÃ©thodes de watermarking ont Ã©tÃ© investies 
+D'autre mÃ©thodes de watermarking ont Ã©tÃ© investies, 
 particuliÃ¨rement celles basÃ©es sur la Quantization Index Modulation (QIM), mÃ©thodes 
 Ã©tant supposÃ©es comme les plus robustes. Mes principales contributions 
-sur ce travail --en collaboration avec Dr R. Darzy de l'UniversitÃ© Antonine au Liban
+sur ce travail --en collaboration avec Dr R. Darazy de l'UniversitÃ© Antonine au Liban
 et en co-encadrant le stage de M2 de Ahmad Bittar--,
 ont Ã©tÃ© 
 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  international.
+Le travail est en cours de soumission dans un  journal international.
 
 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
@@ -537,24 +538,24 @@ fournie et complexitÃ©.
 
 \subsection{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 utilse ce genre
+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 
 suffit de comparer leurs empreintes (gÃ©nÃ©ralement de taille plus rÃ©duite).  
 Une telle fonction doit induire de grandes variations dans l'empreinte 
-lorsque l'entrÃ©e varie mÃªme trÃ¨s peu. C'est l'effet avalanche. Cet 
+lorsque l'entrÃ©e varie mÃªme trÃ¨s peu. C'est l'effet avalanche. Cette 
 condition fait penser Ã  la forte sensibilitÃ© aux conditions initiales
 d'une fonction chaotique.
 
-Fort de nos compÃ©tences sur les fonctions dont les itÃ©rations sont 
+Forts de nos compÃ©tences sur les fonctions dont les itÃ©rations sont 
 chaotiques, nous avons proposÃ© de nouvelles fonctions de hachage.
 Celles-ci combinent des outils classiques utilisÃ©s dans les
 fonctions de hachage 
 usuelles et des itÃ©rations de systÃ¨mes dynamiques discrets Ã©tudiÃ©s 
-au prÃ©allable.
+au prÃ©alable.
 Nous avons prouvÃ© que ces fonctions sont rÃ©sistantes Ã  la 
-seconde prÃ©image. Leur complexitÃ©, polynomiale en la taille 
+seconde prÃ©-image. Leur complexitÃ©, polynomiale en la taille 
 du message et la taille de l'empreinte, a Ã©tÃ© Ã©valuÃ©e et correspond
-Ã  ce qu'on attend d'une telle fonction.
+Ã  ce que l'on attend d'une telle fonction.
 Nous avons de plus vÃ©rifiÃ© statistiquement le critÃ¨re d'avalanche.
 Ces rÃ©sultats ont Ã©tÃ© valorisÃ©s dans les publications~\cite{bcg11:ip,bcg12:ij}.
 
@@ -564,18 +565,18 @@ Ces rÃ©sultats ont Ã©tÃ© valorisÃ©s dans les publications~\cite{bcg11:ip,bcg12:i
 \subsection{Application Ã  la gÃ©nomique}\label{sub:gen}
 
 Ayant acquis des compÃ©tences sur certaines structures de mathÃ©matiques 
-discrÃ¨tes (particuliÃ¨rement thÃ©orie des graphe, 
-relation d'Ã©quivalence,\ldots), j'ai pu contribuer en bio-informatique
+discrÃ¨tes (particuliÃ¨rement thÃ©orie des graphes, 
+relations d'Ã©quivalence,\ldots), j'ai pu contribuer en bio-informatique
 en les rÃ©appliquant notamment.
 
-Une de mes premiÃ¨re piste de travail a Ã©tÃ© de proposer une mÃ©thode automatique 
+Une de mes premiÃ¨res pistes de travail a Ã©tÃ© de proposer une mÃ©thode automatique 
 de construction d'un ensemble de gÃ¨nes communs (nommÃ©s core-gÃ©nome) 
 Ã  une famille de gÃ©nomes.
 La mÃ©thode s'appuie sur la construction du graphe de  similaritÃ©
 entre les gÃ¨nes quotientÃ© selon une relation d'Ã©quivalence pour en
-rÃ©duire sa taille. Chaque gÃ¨nes est assimilÃ© Ã  son reprÃ©sentant de
+rÃ©duire sa taille. Chaque gÃ¨ne est assimilÃ© Ã  son reprÃ©sentant de
 classe dans chaque gÃ©nome. Le core-gÃ©nome se dÃ©duit comme  l'intersection 
-de tous les gÃ©nome. Ceci a donnÃ© lieu aux 
+de tous les gÃ©nomes. Ceci a donnÃ© lieu aux 
 publications~\cite{acgs13:onp,akgcs+14:oip,acgm+14:ij}.
 
 L'approche prÃ©cÃ©dente souffrait de n'engendrer que des core-gÃ©nomes de (trop)
@@ -583,7 +584,7 @@ petits cardinaux. J'ai contribuÃ© notamment
 Ã  l'amÃ©lioration de la mÃ©thode en proposant une Ã©tape d'optimisation issue 
 d'une adaptation discrÃ¨te la mÃ©thode d'essaims particulaires~\cite{aagp+15:ip}.
 
-Tout 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 
 le doctorat de B. Alkindy.
 
 
@@ -607,20 +608,18 @@ du code de Gray Ã  l'aide d'une fonction basÃ©e sur la longueur des chemins
 Je pense ainsi rÃ©duire ce problÃ¨me Ã  un problÃ¨me d'optimisation et dÃ©gager 
 une dÃ©marche de gÃ©nÃ©ration, comme je l'ai fait en bio-informatique.
  
-Jusqu'Ã  prÃ©sent, la production de codes de Gray Ã©quilibrÃ©s adaptÃ©s Ã  ces 
-contextes d'utilisation 
-dans l'Ã©tape de construction de fonctions chaotiques pour la gÃ©nÃ©ration 
-de nombres pseudo alÃ©atoire bute sur des problÃ¨mes d'explosion combinatoire:
+Jusqu'Ã  prÃ©sent, la production de codes de Gray Ã©quilibrÃ©s pour la gÃ©nÃ©ration 
+de nombres pseudo-alÃ©atoires bute sur des problÃ¨mes d'explosion combinatoire:
 les seuls algorithmes connus rÃ©pondant Ã  ce problÃ¨me nÃ©cessitent a priori
 plus de $10^{36}$ Ã©valuations pour $n=8$. 
 Il n'est ainsi pas raisonnable de mettre en  
 pratique ce genre d'approche lorsque chacune de ces Ã©valuations prend 1s.
 On peut peut-Ãªtre
-se contenter de code ``presque'' Ã©quilibrÃ©s , Ã  dÃ©faut de pouvoir 
+se contenter de codes ``presque'' Ã©quilibrÃ©s , Ã  dÃ©faut de pouvoir 
 trouver ceux qui seront Ã©quilibrÃ©s.
 Je propose d'investiguer  
 dans cette thÃ©matique en exploitant des approches itÃ©ratives permettant 
-d'obtenir des optimums locaux et trouver ainsi des codes presque Ã©quilibrÃ©s.x
+d'obtenir des optimums locaux et trouver ainsi des codes presque Ã©quilibrÃ©s.
 
 
  
@@ -629,7 +628,7 @@ d'obtenir des optimums locaux et trouver ainsi des codes presque Ã©quilibrÃ©s.x
 La dÃ©marche actuelle de gÃ©nÃ©ration de nombres pseudo-alÃ©atoires
 consiste Ã  marcher dans une partie d'un $n$-cube en choisissant son chemin
 Ã  l'aide d'un gÃ©nÃ©rateur fourni en entrÃ©e. Or ces gÃ©nÃ©rateurs sont tous des 
-fonctions de $\{0,1\}^n$ dans lui mÃªme. Cette approche
+fonctions de $\{0,1\}^n$ dans lui-mÃªme. Cette approche
 semble pouvoir se rÃ©Ã©crire
 comme un produit synchrone de deux automates.
 L'intÃ©rÃªt d'une telle rÃ©Ã©criture est qu'on pourrait exploiter 
@@ -646,9 +645,9 @@ Jusqu'Ã  prÃ©sent, une seule expÃ©rimentation d'implantation de nos gÃ©nÃ©rateur
 sur des dispositifs physiques comme les FPGAs a Ã©tÃ© rÃ©alisÃ©e. Celle-ci 
 s'est faite automatiquement Ã  l'aide de l'outil Matlab. Si le code engendrÃ©
 sur le circuit est bien une implantation fidÃ¨le Ã  la spÃ©cification,
-il n'en est pas pour autant efficace: le nombre de bits gÃ©nÃ©rÃ© par surface
-est plutÃ´t faible. Nous allons exploiter les meilleurs dÃ©marches mises en 
-exergue lors de la rÃ©daction d'un Ã©tat de l'art exhaustif sur les PRNG 
+il n'en est pas pour autant efficace: le nombre de bits gÃ©nÃ©rÃ©s par surface
+est plutÃ´t faible. Nous allons exploiter les meilleures dÃ©marches mises en 
+exergue lors de la rÃ©daction d'un Ã©tat de l'art exhaustif sur les PRNGs 
 implantÃ©s sur FPGA pour produire du code optimisÃ©. 
 Je prÃ©vois de rÃ©aliser ceci dans la thÃ¨se de M. Bakiri, en cours.
 
@@ -726,13 +725,13 @@ Ceci se rÃ©alisera notamment au travers du doctorat de Y. Fadil.
 \newpage
 \section{Insertion dans l'Ã©quipe de recherche} 
 
-La thÃ©matique prinsipale de ma thÃ¨se et du post doctorat qui a suivi 
+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
-autours des SDDs et donc de l'analyse numÃ©rique plus gÃ©nÃ©ralement.
+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Ã©capitules quelques Ã©lÃ©ments permettant 
+ce qui suit rÃ©capitule quelques Ã©lÃ©ments permettant 
 d'apprÃ©cier mon insertion dans l'Ã©quipe AND
 
 
@@ -740,8 +739,8 @@ d'apprÃ©cier mon insertion dans l'Ã©quipe AND
 
 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 soummission rÃ©sumant un travail en collaboration 
+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Ã©.
 
 Je suis membre du GDR codes et cryptographie. J'ai Ã  ce titre 
@@ -764,13 +763,13 @@ comme \og international conference on evolving internet \fg{}
 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 internationnaux 
+J'ai reviewÃ© des articles pour les journaux internationaux 
 suivants: The computer Journal, Springer Multimedia Tool and application, 
 Springer Annals in Telecommunication\ldots
 
 
 Je suis rÃ©guliÃ¨rement membre de jury des Ã©preuves TIPE, Ã©preuves communes
-Ã  90 concours d'ingÃ©nieurs (sessions 2012 et  2015) et fournit  
+Ã  90 concours d'ingÃ©nieurs (sessions 2012 et  2015) et fournis  
 Ã  chaque session des sujets scientifiques pour l'Ã©preuve.
 
 
@@ -781,7 +780,7 @@ Je suis rÃ©guliÃ¨rement membre de jury des Ã©preuves TIPE, Ã©preuves communes
 \subsection{ThÃ¨se d'universitÃ©}
 
 Je co-encadre (Ã  hauteur de 40\%) avec Michel Salomon (40\%) et  
-Jacques M. Bahi  (20\%) le doctorat de Bassam Al Kindy
+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.	
@@ -790,7 +789,7 @@ internationales.
 
 
 Je co-encadre (Ã  hauteur de 50\%) avec Christophe Guyeux (50\%)
-le doctorat de  Youssra Fadili
+le doctorat de  Youssra Fadil
 sur
 l'Ã©tude du comportement des outils d'intelligence artificielle
 face Ã  des dynamiques complexes.	
@@ -807,7 +806,7 @@ l'implÃ©mentation matÃ©rielle de gÃ©nÃ©rateurs de nombres pseudo-alÃ©atoires bas
 Le doctorat a commencÃ© en septembre 2014 et devrait Ãªtre soutenu en 
 aout 2017.	
 Ce travail de thÃ¨se a donnÃ© lieu Ã  1 publication dans un journal international 
-en cours de soummission.
+en cours de soumission.
 
 \subsection{Master 2 recherche}
 
@@ -819,8 +818,8 @@ sur
 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 soummission (en rÃ©vision mineure).
+Ce travail de Master a donnÃ© lieu Ã  1 publication dans un journal international 
+en cours de soumission (en rÃ©vision mineure).
 
 
 
@@ -838,7 +837,7 @@ Le stage a commencÃ© le 01 avril 2014 et a Ã©tÃ© soutenu le 31 aoÃ»t 2014.
 Je co-encadre (Ã  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'optimisatin de la durÃ©e de vie 
+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. 
 
@@ -850,8 +849,8 @@ Le stage a commencÃ© le 01 avril 2015 et sera soutenu le 31 aoÃ»t 2015.
 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
-annÃ©e de licence ou de DUT jusqu'en senconde annÃ©e de Master. Depuis mon
-recrutement comme MdC, j'ai recentrÃ© mes enseignements autours 
+annÃ©e de licence ou de DUT jusqu'en seconde annÃ©e de Master. Depuis mon
+recrutement comme MdC, j'ai recentrÃ© mes enseignements autour 
 de mes thÃ©matiques de recherche, Ã  savoir essentiellement les 
 mathÃ©matiques discrÃ¨tes.
 Je suis de plus le coordinateur des enseignements de mathÃ©matiques 
@@ -859,12 +858,12 @@ au dÃ©partement d'informatique de l'IUT BM.
 
 J'ai Ã©tÃ© membre Ã©lu du conseil d'institut de l'IUT BM 
 de 2011 Ã  2014. A ce titre j'ai participÃ© Ã  la vie administrative de l'IUT, 
-aux commissions de recrutement d'enseignants et  d'enseignant-chercheurs\ldots
+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 spetembre 2014, je suis le responsable du parcours TeProw
-de la Licence Pro Conception des Application Multi-tiers localisÃ© 
+Depuis septembre 2014, je suis le responsable du parcours TeProw
+de la Licence Pro Conception des Application Multi-tiers localisÃ©e 
 Ã  l'IUT BM. Cette licence 
 a aussi un parcours Ã  l'UFR ST. Je coordonne toute l'organisation 
 de cette licence avec mon collÃ¨gue de BesanÃ§on. 
@@ -1084,7 +1083,7 @@ 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.
+Ã  Nice en novembre 2014;
 
 \item Ã  la journÃ©e \og Advances in Mobile Technologies Day\fg{}  par l'UniversitÃ© Antonine  (Liban) en mai 2013;
 
