Sites Inria

Il y a 17 Résultats avec le mot clé : "Thèse"

De gauche à droite : Quang Khanh Ngoc Duong et Michael Döhler, respectivement lauréats du second et premier Prix de thèse de la Fondation Rennes 1

Prix de thèse

Prix de thèse Fondation Rennes 1 pour deux doctorants du centre

Nathalie Lacaux - 15/03/2012

Michael Döhler, doctorant sein de l'équipe I4S, et Quang Khanh Ngoc Duong, doctorant chez METISS, sont respectivement lauréats du premier et du second Prix de thèse de la Fondation Rennes 1 pour l'école doctorale Matisse.

Mots-clés :

Accueil > Centre > Rennes > Actualités > Prix de thèse Fondation Rennes 1 pour deux doctorants du centre

Lire la suite

Soutenance de thèse

Soutenance de thèse d'Olivier Sanders (Cascade)

24/09/2015

Les nouvelles technologies ont profondément modifié nos usages mais ne sont pas que synonymes d’avantages pour leurs utilisateurs. Elles ont en effet de lourdes conséquences sur notre vie privée, ce qui est bien souvent sous-estimé. Les utilisateurs de moyens de paiement électronique ne réalisent par exemple pas toujours que leurs transactions peuvent révéler des informations particulièrement intimes à leur sujet, telles que leur localisation, leur état de santé ou mêmes leurs croyances.

Lieu : Ecole Normale Supérieure - Amphi Rataud - 45 rue d'Ulm - Paris -- 14:30

Intervenant(s) : Olivier SANDERS (EPI Cascade)

Mots-clés :

Accueil > Centre > Paris > Agenda > Soutenance de thèse d'Olivier Sanders (Cascade)

lire la suite

Soutenance de thèse

Soutenance de thèse de Kailiang Ji (Deducteam)

25/09/2015

Le model checking est une technique de vérification automatique de propriétés de correction de systèmes finis. Normalement, les outils de model checking ont deux caractéristiques remarquables : ils sont automatisés et ils produisent un contre-exemple si le système ne satisfait pas la propriété. La Déduction Modulo est une reformulation de la logique des prédicats où certains axiomes---possiblement tous---sont remplacés par des règles de réécriture.

Lieu : 10h00 Salle 1006 - Bât. "Sophie-Germain" - Paris Diderot - 8, place Aurélie Nemours, 75013 Paris

Intervenant(s) : Kailiang Ji (Deducteam)

Mots-clés :

Accueil > Centre > Paris > Agenda > Soutenance de thèse de Kailiang Ji (Deducteam)

lire la suite

Soutenance de thèse

Soutenance de thèse de Ali Assaf (Deducteam)

28/09/2015

L’objectif de cette thèse est de rendre les preuves formelles plus universelles en les exprimant dans un cadre logique commun. Plus précisément nous utilisons le lambda-Pi-calcul modulo réécriture, un lambda calcul équipé de types dépendants et de réécriture, comme langage pour définir des logiques et exprimer des preuves dans ces logiques.

Lieu : Inria, 23 avenue d'Italie, 75013 Paris. Salle: Orange (1 & 2)

Intervenant(s) : Ali Assaf (Deducteam)

Mots-clés :

Accueil > Centre > Paris > Agenda > Soutenance de thèse de Ali Assaf (Deducteam)

lire la suite

Soutenance de thèse

Soutenance de thèse Julien CRETIN

30/01/2014

Julien Cretin ( GALLIUM)

Lieu : 14:30 - room 227C - Paris 7 University - 16 rue Françoise Dolto - 75013 Paris

Mots-clés :

Accueil > Centre > Paris > Agenda > Soutenance de thèse Julien CRETIN

lire la suite

Soutenance de thèse

Soutenance de thèse de Sophie MOUFAWAD (ALPINES)

19/12/2014

Lieu : Université Pierre et Marie Curie (UPMC), Jussieu - 10h00 dans la salle 15.25.102

Intervenant(s) : Sophie MOUFAWAD (ALPINES)

Mots-clés :

Accueil > Centre > Paris > Agenda > Soutenance de thèse de Sophie MOUFAWAD (ALPINES)

lire la suite

Evènement grand public

Fête de la Science : "speed-meeting" mathématique

11/10/2014

Dans le cadre de la Fête de la Science, l’Institut Henri Poincaré ouvre ses portes au grand public le samedi 11 octobre 2014 après-midi.
Entre autres animations proposées par les sociétés savantes hébergées sur place, il y aura "Raconte-moi ta thèse !", un "speed-meeting" mathématique organisé par la FSMP de 14h30 à 16h30 entre des doctorant-e-s et le public.

Lieu : Institut Henri Poincaré

Mots-clés :

Accueil > Centre > Paris > Agenda > Fête de la Science : "speed-meeting" mathématique

lire la suite

Matthieu Dorier, lauréat du prix de thèse Gilles Kahn 2015 Matthieu Dorier, accessit du prix de thèse Gilles Kahn 2015

Prix - Thèse

Matthieu Dorier accessit Prix de thèse Gilles Kahn 2015, pour ses travaux au sein de l'équipe Kerdata

Nathalie Lacaux - 10/02/2016

L'un des deux accessits du prix de thèse Gilles Kahn 2015, décerné par la SiF et patronné par l'Académie des Sciences, vient d'être attribué à Matthieu Dorier, pour le travail qu'il a réalisé au sein de l'équipe-projet Kerdata au centre Inria Rennes Bretagne Atlantique, lors de son doctorat. Rencontre.

Mots-clés :

Accueil > Centre > Rennes > Actualités > Matthieu Dorier accessit Prix de thèse Gilles Kahn 2015, pour ses travaux au sein de l'équipe Kerdata

Lire la suite

Hafiz Ahmed - © Inria

Prix

Hafiz Ahmed obtient le prix de thèse du GdR MACS

31/03/2017

Hafiz Ahmed a effectué son doctorat au sein de l’équipe-projet Non-A (commune avec Centrale Lille, le CNRS et l'Université de Lille − sciences et technologies). Son travail vient d’être récompensé par le prix de thèse du GdR MACS, une structure d’animation scientifique de la communauté automatique - productique.

Mots-clés :

Accueil > Centre > Lille > Actualités > Hafiz Ahmed obtient le prix de thèse du GdR MACS

Lire la suite

Hafiz Ahmed - © Inria

Thèse Inria

Les huîtres : les futurs lanceurs d'alerte à la pollution

14/04/2015

Originaire de Dacca, la capitale du Bangladesh, Hafiz Ahmed étudie en France depuis son master. Il est à présent doctorant au sein de l’équipe-projet Non-A, Non-Asymptotic estimation for online systems (commune avec Centrale Lille, le CNRS et l'Université Lille1*), du centre Inria Lille - Nord Europe. Ses travaux consistent à développer des modèles pour l’étude du comportement d’huîtres dans des écosystèmes marins du Bassin d’Arcachon afin de repérer d’éventuelles perturbations de leurs cycles biologiques, qui pourraient être autant de signes d’une pollution de l’eau.

Mots-clés :

Accueil > Centre > Lille > Actualités > Les huîtres : les futurs lanceurs d'alerte à la pollution

Lire la suite

Haut de page

Suivez Inria