L'IUF a pour mission de favoriser le développement de la recherche de haut niveau dans les universités et de renforcer l’interdisciplinarité. Il a été créé par le décret du 26 août 1991, sous la forme d’un service du ministère de l’enseignement supérieur.
Les enseignants-chercheurs qui y sont nommés sont distingués pour l’excellence de leur activité scientifique, attestée par leur rayonnement international.

Membres actifs

Sébastien Tixeuil

Sébastien Tixeuil

Sébastien Tixeuil, membre senior promotion 2022, est Professeur à Sorbonne Université depuis 2007 (Université Pierre et Marie Curie avant 2017)
Il est lauréat au titre de la chaire fondamentale «Réseaux réalistes, omniprésents et mobiles tolérants aux attaques Byzantines».
La sécurité des informations dans le monde numérique actuel est de plus en plus souvent mise à mal, en raison de bugs, de vol de clés cryptographiques, de micrologiciel compromis, etc. Garantir l'intégrité des informations sans recourir à la cryptographie nécessite de reconsidérer les bases des attaques Byzantines, car les hypothèses fondamentales dans ce domaine ne s'appliquent plus aux réseaux sans fil réels, omniprésents et mobiles.
L'objectif du projet est de poser les fondations d'une tolérance aux pannes Byzantines dans les réseaux modernes, permettant de nouvelles applications et usages.

Christine Tasson

Christine Tasson

Membre junior promotion 2021, Christine Tasson est professeure à Sorbonne Université, membre de l’équipe Algorithmes, Programmes et Résolution du LIP6.
La sémantique des langages de programmation a pour but de donner une signification précise aux programmes, indépendamment de leur syntaxe. Cette approche appartient à la famille des méthodes formelles et est utilisée pour prouver l’équivalence de programmes, mais aussi la correction des systèmes de types et des compilateurs. Je travaille plus particulièrement sur la sémantique mathématique, aussi appelée dénotationnelle ou catégorique. La sémantique permet de partir d’un langage de programmation, et de mettre en évidence les structures mathématiques qui apparaissent dans tous ses modèles. L’intérêt de la sémantique réside également dans l’introduction de nouveaux langages de programmation, logiques et outils inspirés par les structures mathématiques qui apparaissent dans certains modèles.

Bruno Escoffier

Bruno Escoffier

Membre junior promotion 2019, Bruno Escoffier est professeur à Sorbonne Université, responsable de l’équipe Recherche Opérationnelle du LIP6 et co-responsable de l’axe ‘ Théorie et outils mathématiques pour l’informatique’ du laboratoire. Il travaille sur la conception et l’analyse d’algorithmes pour des problèmes d’optimisation discrète, notamment sur la complexité algorithmique, l’étude d’algorithmes approchés et paramétrés. Dans le cadre de son projet à l’IUF, il vise à explorer des situations où les données d’un problème sont susceptibles d’évoluer au cours du temps, en déterminant dans quelle mesure il est possible de concevoir au cours d’un tel processus dynamique des trajectoires de solutions optimisant certains objectifs et/ou respectant certaines contraintes.

Damien Vergnaud

Damien Vergnaud

L'aléatoire est un élément essentiel de la cryptographie. Dans certains cas, les protocoles probabilistes permettent d'effectuer des tâches qui sont impossibles déterministiquement. Dans d'autres, ils sont plus efficaces ou plus simples que les algorithmes déterministes. Les cryptographes supposent souvent que les utilisateurs ont un accès illimité à de l'aléa parfait, mais cette hypothèse est irréaliste.
L'objectif de recherche de Damien Vergnaud, membre junior promotion 2017, est d'approfondir la connaissance de l'interaction entre l'aléa et la cryptographie et d'étudier la sécurité de protocoles cryptographiques à différents niveaux (algorithmique, analyse de constructions existantes et conception de nouveaux protocoles). Notre approche sera théorique et pratique en fournissant des preuves mathématiques de sécurité pour concevoir des protocoles parmi les plus efficaces connus.

Anciens membres

Antoine Miné

Antoine Miné

Le programme de recherche d'Antoine Miné, promotion junior 2016, vise à améliorer la qualité des logiciels informatiques par le développement de nouvelles méthodes pour l'analyse statique sémantique, automatique, sûre et efficace. Il souhaite étendre et appliquer le cadre de l'interprétation abstraite, qui a déjà permis le développement d'analyseurs effectifs. Ses axes principaux de recherche sont l'extension à l'analyse de programmes concurrents, de plus en plus répandus mais difficiles à concevoir correctement et à analyser; Les iens et interactions entre interprétation abstraite et domaines connexes (model-checking, programmation par contraintes) ; le développement d'une plate-forme d'analyse modulaire, ouverte, multi-langages et multi-propriétés pour l'expérimentation d'analyses novatrices.

Jean-Gabriel Ganascia

Jean-Gabriel Ganascia

Membre senior promotion 2015, Jean-Gabriel Ganascia, est professeur à Sorbonne Université, directeur de l’équipe ACASA du LIP6 et directeur Adjoint du Labex OBVIL. Spécialiste d’intelligence artificielle (ECCAI Fellow) et d’apprentissage machine, ses recherches portent aujourd’hui sur le versant littéraire des humanités numériques, sur la philosophie computationnelle et sur l’éthique des technologies de l’information et de la communication. Dans le cadre de sa nomination à l’institut universitaire de France, il compte approfondir ses liens avec les équipes de littérature de l’université Paris-Sorbonne dans le cadre du Labex OBVIL et avec le projet ARTFL de l’université de Chicago afin de poursuivre ses recherches sur la stylistique computationnelle, sur la détection de figures, par exemple de comparaisons, sur l’extraction des citations, des réutilisations et des réemplois, sur le repérage de reformulations, sur l’identification de topiques et sur la génétique textuelle.

Mohab Safey El Din

Mohab Safey El Din

Identifier les paramètres d'un système mécanique le dotant de propriétés motrices particulières, ou comment va évoluer une cellule biologique dans un environnement donné, ou les zones de stabilité de systèmes dynamiques; tous ces problèmes peuvent se modéliser par des systèmes polynomiaux pour lesquels on cherche des informations sur l'ensemble des solutions réelles.
Mohab Safey El Din, membre junior promotion 2012, travaille sur le problème fondamental de la résolution de ces systèmes, au sein de l'équipe PolSys du LIP6, commune avec INRIA. Il privilégie l'usage de techniques algébriques relevant du Calcul Formel pour les résoudre de manière exacte. La plupart des problèmes algorithmiques dans ce contexte sont de complexité exponentielle en le nombre de variables. L'objectif est donc le développement d'algorithmes asymptotiquement optimaux et d'implantations conciliant exactitude et efficacité pratique afin de les confronter aux applications.

Matthieu Cord

Matthieu Cord

Matthieu Cord, a été membre junior promotion 2009, est professeur à Sorbonne Université et membre junior de l’Institut Universitaire de France.
Il a obtenu son diplôme de doctorat en traitement d’images à l’université de Cergy en 1998. Il a ensuite fait un an de post-doctorat à la Katholieke Universiteit Leuven en Belgique, avant de rejoindre le laboratoire ETIS comme maître de conférences. Il a reçu sa HDR en 2004, puis a passé deux ans en délégation CNRS. Il a été nommé professeur des universités à l’UPMC en 2006, et à l’IUF en 2009 comme membre junior.
Il effectue sa recherche au sein de l’équipe MALIRE du LIP6. Ses activités de recherche concernent le traitement des images, la vision artificielle et la reconnaissance des formes, principalement appliqués à l'analyse et à la représentation du contenu visuel pour l’indexation de données images et multimédia.
Il est impliqué dans plusieurs projets de recherche français (ANR, CNRS) et internationaux, en Europe (FP6, FP7, NoE et IP) et bilatéraux avec Singapour et le Brésil. Il participe à l’animation de la recherche au sein du GdR ISIS et d’ISPRS. Il est également l’auteur de près d’une centaine de publications scientifiques dont 15 articles de revues internationales.

Guy Pujolle

Guy Pujolle

Guy Pujolle, a été membre senior promotion 2009, est professeur à Sorbonne Université et membre de l’Institut Universitaire de France. Il est également professeur honoris causa de l’Université de Pékin (BUPT). Il a été professeur invité de nombreuses universités dont NCSU, Rutgers, Stanford et UQAM.
Guy Pujolle est le représentant français au comité technique « réseau » de l’IFIP. Il est éditeur dans de nombreuses revues internationales dont ACM/Journal of Network Management, Telecommunication Systems, WINET (Wireless Networks) et éditeur en chef de Annals of Telecommunications. Il est également auteur de plus de 300 publications scientifiques et d'une vingtaine d'ouvrages, en particulier "Les Réseaux" (Eyrolles) pour lequel il a reçu le prix Roberval du meilleur livre scientifique de l’année 1995. Il a été à l’origine de différentes avancées dans le domaine des architectures de réseaux et il a mené le premier test mondial d’un réseau à un Gbit/s.
Guy Pujolle a reçu le prix Seymour Cray en 1991 pour l'ensemble de ses travaux. Il est co-fondateur des sociétés QoSMOS, Ucopia, Ginkgo-Networks, Virtuor, EtherTrust et Green Communications.

Mentions légales
Carte du site