Catalogue des stages de recherche (M1) INF591 pour les étudiants de master et pour les X de la promotionX2015


English version of this page
Cette page est en évolution. Nous continuous à recevoir quelques propositions.

Liste des thématiques

INF591 (validated)

Other :


Algorithmique

CodeTitreMèl
algo001 Etude d algorithmes quantiques pour la résolution de systèmes linéaires marc.baboulin@lri.fr
algo002 Graph and Automata Algorithms for Verification doyen@lsv.fr
algo003 Stochastic Games and Semidefinite Programming elias.tsigaridas@inria.fr
algo004 Linear programming on attack-defense trees barbara.kordy@irisa.fr
algo005 Calcul de coupes et d isomorphismes pour des graphe planaires "chimiques" yann.strozecki@uvsq.fr
algo008 A new model of random SAT. c.mailler@bath.ac.uk
algo009 Graph Algorithms Techniques for low resolution model of large protein assemblies dorian.mazauric@inria.fr
algo010 Combinatorial optimization techniques leverage the reconstruction of atomic resolution models of large protein assemblies dorian.mazauric@inria.fr
algo011 ?tude des jeux stochastiques simples et d une famille de méthodes pour les résoudre yann.strozecki@uvsq.fr
algo012 Learning-driven optimization jin-kao.hao@univ-angers.fr
algo013 Génération aléatoire de graphes bipartis Fabien.Tarissan@cnrs.fr
algo014 Certified Taylor approximations xavier.thirioux@enseeiht.fr
algo015 Algorithmes géométriques de partitionnement de maillages franck.ledoux@cea.fr

(13 propositions dans ce thème )

Algorithmique Distribuée

CodeTitreMèl
algodist001 Service Problems within Highly Dynamic Distributed Systems swan.dubois@lip6.fr
algodist002 Understanding the BitCoin cryptocurrency luigi.liquori@inria.fr
algodist003 Algorithme concurrent d?appariement de sommets dans un graphe cedric.chevalier@cea.fr

(3 propositions dans ce thème )

Géométrie algorithmique

CodeTitreMèl
geo001 Dessiner des graphes comme polygones convexes kolja.knauer@lif.univ-mrs.fr
geo002 ?tude des diagrammes de bifurcations approchées d un modèle de masse neuro-gliale par techniques de tropicalisation habib.benali@concordia.ca
geo003 3D modeling of a human tongue using an articulograph for audiovisual speech Slim.Ouni@loria.fr
geo004 Dessin de graphes de genre supérieur amturing@lix.polytechnique.fr
geo005 Graphes plongés sur les surfaces: algorithmes pour la génération et le plongement amturing@lix.polytechnique.fr
geo006 Computational Optimal Transport for Early Universe Reconstruction Bruno.Levy@inria.fr
geo007 Topological Optimization for 3D printing using Voronoi Diagrams Bruno.Levy@inria.fr
geo008 Distributed Delaunay Triangulation memari@lix.polytechnique.fr
geo009 Polycubes pour la génération de maillages hexaédriques 3D franck.ledoux@cea.fr

(9 propositions dans ce thème )

Automates

CodeTitreMèl
auto001 Algorithms for Expected-Time Reachability doyen@lsv.fr
auto002 Machine Learning Meets Reactive Synthesis neider@mpi-sws.org

(2 propositions dans ce thème )

Bioinformatique

CodeTitreMèl
bio001 Identification of epigenetic hotspots in lung cancer daniel.jost@univ-grenoble-alpes.fr
bio002 Stochasticity and entropy in normal and cancer cells daniel.jost@univ-grenoble-alpes.fr
bio003 Computational modeling of human chromosome folding daniel.jost@univ-grenoble-alpes.fr
bio004 Optimal design of parallelized light signals for optically controlled gene networks in single cells. jakob.ruess@inria.fr
bio007 Computational​ ​Assembly​ ​of​ ​Borrelia​ ​plasmid genomes cedric.chauve@sfu.ca

(5 propositions dans ce thème )

Combinatoire

CodeTitreMèl
combi001 Hyperbolic random graphs dmitsche@unice.fr
combi002 Assemblage combinatoire de fragments pour la modélisation moléculaire isaure.chauvot-de-beauchene@loria.fr

(2 propositions dans ce thème )

Intéractions homme-machine

CodeTitreMèl
ihm002 AR-Enhanced Collaborative Physical Modeling fanis@lri.fr
ihm003 Multi-user Telepresence Systems for Remote Collaboration across Wall-Sized Displays cedric.fleury@lri.fr

(2 propositions dans ce thème )

Compilation

CodeTitreMèl
compil001 Simplifying Reproducibility gehani@csl.sri.com
compil002 Poly-ordonnanceur pour la parallélisation à la volée de programmes philippe.clauss@inria.fr
compil003 Simplifying Reproducibility ashish.gehani@sri.com
compil004 Flambda: advanced optimization for OCaml lborgo@janestreet.com

(4 propositions dans ce thème )

Théorie de la calculabilité. Modèles de calculs. Théorie de la complexité. Algorithmes d'approximation

CodeTitreMèl
compl002 Méthode de rectification matricielle pour l estimation de fréquences multidimensionnelles remy.boyer@l2s.centralesupelec.fr
compl003 Gauss-Markov-Potts prior models for 3D Computed Tomography and its implementation on GPU Ali.mohammad-Djafari@l2s.centralesupelec.fr
compl004 Liens entre génération aléatoire et génération exhaustive yann.strozecki@uvsq.fr
compl006 Modélisation de calcul quantique d ordre supérieur benoit.valiron@lri.fr
compl007 ?tude de la stabilité numérique des algèbres géométriques vincent.nozick@u-pem.fr
compl008 Analog machines and models of computation. Computing with a continuous time. bournez@lix.polytechnique.fr

(6 propositions dans ce thème )

Architecture des ordinateurs

CodeTitreMèl
archi001 Circuits de transformée de Fourier rapide calculant au plus juste Florent.de-Dinechin@insa-lyon.fr

(1 propositions dans ce thème )

Bases de données

CodeTitreMèl
bd001 Dynamic Database Learning mmathioudakis@gmail.com

(1 propositions dans ce thème )

Programmation distribuée

CodeTitreMèl
dist001 Monitoring Advanced Persistent Threats ashish.gehani@sri.com
dist002 Leveraging Non-volatile Memories in Supercomputers leonardo.bautista@bsc.es

(2 propositions dans ce thème )

Image

CodeTitreMèl
img001 An Image Processing Approach for Detection of Brain Aneurysms in 3D CT/MRI Imaging Data boguslaw.obara@durham.ac.uk
img002 Assistance au diagnostic et à la thérapeutique de la DMLA par Analyse d?images rétiniennes petit@u-pec.fr
img003 Correspondances entre images RGB et images thermiques vincent.nozick@u-pem.fr
img004 Détection de trucages vidéo par deep learning vincent.nozick@u-pem.fr

(4 propositions dans ce thème )

Informatique Graphique

CodeTitreMèl
infogr001 Learning to draw like a designer adrien.bousseau@inria.fr
infogr002 Optimizing support structures for freeform architecture adrien.bousseau@inria.fr
infogr003 Mixed-Integer Optimization for Line Drawing Reconstruction adrien.bousseau@inria.fr
infogr004 PuppetFace: Contrôle et animation d?une tête parlante 3D en temps réel Slim.Ouni@loria.fr
infogr005 Robotique humanoïde : Mouvements hautement dynamiques pour robots humanoïdes (ou personnages humains virtuels animés par simulation physique) par copie du dynamisme de mouvements humains karim.bouyarmane@loria.fr
infogr006 Informatique Graphique - Rendu : Analyse et structuration de l espace des chemins lumineux Mathias.Paulin@irit.fr
infogr007 Informatique Graphique - Rendu : Echantillonnage dans l espace des chemins lumineux. Mathias.Paulin@irit.fr

(7 propositions dans ce thème )

Vision, Réalité Virtuelle

CodeTitreMèl
vision001 Nuages de point et Reality Modeling renaud.keriven@bentley.com
vision002 Reality Modeling et Deep Learning renaud.keriven@bentley.com
vision003 Reality Modeling et Deep Learning renaud.keriven@bentley.com
vision004 Automatic Analysis of Art exhibition catalogs mathieu.aubry@m4x.org
vision006 Localisation précise de moto pour l étude du comportement en virage bastien.vincke@u-psud.fr
vision007 D?un modèle physique moléculaire vers une interface tangible gr?ce à l?Internet des Objets bastien.vincke@u-psud.fr
vision008 Dynamic 3D reconstruction on the wild with a single RGB-D camera thomas@ait.kyushu-u.ac.jp
vision010 Regressing 3D human shapes and motion from RGB videos of sports events thomas@ait.kyushu-u.ac.jp

(8 propositions dans ce thème )

Réalité Virtuelle

CodeTitreMèl

(0 propositions dans ce thème )

Logique, Verification

CodeTitreMèl
logic001 Modeling, Verification, and Security at SRI International (Menlo Park, California, USA) shankar@csl.sri.com
logic002 Formalisation of Mathematics using Isabelle lp15@cam.ac.uk
logic003 Building and Verifying a Simple Secure Compiler catalin.hritcu@inria.fr
logic004 Verification of Blocking Analyses for Multicore Real-Time Systems bbb@mpi-sws.org
logic005 Sound scalable static analysis of executable files matthieu.lemerre@cea.fr
logic006 Towards an Approximating Compiler for Finite-Precision Programs eva@mpi-sws.org
logic007 Arithmetic Constraint Satisfaction Problems barnabymartin@gmail.com
logic008 Spécification et vérification formelle avec Why3 alain.giorgetti@univ-fcomte.fr
logic009 Formal Methods for Cyber-Physical Systems i.hasuo@acm.org
logic010 Modelling and Verification of Wireless Mesh Network Routing Protocols peter.hoefner@data61.csiro.au
logic011 Expressiveness for Distributed Systems Robert.vanGlabbeek@data61.csiro.au
logic012 Formal, machine-checked verification of concurrent OS-code June.Andronick@data61.csiro.au
logic013 Analyse formelle de modèle de propagation de défaillances dynamique boutheina.bannour@cea.fr
logic014 ?tude de la sémantique de Isabelle/HOL benoit.valiron@lri.fr
logic015 Analog machines and models of computation. Computing with a continuous time. bournez@lix.polytechnique.fr
logic016 Validation formelle d?un OS pour systèmes à alimentation intermittente david.cachera@irisa.fr, delphine.demange@irisa.fr
logic017 Contract-Based Design of Cyber-Physical Systems thao.dang@univ-grenoble-alpes.fr
logic018 Evaluation des différentes stratégies de test concolique à l?aide de la plate-forme d?exécution symbolique Diversity pascale.legall@centralesupelec.fr
logic019 Program Invariant Synthesis Using Machine Learning Techniques franck.cassez@mq.edu.au
logic020 Program Termination via Trace Abstraction Refinement franck.cassez@mq.edu.au
logic021 Certificates with Non-Linear Arithmetic Decision Procedures Pascal.Fontaine@loria.fr

(21 propositions dans ce thème )

Informatique linguistique

CodeTitreMèl

(0 propositions dans ce thème )

Réseaux

CodeTitreMèl
net002 Power-aware Resource allocation in Passive Optical Networks ? UPC (Barcelona) drincon@entel.upc.edu
net004 Allocation of ressources in Velib with electric bikes christine.fricker@inria.fr
net005 Velib 2018 et la part de vélos électriques christine.fricker@inria.fr

(3 propositions dans ce thème )

Systèmes d'exploitation

CodeTitreMèl
os001 Validation and Synthesis of DWARF Debugging Informations francesco.zappa_nardelli@inria.fr
os003 Smart Storage: Performing System-Level Transformations *Ahead* of Application Demand ashish.gehani@sri.com
os004 Performance Study of Public Clouds lucas.nussbaum@loria.fr
os005 A hundred million users with a million documents each: New techniques in file system sync jgmorard@apple.com
os006 Autour de la preuve formelle de sécurité du proto-noyau Pip david.nowak@univ-lille1.fr

(5 propositions dans ce thème )

Langages de programmation

CodeTitreMèl
pl002 Internships in Programming Languages and Formal Verification at University of Pennsylvania bcpierce@cis.upenn.edu
pl003 Compilation d oracle pour calcul quantique benoit.valiron@lri.fr

(2 propositions dans ce thème )

Sécurité, cryptologie, Cybersécurité

CodeTitreMèl
sec001 Secure and privacy preserving computation using the blockchain protocol omar.hasan@insa-lyon.fr
sec002 Conception et analyse d un algorithme asymétrique de cryptographie boîte blanche sylvain.guilley@secure-ic.com
sec003 Analyse statique de fuite sylvain.guilley@secure-ic.com
sec006 Provenance Privacy ashish.gehani@sri.com
sec007 Style de programmation contre robustesse aux attaques par observation pour cryptosystèmes embarqués arnaud.tisserand@univ-ubs.fr
sec011 Smart disassembly of executable files richard.bonichon@cea.fr
sec012 Designing a generidynamiframework for the analysis of exeutables sebastien.bardin@cea.fr
sec013 Elliptic curve protocols for constrained devices thomaspl@uow.edu.au

(8 propositions dans ce thème )

Calcul formel

CodeTitreMèl

(0 propositions dans ce thème )

Recherche Opérationnelle

CodeTitreMèl
ro001 Algorithm and optimization of covering problems using flying drones christelle.caillouet@unice.fr
ro002 About easy and hard cases for graph coloring wagler@isima.fr
ro003 Lower bound and branch and bound algorithme fot the p-median problem prb@du.se
ro004 Génération d?hexaèdres par combinaison de tétraèdres franck.ledoux@cea.fr
ro005 ew approaches to Hitting Set minimization gkatsi@gmail.com

(5 propositions dans ce thème )

Intelligence Artificielle

CodeTitreMèl
datamining020 Caractérisation de traces de navigation lionel.tabourier@lip6.fr
datamining024 Fast Analytics over Dirty Graphs mmathioudakis@gmail.com
datamining025 Algorithmes de Data Mining et de Machine Learning pour l?analyse en canaux auxiliaires matthieu.lechvien@secure-ic.com
ia005 Non-Euclidean Analogies in Shape Spaces jean-louis.dessalles@telecom-paristech.fr
ia006 Modèles graphiques probabilistes, comptage de modèles pondérés et compilation de connaissances marquis@cril.univ-artois.fr
ia007 Exploring the evolutionary basis of consensus decisions through multi-agent simulations vito.trianni@istc.cnr.it
ia009 Reinforced Random Walks in Swarm Robotics vito.trianni@istc.cnr.it
ia011 Apprentissage par renforcement profond pour la robotique david.filliat@ensta-paristech.fr

(8 propositions dans ce thème )

Génie Logiciel

CodeTitreMèl
softwareen001 Development of a fast GPU-based numerical method for simulating chromosomes daniel.jost@univ-grenoble-alpes.fr
softwareen002 Chaos Engineering for Large Scale Cloud Software Sytems martin.monperrus@csc.kth.se
softwareen003 Liens entre exigences et spécifications formelles Jeanine.Souquieres@loria.fr

(3 propositions dans ce thème )

Divers

CodeTitreMèl
misc001 Génération de code de fonctions élémentaires Florent.de-Dinechin@insa-lyon.fr

(1 propositions dans ce thème )

TOTAL: 125 propositions



Other (Not necessarily INF591 validated)