École normale supérieure (Paris ; 1985-....). Département d'informatique
5 thèses en cours de préparation ayant pour partenaire de recherche École normale supérieure (Paris ; 1985-....). Département d'informatiqueExtrait des plus récentes :
Optimisation de trajectoire robuste et contrainte pour les robots au contact
par Wilson Jallet sous la direction de Nicolas Mansard et de Justin Carpentier. - Toulouse 3
Automatique, signal, productique, robotique
En préparation depuis le 30-09-2021
LA CHIMIE QUANTIQUE EST UNE BRANCHE DE LA CHIMIE THEORIQUE QUI CONSISTE EN Lι &⁴769;ETUDE DES PROPRIETES CHIMIQUES DES MOLECULES EN RESOLVANT LES EQUATIONS DE LA MECANIQUE QUANTIQUE. LE SUJET DE CETTE THESE EST DιETUDIER DES METHODES DE CALCULS NUMERIQUES DES EQUATIONS DE LA MECANIQUE QUANTIQUE PAR DES TECHNIQUES DιAPPRENTISSAGE, TIRANT PARTIE DES PROPRIETES DE SYMETRIES, DιINVARIANTS ET DE REGULARITE DE CES EQUATIONS POUR SIMPLIFIER LE PROBLEME.
par Louis Thiry sous la direction de Stéphane Mallat - Sorbonne université
Mathématiques
En préparation depuis le 24-05-2018
Soutenance prévue le 24-05-2021
Optimisation de la recherche de motifs spatio-temporels dans les réseaux
par Younes Didi sous la direction de Anne Bouillard - Université Paris sciences et lettres
Informatique
En préparation depuis le 01-10-2015
Apprentissage de dictionnaire et représentation parcimonieuse pour la manipulation intelligente d'images et de vidéos
par Florent Couzinie-Devy sous la direction de Jean Ponce et de Francis Bach . - Université Paris sciences et lettres
Informatique
En préparation depuis le 01-10-2011
Etude de la sécurité des systèmes de chiffrement
par Patrick Derbez sous la direction de David Pointcheval - Paris, École normale supérieure
Informatique
Soutenue le 09-12-2013
102 thèses soutenues ayant pour partenaire de recherche École normale supérieure (Paris ; 1985-....). Département d'informatiqueExtrait des plus récentes :
Proof-oriented domain-specific language design for high-assurance software
par Denis Merigoux sous la direction de Karthikeyan Bhargavan et de Jonathan Protzenko . - Université Paris sciences et lettres
Informatique
Soutenue le 13-12-2021
Deep learning techniques for graph embedding at different scales
par Alexis Galland sous la direction de Marc Lelarge - Université Paris sciences et lettres
Mathématiques
Soutenue le 17-12-2020
Transferable e-cash : an analysis in the algebraic group model
par Balthazar Bauer sous la direction de David Pointcheval et de Georg Fuchsbauer . - Université Paris sciences et lettres
Informatique
Soutenue le 14-12-2020
Analyse de la sécurité de systèmes critiques embarqués à forte composante logicielle par interprétation abstraite
par Marc Chevalier sous la direction de Jérôme Feret - Université Paris sciences et lettres
Informatique
Soutenue le 27-11-2020
Apprentissage par noyaux reproduisants : descente de gradient stochastique et estimation de laplacien
par Loucas Pillaud-Vivien sous la direction de Francis Bach et de Alessandro Rudi . - Université Paris sciences et lettres
Mathématiques
Soutenue le 30-10-2020
Neural architectures for estimating correspondences between images
par Ignacio Rocco sous la direction de Josef Sivic et de Relja Arandjelovic . - Université Paris sciences et lettres
Informatique
Soutenue le 27-10-2020
Large-scale learning from video and natural language
par Antoine Miech sous la direction de Josef Sivic et de Ivan Laptev . - Université Paris sciences et lettres
Informatique
Soutenue le 14-10-2020
Crowd-networking : modèles de percolation pour la connectivité Device-to-Device en environnement urbain, et conséquences économiques
par Quentin Le Gall sous la direction de Bartłomiej Błaszczyszyn et de Elie Cali . - Université Paris sciences et lettres
Mathématiques appliquées
Soutenue le 06-10-2020
Privacy-preserving cryptographic protocols
par Patrick Towa sous la direction de Damien Vergnaud - Université Paris sciences et lettres
Informatique
Soutenue le 30-09-2020
Greedy approaches to approximation of some NP-hard combinatorial optimization problems
par Mathieu Mari sous la direction de Claire Mathieu et de Chien-Chung Huang . - Université Paris sciences et lettres
Informatique théorique
Soutenue le 25-09-2020
Extended security of lattice-based cryptography
par Mélissa Rossi sous la direction de Michel Abdalla et de Henri Gilbert . - Université Paris sciences et lettres
Informatique
Soutenue le 10-09-2020
Optimization of fast deep learning models for audio analysis and synthesis
par Alexandre Défossez sous la direction de Francis Bach , Nicolas Usunier et de Léon Bottou . - Université Paris sciences et lettres
Mathématiques
Soutenue le 07-07-2020
Sémantique mécanisée et compilation vérifiée pour un langage synchrone à flots de données avec réinitialisation
par Lélio Brun sous la direction de Marc Pouzet et de Timothy Bourke . - Université Paris sciences et lettres
Informatique
Soutenue le 06-07-2020
Accelerating conditional gradient methods
par Thomas Kerdreux sous la direction de Alexandre d' Aspremont - Université Paris sciences et lettres
Mathématiques appliquées
Soutenue le 30-06-2020
On the expressive power of invariant logics over sparse classes of structures
par Julien Grange sous la direction de Luc Segoufin - Université Paris sciences et lettres
Informatique
Soutenue le 29-06-2020
Non-interactive arguments of knowledge
par Michele Orrù sous la direction de Georg Fuchsbauer et de Hoeteck Wee . - Université Paris sciences et lettres
Informatique
Soutenue le 07-04-2020
Optimization and control of storage in smart grids
par Md Umar Hashmi sous la direction de Marc Lelarge - Paris Sciences et Lettres (ComUE)
Informatique
Soutenue le 06-12-2019
Principes de la vérification de programmes à effets monadique arbitraires
par Kenji Maillard sous la direction de Cătălin Hriţcu - Paris Sciences et Lettres (ComUE)
Informatique
Soutenue le 25-11-2019
Learnable factored image representation for visual discovery
par Théophile Dalens sous la direction de Josef Sivic et de Mathieu Aubry . - Paris Sciences et Lettres (ComUE)
Mathématiques
Soutenue le 16-09-2019
Try Again. Fail Again. Fail Better : New notions of security, broken assumptions, and increased efficiency in cryptography
par Aisling Connolly sous la direction de David Naccache - Paris Sciences et Lettres (ComUE)
Informatique
Soutenue le 13-09-2019
Learning to detect visual relations
par Julia Peyre sous la direction de Josef Sivic , Ivan Laptev et de Cordelia Schmid . - Paris Sciences et Lettres (ComUE)
Informatique
Soutenue le 29-08-2019
Full disk encryption and beyond
par Louiza Khati sous la direction de Damien Vergnaud - Paris Sciences et Lettres (ComUE)
Informatique
Soutenue le 15-07-2019
Sécurisation systématique d'applications embarquées contre les attaques physiques
par Julien Proy sous la direction de Albert Henri Cohen et de Karine Heydemann . - Paris Sciences et Lettres (ComUE)
Informatique
Soutenue le 17-06-2019
Abstractions of biochemical reaction networks
par Andreea Beica sous la direction de Vincent Danos - Paris Sciences et Lettres (ComUE)
Informatique
Soutenue le 12-06-2019
Efficient code generation for hardware accelerators by refining partially specified implementation
par Ulysse Beaugnon sous la direction de Albert Henri Cohen et de Marc Pouzet . - Paris Sciences et Lettres (ComUE)
Informatique
Soutenue le 10-06-2019
Fundamental limits of inference : a statistical physics approach
par Léo Miolane sous la direction de Marc Lelarge - Paris Sciences et Lettres (ComUE)
Mathématiques
Soutenue le 06-06-2019
Learning human body and human action representations from visual data
par Gül Varol sous la direction de Ivan Laptev et de Cordelia Schmid . - Paris Sciences et Lettres (ComUE)
Informatique
Soutenue le 29-05-2019
On the achievability of white-box cryptography
par Răzvan Roşie sous la direction de Michel Abdalla - Paris Sciences et Lettres (ComUE)
Informatique
Soutenue le 28-05-2019
Abstractions relationnelles de la mémoire pour une analyse compositionnelle de structures de données
par Hugo Illous sous la direction de Xavier Rival et de Matthieu Lemerre . - Paris Sciences et Lettres (ComUE)
Informatique
Soutenue le 16-04-2019
A tale of SNARKs : quantum resilience, knowledge extractability and data privacy
par Anca Nitulescu sous la direction de David Pointcheval , Michel Abdalla et de Dario Fiore . - Paris Sciences et Lettres (ComUE)
Mathématiques
Soutenue le 01-04-2019
