Département d'informatique de l'université de Rouen

Recherche

Les Séminaires d'Informatique Théorique

Ce séminaire a pour but d'animer la communauté des chercheurs qui s'intéressent de près ou de loin à l'informatique fondamentale et ses applications.

Le but de cette réunion hebdomadaire est de proposer des exposés, des groupes de travail ainsi que des discussions informelles sur les thématiques suivantes : Algorithmique du texte, Algorithmique, Bio-informatique, Combinatoire algébrique, Combinatoire énumérative, Combinatoire des mots, Cryptographie, Logique, Mathématiques discrètes, Physique combinatoire, Théorie des langages...

Vous trouverez ci-dessous le planning des séances.

Le séminaire est en partie financé via les projet régionaux MOUSTIC et ARTIQ.

Le projet MOUSTIC est un projet GRR/FEDER qui a participé au financement de près de 115 exposés et groupes de travail depuis Septembre 2016.

Si vous voulez être informé des évènements liés à ce séminaire, vous pouvez vous abonner à la liste de diffusion : https://sympa.univ-rouen.fr/sympa/admin/seminaire-informatique-theorique.

Financements:

 

http://www.litislab.fr/wp-content/uploads/2017/07/logo_moustic.png

 

 

Pour consulter les séances ayant eu lieu avant septembre 2018, vous pouvez vous référer au tableau ci-dessous. 

 

 

Doctorat à l'université de Rouen

Le département d'informatique accueille et forme chaque année plusieurs doctorants qui s'intègrent dans une des équipes du LITIS.

Certains étudiants se sont inscrits en thèse après un master ITA.

Le département permet aussi le co-encadrement de thèses avec d'autres établissements universitaires.

La recherche

XXX Page en construction XXX

Thématique:

Manipulation de l’information au moyen de modèles algébriques. Comprendre au niveau fondamental comment l’information est stockée et manipulée.

Approche:

  • Étude structurelle et combinatoire des modèles algébriques (mots, monoïde libre, polynômes) ; classification
  • Étude algorithmique effective (automates finis, systèmes de calcul symbolique)
  • Extension des modèles existants et construction de nouveaux modèles (automates d’arbres, algèbre de Hopf combinatoire, information quantique)

Mots-clés

  • combinatoire enumérative,
  • combinatoire algébrique,
  • combinatoire des mots,
  • théorie des langages,
  • automate fini,
  • calcul symbolique

Domaines d’application

  • Systèmes d’informations, Sécurité, Cryptographie ;
  • Analyse automatique d’algorithme ; 
  • Compression de données, codes correcteurs d’erreur ;
  • Physique statistique, information quantique, algèbre, théorie des représentations.

Collaborations internationales

  • Projet Sage : U. Seattle (USA), UC Davis (USA), U. Catalogne (Espagne), U Alger (Algérie)
  • Université Palerme (Théorie des codes) 
  • U Odense Danemark (conférence BFCA2008, BFCA2009)
  • Projet CMEP (Interaction entre l’informatique et la Combinatoire), Alger (2009-2012)
  • P.N.R. (C.E.R.I.S.T.) Algorithmique des automates d'arbre, noyaux rationnels et noyaux de graphes en vue d'apprentisage. Université Amar Télidji-Laghouat. Algérie.
 

Projets nationaux 

  • Projet ANR HopfCombOp (Algèbres de Hopf Combinatoires et Opérade) ; Marne-la-Vallée, Strasbourg, Lyon (2006-2009)
  • Projet ANR PhysComb (Physique et Combinatoire), Villetaneuse, Marne-la-Vallée 2009-2012
  • Projet ANR CARMA ( CombinatoireAlgébrique,Résurgence,MoulesetApplications) 2013-2016
 

Réseaux de Recherche

GDR IM, groupes de travail :
  • COMATEGE (Combinatoire Algorithmique du Texte et Génome)
  • CombAlg (Combinatoire Algébrique)
  • SDA2 (Système Dynamique, Automates et Algorithmique)
  • ALEA
  • Calcul formel
  • Codage et cryptographie


{jcomments on}