Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Paris-Saclay (ComUE) (24)
  • Université Grenoble Alpes (ComUE) (13)
  • Cachan, Ecole normale supérieure (12)
  • Grenoble (12)
  • Paris, CNAM (12)
  • Rennes 1 (11)
  • Sorbonne Paris Cité (10)
  • Paris 7 (9)
  • Paris Est (6)
  • Paris 6 (5)
  • Paris Sciences et Lettres (5)
  • Université de Lorraine (5)
  • Bordeaux (4)
  • Palaiseau, Ecole polytechnique (4)
  • Paris 11 (4)
  • Toulouse 3 (4)
  • Université Côte d'Azur (ComUE) (4)
  • Lyon (3)
  • Montpellier (3)
  • Sorbonne université (3)
  • Clermont-Ferrand 2 (2)
  • Orléans (2)
  • université Paris-Saclay (2)
  • Artois (1)
  • Besançon (1)
  • Bordeaux 1 (1)
  • Brno University of Technology (MAIS) (1)
  • CentraleSupélec (1)
  • Châtenay-Malabry, Ecole centrale de Paris (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Institut polytechnique de Paris (1)
  • Lille 1 (1)
  • Limoges (1)
  • Lorient (1)
  • Palaiseau, École nationale supérieure de techniques avancées (1)
  • Paris 9 (1)
  • Paris, Ecole normale supérieure (1)
  • Pau (1)
  • Prove & Run (1)
  • Radboud universiteit Nijmegen (1)
  • Rennes, Agrocampus Ouest (1)
  • Rennes, École normale supérieure (1)
  • Strasbourg (1)
  • Toulouse, ISAE (1)
  • Universidad de la República (Montevideo) (1)
  • Università degli studi (Bologne, Italie) (1)
  • Université Abdelhamid Mehri - Constantine 2 (Constantine, Algérie) (1)
  • Université Grenoble Alpes (1)
  • Université M'hamed Bougara de Boumerdès (Algérie) (1)
  • Université de Paris (2019-....) (1)
  • Université de Sherbrooke (Québec, Canada) (1)
  • Université normale de la Chine de l'Est (Shanghai) (1)
  • Versailles-St Quentin en Yvelines (1)
  • Warsaw, Uniwersytet Warszawski (1)
  • École Nationale des Sciences de l'Informatique (La Manouba, Tunisie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (150)
  • Biologie Santé (2)
  • Informatique et Télécommunications (2)
  • Informatique. Informatique fondamentale (2)
  • Mathématiques et Informatique (2)
  • Bioinformatique (1)
  • Electronique (STIC) (1)
  • Informatique et télécommunications (1)
  • Informatique fondamentale (1)
  • Informatique, données, IA (1)
  • Informatique. Modélisation et vérification (1)
  • InformatiqueInformatique (1)
  • Mathématiques appliquées et informatique (1)
  • Mathématiques et Applications (1)
  • Mathématiques et informatique (1)
  • Mathématiques. Logique et fondements de l'informatique (1)
  • Mécanique, génie mécanique, génie civil (1)
  • Physique. Astronomie, Astrophysique (1)
  • Sciences de l'environnement (1)
  • Sciences de l'information et de la communication. Informatique (1)
  • Sciences de la vie (1)
  • Sciences et techniques (1)
  • Sciences. Mathématiques appliquées (1)
  • Sociologie (1)
  • Stic (1)
  • Traitement du signal et des images (1)
  • Vision pour la Robotique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (25)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (23)
  • École doctorale Informatique, télécommunications et électronique de Paris (14)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (10)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (8)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (7)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (5)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (5)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (5)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (4)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (4)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (4)
  • MATISSE (3)
  • MATHSTIC (2)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (2)
  • École doctorale INTERFACES : approches interdisciplinaires, fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (2)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (2)
  • École doctorale Sciences mathématiques de Paris centre (2)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (2)
  • École doctorale en Informatique et Mathématiques de Lyon (2)
  • Ecole doctorale Informatique de Paris-Sud (1)
  • I2S - Information, Structures, Systèmes (1)
  • Informatique, télécommunications et électronique de Paris (1)
  • SCIENCES MATHEMATIQUES DE PARIS CENTRE (1)
  • Sciences Chimiques et Biologiques pour la Santé (1)
  • Sciences Chimiques et Biologiques pour la Santé (Montpellier ; Ecole Doctorale ; 2015-....) (1)
  • École Doctorale de Biologie Moléculaire Intégrative et Cellulaire (Lyon) (1)
  • École doctorale Astronomie et astrophysique d'Île-de-France (Meudon, Hauts-de-Seine ; 1992-....) (1)
  • École doctorale Aéronautique-Astronautique (Toulouse) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences de la matière (Rennes) (1)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (1)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (1)
  • École doctorale Sciences et Ingénierie, Matériaux, Modélisation et Environnement (Champs-sur-Marne, Seine-et-Marne) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (1)
  • École doctorale Sciences humaines et sociales : cultures, individus, sociétés (Paris ; 1994-2019) (1)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (1)
  • École doctorale de l'Institut polytechnique de Paris (1)
  • École doctorale de l’Ecole Polytechnique (Palaiseau, Essonne ; 2000-2015) (1)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (1)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (1)
  • École polytechnique (Palaiseau, Essonne) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (91)
  • français (86)
  • null (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Dubois Catherine (7)
  • Jensen Thomas (6)
  • Mauny Michel (6)
  • Filliâtre Jean-Christophe (5)
  • Blazy Sandrine (4)
  • Chailloux Emmanuel (4)
  • Delahaye David (4)
  • Wolff Burkhart (4)
  • Benzaken Véronique (3)
  • Delaune Stéphanie (3)
  • Haddad Serge (3)
  • Herbelin Hugo (3)
  • Monin Jean-François (3)
  • Monniaux David (3)
  • Pichardie David (3)
  • Rival Xavier (3)
  • Accart Hardin Thérèse (2)
  • Barkaoui Kamel (2)
  • Blanchet Bruno (2)
  • Conchon Sylvain (2)
  • Contejean Evelyne (2)
  • Cortier Véronique (2)
  • Di Cosmo Roberto (2)
  • Dowek Gilles (2)
  • Fribourg Laurent (2)
  • Genevès Pierre (2)
  • Girault Alain (2)
  • Kremer Steve (2)
  • Leroy Xavier (2)
  • Loulergue Frédéric (2)
  • Miller Dale (2)
  • Miné Antoine (2)
  • Stefani Jean-Bernard (2)
  • Villalba Martin (2)
  • Allix Olivier (1)
  • Amblard Maxime (1)
  • André Etienne (1)
  • Asperti Andréa (1)
  • Baboulin Marc (1)
  • Badonnel Rémi (1)
  • Badr Youakim (1)
  • Baelde David (1)
  • Bardin Sébastien (1)
  • Baudry Benoit (1)
  • Belala Faiza (1)
  • Ben Ghezela Henda (1)
  • Bensalem Saddek (1)
  • Berkani Karim (1)
  • Bernot Gilles (1)
  • Berry Gérard (1)
  • Bertot Yves (1)
  • Bhargavan Karthikeyan (1)
  • Blanqui Frédéric (1)
  • Bodeveix Jean-Paul (1)
  • Boldo Sylvie (1)
  • Bouajjani Ahmed (1)
  • Brauner Nadia (1)
  • Bronz Murat (1)
  • Bruillard Éric (1)
  • Cachera David (1)
  • Caillaud Benoît (1)
  • Calvin Christophe (1)
  • Castéran Pierre (1)
  • Cator Eric Alexander (1)
  • Chambart Pierre (1)
  • Cohen Cyril (1)
  • Comon-Lundh Hubert (1)
  • Couceiro Miguel (1)
  • Cousot Patrick (1)
  • Cousot Radhia (1)
  • Crolard Tristan (1)
  • Danos Vincent (1)
  • De Sainte-Catherine Myriam (1)
  • Dekeyser Jean-Luc (1)
  • Demange Delphine (1)
  • Derrien Steven (1)
  • Desainte-Catherine Myriam (1)
  • Diguet Jean-Philippe (1)
  • Ducournau Roland (1)
  • Dufourd Jean-François (1)
  • Durand Patrick (1)
  • Echenim Bertrand Mnacho (1)
  • Encrenaz Emmanuelle (1)
  • Faggian Claudia (1)
  • Falcou Joël (1)
  • Feautrier Paul (1)
  • Fernandez Jean-Claude (1)
  • Festor Olivier (1)
  • Filali Mamoun (1)
  • Fradet Pascal (1)
  • Frappier Marc (1)
  • Gasquet Olivier (1)
  • Gava Frédéric (1)
  • Genet Thomas (1)
  • Genitrini Antoine (1)
  • Gérard Étienne (1)
  • Giavitto Jean-Louis (1)
  • Giorgetti Alain (1)
  • Goubault-Larrecq Jean (1)
  • Gratadour Damien (1)
  • Groote Philippe de (1)
  • Hains Gaétan (1)
  • Halbwachs Nicolas (1)
  • Hameurlain Nabil (1)
  • Hermant Olivier (1)
  • Hirschowitz Tom (1)
  • Huet Gérard (1)
  • Hyvernat Pierre (1)
  • Iosif Radu (1)
  • Jeannet Bertrand (1)
  • Joloboff Vania (1)
  • Jouannaud Jean-Pierre (1)
  • Jourdan Jacques-henri (1)
  • Julliand Jacques (1)
  • Kang Ross (1)
  • Keller Chantal (1)
  • Kieffer Yann (1)
  • Koriche Frédéric (1)
  • Kosmatov Nikolaï (1)
  • Lagrue Sylvain (1)
  • Lakhnech Yassine (1)
  • Lalanda Philippe (1)
  • Laleau Régine (1)
  • Lamotte Jean-Luc (1)
  • Lanet Jean-Louis (1)
  • Lang Frédéric (1)
  • Laurent Olivier (1)
  • Lavest Jean-Marc (1)
  • Layaida Nabil (1)
  • Le Gall Pascale (1)
  • Le Gall Tristan (1)
  • Le Lann Jean-Christophe (1)
  • Lelong Jérôme (1)
  • Lemerre Matthieu (1)
  • Leroux Jérôme (1)
  • Liquori Luigi (1)
  • Longin Dominique (1)
  • Ly Olivier (1)
  • Lévy Nicole (1)
  • Maffray Frédéric (1)
  • Magaud Nicolas (1)
  • Magoulès Frédéric (1)
  • Mahboubi Assia (1)
  • Manceny Matthieu (1)
  • Maraninchi Florence (1)
  • Marché Claude (1)
  • Marion Jean-Yves (1)
  • Markey Nicolas (1)
  • Mateescu Radu (1)
  • Mentré David (1)
  • Mezghiche Mohamed (1)
  • Michel Olivier (1)
  • Miquel Alexandre (1)
  • Mogbil Virgile (1)
  • Mokdad Nadia Lynda (1)
  • Moreaux Patrice (1)
  • Mosbah Mohamed (1)
  • Mounier Laurent (1)
  • Mourlin Fabrice (1)
  • Moy Christophe (1)
  • Moyen Jean-Yves (1)
  • Mérigot Alain (1)
  • Nour Karim (1)
  • Paulin-Mohring Christine (1)
  • Pawlak Renaud (1)
  • Peltier Nicolas (1)
  • Peschanski Frédéric (1)
  • Petrucci Laure (1)
  • Potet Marie-Laure (1)
  • Pottier François (1)
  • Pous Damien (1)
  • Pu Geguang (1)
  • Périn Michaël (1)
  • Raffalli Christophe (1)
  • Rioboo Renaud (1)
  • Roberts Jean E. (1)
  • Roch Jean-louis (1)
  • Roisin Cécile (1)
  • Rousset Gérard (1)
  • Rueda Camilo (1)
  • Rutten Eric (1)
  • Régis-Gianas Yann (1)
  • Rémy Didier (1)
  • Sangiorgi Davide (1)
  • Schnoebelen Philippe (1)
  • Sentieys Olivier (1)
  • Sereni Jean-Sébastien (1)
  • Serrano Manuel (1)
  • Sighireanu Mihaela (1)
  • Signoles Julien (1)
  • Siles Vincent (1)
  • Soloviev Sergei (1)
  • Sorel Yves (1)
  • Soria Michèle (1)
  • Soutif Eric (1)
  • Sutre Grégoire (1)
  • Sémon Marie (1)
  • Sérot Jocelyn (1)
  • Tabareau Nicolas (1)
  • Trebuchet Philippe (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (158)
  • Informatique, information, généralités (7)
  • Mathématiques (6)
  • Sciences de l'ingénieur (5)
  • Sciences de la vie, biologie, biochimie (2)
  • Médecine et santé (2)
  • Education et enseignement (1)
  • Sciences de la nature et mathématiques (1)
  • Astronomie, cartographie, géodésie (1)
  • Physique (1)
  • Sciences de la terre (1)
  • Technologie (Sciences appliquées) (1)
  • Bâtiments (1)

Domaines :

Fullscreen

180 thèses pour "OCaml"

...that ’let rec’ bindings are well formed. https://github.com/ocaml/ocaml/pull/556 (cf. page 115).Titre...

Accéder en ligne

Towards a system for proving the correctness of concurrent multicore OCAML programs.

par Glen Mevel sous la direction de François Pottier et de Jacques-henri Jourdan. - Université de Paris (2019-....)

Informatique

En préparation depuis le 13-11-2018
 thèse en cours de préparation

...programmer.Our methodology to use the Why3 framework to producing veri ed OCaml code is an attemptto...

Accéder en ligne

...1 Stratégies dans les langages de programmationLa sémantique de OCaml [Ler+14] impose l’ordre dans...

Accéder en ligne

Modèles de programmation de haut niveau pour microcontrôleurs à faibles ressources

par Steven Varoumas sous la direction de Tristan Crolard et de Philippe Trebuchet. - Sorbonne université

Informatique

Soutenue le 05-11-2019
 thèse en cours de préparation

Résultats 1 à 10