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
algo016 Path optimization for complex robots in complex environments florent@laas.fr
algo017 Design and Optimization of Smart Transit Systems samitha@cornell.edu
algo018 Efficient Algorithms for Robust Route Planning in Stochastic Networks samitha@cornell.edu
algo019 Méthodes stochastiques d?optimisation pour la prédiction de structures moléculaires?: Application aux bio-nanomatériaux juan.cortes@laas.fr
algo020 Composition d?ordonnancements parallèles matthieu.moy@univ-lyon1.fr

(18 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
algodist004 Pattern Formations with Broadcasting Automata Model potapov@liverpool.ac.uk
algodist005 Models of Distributed Algorithms Karine.Altisen@univ-grenoble-alpes.com
algodist006 Concurrency-Optimality of Multi-/Many-core Applications goubault@lix.polytechnique.fr

(6 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
geo010 Inverse homogenization of implicit functions jonas.martinez-bayona@inria.fr
geo011 Matching and reconstruction of 3D shapes using high-order special functions sergei.grudinin@inria.fr
geo012 Algorithmes d appariement de formes géométriques antoine@unist.ac.kr

(12 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
bio008 Protein loop sampling using robotics algorithms and machine learning: methodological improvements and implementation of a web application juan.cortes@laas.fr
bio010 Taxonomy of thresholded boolean automaton networks inferred from logical constraints. nicolas.glade@univ-grenoble-alpes.fr
bio011 ANALYSIS OF REACHABILITY PROBLEM IN BIOLOGICAL REGULATORY NETWORKS olivier.roux@ls2n.fr
bio012 Numerical study of DNA supercoiling florence.descoubes@inria.fr
bio013 Modelling of non-equilibrium molecular flexibility at atomic scale sergei.grudinin@inria.fr
bio014 Modelling of macromolecular complexes guided by small-angle X-ray scattering profiles sergei.grudinin@inria.fr

(11 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
combi003 Assemblage combinatoire de fragments pour la modélisation moléculaire isaure.chauvot-de-beauchene@loria.fr

(3 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
ihm005 Expressive Typography: Gesture-Typing with a Parametric Font Engine mackay@lri.fr
ihm006 jsCoq/SerAPI: New Interfaces for Interactive Theorem Proving e@x80.org

(4 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
compil005 Prototypage de stratégies de génération de code pour des outils de synthèse matérielle de haut niveau (HLS) matthieu.moy@univ-lyon1.fr
compil006 Polyhedral Abstract Interpretation for compilers laure.gonnord@ens-lyon.fr
compil007 Simulation et outils de debug pour réseaux de processus matthieu.moy@univ-lyon1.fr

(7 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
compl009 Le problème Maximum Zero Sum Partition guillaume.fertin@ls2n.fr

(7 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
archi003 Ordonnancement de processus sous contrainte de pipeline matthieu.moy@univ-lyon1.fr

(2 propositions dans ce thème )

Bases de données

CodeTitreMèl
bd001 Dynamic Database Learning mmathioudakis@gmail.com
bd003 Ranked Temporal Joins on Streams sihem.amer-yahia@imag.fr
bd004 Data pipelines for large-scale analytics of user data sihem.amer-yahia@imag.fr
bd005 An optimization framework for text summarization sihem.amer-yahia@imag.fr

(4 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
dist003 Design and implementation of a scalable software infrastructure for distributed systems. maxime.louvel@cea.fr
dist004 Design and implementation of a scalable software infrastructure for distributed systems. maxime.louvel@cea.fr

(4 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
img005 Détection conjointe de changements de géométrie et d?intensité en IRM cérébrale vincent.noblet@unistra.fr
img006 Dissecting the the genome in 4D thomas.gregor@pasteur.fr
img007 Reconnaissance Globale de Mots dans le Cadre de Vocabulaires Réduits. philippe.vincent@inovatic.fr

(7 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
logic023 Verification tools for Safety of Railway Infrastructures cristi@ifi.uio.no
logic024 jsCoq/SerAPI: New Interfaces for Interactive Theorem Proving e@x80.org
logic025 Generating Counterexamples for Lean j.c.blanchette@vu.nl
logic026 Synthesizing Parallel Programs azadeh@cs.toronto.edu
logic027 Concurrency Verification azadeh@cs.toronto.edu
logic028 Coq formalisation of a graphical foundation for variable binding tom.hirschowitz@univ-smb.fr
logic029 Certification of Distributed Self-Stabilizing Algorithms Using Coq Karine.Altisen@univ-grenoble-alpes.com
logic030 Approximations intérieures et vérification de propriétés temporelles de systèmes hybrides putot@lix.polytechnique.fr
logic031 Uniform sampling of timed patterns for cyber-physical systems test generation thao.dang@univ-grenoble-alpes.fr
logic033 Manipulation d?arbres contraints pour lignes de produits logiciels clement.quinton@univ-lille1.fr

(31 propositions dans ce thème )

Informatique linguistique

CodeTitreMèl
ling001 Analysis of Word Semantic Change in Political Texts through Spatio-Temporal Word Embeddings aurelien.bellet@inria.fr
ling002 Fine-grained Topic Modelling and Sentiment Analysis in customer reviews thp@proxem.com

(2 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
net006 Softwarized LTE Network Evaluations ilker.demirkol@entel.upc.edu
net007 Softwarized LTE-WiFi Aggregation Solution ilker.demirkol@entel.upc.edu

(5 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
pl004 Visualisations of Software Language Engineering Processes anthony.sloane@mq.edu.au
pl006 Synthesizing Parallel Programs azadeh@cs.toronto.edu

(4 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
sec016 R&D pour chiffrement complètement homomorphe julien.eynard@univ-tln.fr
sec017 Transparence et responsabilité des algorithmes de personnalisation gambs.sebastien@uqam.ca
sec018 Securing Sensitive Data with the Red Belly Blockchain goubault@lix.polytechnique.fr

(11 propositions dans ce thème )

Calcul formel

CodeTitreMèl
for001 Homotopy for Polynomial System Solving simone.naldi@unilim.fr
for002 Algorithms for Computing Exact Sum of Squares Decompositions victor.magron@polsys.lip6.fr

(2 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
datamining034 Decentralized Algorithms for Privacy-Preserving Linear Regression aurelien.bellet@inria.fr
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
ia019 Deep learning and multiple time granularities for musical inference : application to human-computer improvisation esling@ircam.fr
ia020 Musical style transfer through stationnarity learning and multiverse loss networks esling@ircam.fr
ia021 Spectral embedding learning for audio signal synthesis and orchestration esling@ircam.fr
ia022 Modèles cognitifs de la reconnaissance de la parole edunbar@linguist.univ-paris-diderot.fr
ia023 Ontology Indexing for Efficient Query Answering michael.thomazo@inria.fr
ia024 Machines d?écoute programmables Nicolas.Obin@ircam.fr
ia025 Cognitive Machine Learning: Reverse Engineering Infant Language Development emmanuel.dupoux@gmail.com
ia027 Optimisation sous incertitude dans StarCraft 2 florian.richoux@univ-nantes.fr

(17 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
misc003 Modelling of molecular flexibility using the theory of continuous linear elasticity sergei.grudinin@inria.fr
misc004 Extensions `a TestU01 lecuyer@iro.umontreal.ca
misc005 Construction de r ́eseaux digitaux selon diff ́erents crit`eres d?uniformit ́e lecuyer@iro.umontreal.ca

(4 propositions dans ce thème )

TOTAL: 191 propositions



Other (Not necessarily INF591 validated)