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


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 Lower bounds and reconstruction algorithms for arithmetic circuits pascal.koiran@ens-lyon.fr
algo003 Multi-Flow and Multi-Cut in Planar Graphs cchuang@di.ens.fr
algo004 The theory of universal graphs for games on graphs nathanael.fijalkow@labri.fr
algo005 La théorie des graphes universels pour les jeux sur les graphes nathanael.fijalkow@labri.fr
algo006 Efficient algorithms for problems with solutions known to exist alantha.newman@grenoble-inp.fr
algo007 Etude de propriétés d hypergraphes à partir de l entropie - Applications aux images isabelle.bloch@enst.fr
algo009 Compressed Data Structures jean-francois.baffier@riken.jp
algo010 Stage autour de la mise correspondance d images multimodales (visibles, IR, EM) christophe.devaux2@gmail.com
algo011 Compression de graphes par recherche de régularités hamida.seba@univ-lyon1.fr
algo012 ?limination intégro-différentielle francois.lemaire@univ-lille.fr
algo013 Path optimization for complex robots in complex environments florent.lamiraux@laas.fr
algo014 Librairie de détection de collision pour la robotique florent.lamiraux@laas.fr
algo015 Manipulation planning in robotics: developing new algorithms florent.lamiraux@laas.fr
algo016 Path optimization for complex robots in complex environments florent.lamiraux@laas.fr
algo020 Efficient Algorithms for Data Analysis and Route Planning in Stochastic Time-Dependent Networks samitha@cornell.edu

(15 propositions dans ce thème )

Algorithmique Distribuée

CodeTitreMèl
algodist001 Conception d algorithmes décentralisés pour le réseau "lightning network" nazim.fates@loria.fr
algodist002 Certification d équivalences de modèles de calcul distribué en Coq david.ilcinkas@labri.fr
algodist003 Prédiction de forks dans la blockchain Sycomore frederique.robin@inria.fr

(3 propositions dans ce thème )

Géométrie algorithmique

CodeTitreMèl
geo001 Compression adaptative de grands graphes amturing@lix.polytechnique.fr
geo002 Novel learning-based parametric models of human body shapes marc.rodriguez@diocles.io
geo003 Body measures extraction from images marc.auguste@diocles.io
geo004 Novel learning-based parametric models of human body shapes marc.auguste@diocles.io

(4 propositions dans ce thème )

Automates

CodeTitreMèl
auto001 Reachability in 1-VASS with tests mahsa@irif.fr

(1 propositions dans ce thème )

Bioinformatique

CodeTitreMèl
bio001 Developing novel algorithms for genomics and bioinformatics pzm11@psu.edu
bio002 Master internship on 3D Genomics: modeling chromosome folding daniel.jost@ens-lyon.fr
bio004 Predicting genomic regulatory elements across species using domain-adaptive neural networks mahony@psu.edu

(3 propositions dans ce thème )

Combinatoire

CodeTitreMèl
combi001 Symmetries in Cost Function Networks / OR / Solution Distribution in Constraint Search Spaces florian.richoux@polytechnique.edu
combi002 Graph polynomials and symmetric functions ntanasa@u-bordeaux.fr

(2 propositions dans ce thème )

Intéractions homme-machine

CodeTitreMèl
ihm001 Reinforcement Learning appliqué à l?évitement de chute en cas de rattrapage d?urgence pour un exosquelette médical de membres inférieurs auto-stabilisé. alexis.duburcq@wandercraft.eu
ihm002 Reinforcement Learning appliqué à la synergie homme-machine dans le cadre d?un exosquelette médical de membres inférieurs auto-stabilisé. alexis.duburcq@wandercraft.eu
ihm003 Reinforcement Learning appliqué à la valorisation d?une base de données préexistante de logs d?expériences pour exosquelette médical de membres inférieurs auto-stabilisé. alexis.duburcq@wandercraft.eu
ihm004 Visualizing Story Structures in Persistent Game Worlds mackay@lri.fr
ihm005 Designing Co-Adaptive Instruments to Support Design mackay@lri.fr
ihm006 Towards understanding the impact of mental task execution on user s state, experience and performances fabien.lotte@inria.fr
ihm007 New Interfaces for Interactive Theorem Proving e@x80.org

(7 propositions dans ce thème )

Compilation

CodeTitreMèl
compil001 Stack overflow: exploitation des failles de sécurité dans les programmes bugués Sid.Touati@inria.fr

(1 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 Algorithmic predictability of disease spreading and control problems on networks potapov@liverpool.ac.uk
compl003 Sandpile prediction problem kevin.perrot@lis-lab.fr
compl004 Quantum search as a naturally occurring phenomenon giuseppe.DI-MOLFETTA@univ-amu.fr
compl005 Numerical analysis of the Poisson-Nernst Planck system of equations to study the propagation of a transient signal in neurons. claire.guerrier@univ-cotedazur.fr

(4 propositions dans ce thème )

Architecture des ordinateurs

CodeTitreMèl
archi001 Exploration of timing anomaly impact on processor execution for critical real-time systems lionel.rieg@univ-grenoble-alpes.fr

(1 propositions dans ce thème )

Bases de données

CodeTitreMèl
bd001 Biochar Data Hub: developing an ontology and a triplestore for heterogeneous datasets from a diversified research field. A step towards data transparency, reusability, live meta-analyses and systematic environmental assessments. eazzi@kth.se
bd002 Transformation between relational database and inductive structures sbo@k-inside.com

(2 propositions dans ce thème )

Programmation distribuée

CodeTitreMèl
dist002 DAFlow : gestion reproductible de l?analyse de données à grande échelle vania.marangozova-martin@imag.fr
dist003 Partitioned Global Address Space (PGAS) for Discrete Element Method (DEM) xavier.besseron@uni.lu
dist004 In Situ Visualization for eXtended Discrete Element Method (XDEM) xavier.besseron@uni.lu
dist006 Small-Eyed Blockchain: Consistency for Internet of Things vincent.gramoli@sydney.edu.au
dist007 Relaxed Distributed Data Structures: Implementations and Applications welch@cse.tamu.edu

(5 propositions dans ce thème )

Image

CodeTitreMèl
img001 Artificial Intelligence for Spectral CT Image Reconstruction alexandre.bousse@univ-brest.fr
img003 Analyse d image : identification de typologies de sites julia.lorrin@deepki.com
img006 Playing with Fourier spectrum for real-time ocean explorer and texture generation Fabrice.Neyret@inria.fr
img007 3D Reconstruction from a single 2D sketch irina.nikulina@polytechnique.edu

(4 propositions dans ce thème )

Informatique Graphique

CodeTitreMèl
infogr002 Frame Field 2.5D dmitry.sokolov@univ-lorraine.fr
infogr003 Formulation ?léments finis pour les Paramétrisations Globales Périodiques dmitry.sokolov@univ-lorraine.fr
infogr004 Elliptic mesh smoothing dmitry.sokolov@univ-lorraine.fr
infogr006 Convergence d un opérateur laplacien sur surfaces digitales tristan.roussillon@insa-lyon.fr
infogr007 Laplacien parfait sur surfaces digitales tristan.roussillon@insa-lyon.fr
infogr008 Playing with Fourier spectrum for real-time ocean explorer and texture generation Fabrice.Neyret@inria.fr
infogr009 Procedural modeling of 3D realistic galactic dust and nebulas Fabrice.Neyret@inria.fr
infogr010 Real-time walk-through the Milky-Way: continuum to points, on-the-fly generation, and mixing with catalog Fabrice.Neyret@inria.fr
infogr011 High Quality Differential Rendering for Material Estimation in 3D Scenes george.drettakis@inria.fr
infogr012 Procedural Generation of Materials for Deep Learning george.drettakis@inria.fr
infogr013 Per-View Neural Textures for Image-Based Rendering george.drettakis@inria.fr

(11 propositions dans ce thème )

Vision, Réalité Virtuelle

CodeTitreMèl
vision001 Reconstructing 3D drawings by predicting implicit surfaces adrien.bousseau@inria.fr
vision002 MeRA: Mediated Reality Agent for educational support of young children (Application to Tangram) thomas@ait.kyushu-u.ac.jp
vision003 Real-time large-scale dynamic 3D modeling with unmanned micro aerial vehicles thomas@ait.kyushu-u.ac.jp
vision004 Registration of multiple point clouds in a deep learning framework Application to single molecule localization microscopy dfortun@unistra.fr
vision005 Réalité Augmentée et Reality Modeling renaud.keriven@bentley.com

(5 propositions dans ce thème )

Réalité Virtuelle

CodeTitreMèl

(0 propositions dans ce thème )

Logique, Verification

CodeTitreMèl
logic001 Formal methods for safety and security albl@dtu.dk
logic002 Assurance Cases for High-Confidence Systems jason.jaskolka@carleton.ca
logic003 Formalisation of Mathematics using Isabelle lp15@cam.ac.uk
logic004 Shape analysis for complexity analysis romain.pechoux@loria.fr
logic005 Complexity analysis of stream programs romain.pechoux@loria.fr
logic006 Static complexity analysis of probabilistic programs romain.pechoux@loria.fr
logic007 Complexity analysis of quantum programs romain.pechoux@loria.fr
logic008 The SAPIC/Tamarin Security Protocol Verification Toolchain jannik.dreier@loria.fr
logic009 PROSA: Verification of real-time scheduling theory with the Coq proof assistant bbb@mpi-sws.org
logic010 Formal Verification for Stochastic Differential Equations paolo.zuliani@ncl.ac.uk
logic011 Hyperproperties on Regular Automatic Trees sophie.pinchinat@irisa.fr
logic012 Decision Problems for Gap-order Constraints totzke@liverpool.ac.uk
logic013 Modelling and Verification of Wireless Mesh Network Routing Protocols peter.hoefner@data61.csiro.au
logic014 Verifying Liveness Properties of Distributed Systems peter.hoefner@data61.csiro.au
logic016 Formal, machine-checked verification of concurrent OS-code peter.hoefner@data61.csiro.au
logic017 Foundations of planning with temporally extended goals sasha.rubin@sydney.edu.au
logic018 Verification of strategic properties in stochastic environments sasha.rubin@sydney.edu.au
logic019 Supervision efficace de grandes quantités de données à l aide de méthodes formelles internship.andre@lipn13.fr
logic020 Specifying and Verifying Voting Protocols sasha.rubin@sydney.edu.au
logic021 Automatic proof of a SPARK code generator christophe.garion@isae-supaero.fr
logic022 Probabilistic adversaries in the DEEPSEC cryptographic protocol verifier vincent.cheval@inria.fr
logic023 Unambiguous Nonnegative Rank and Probabilistic Systems mahsa@irif.fr
logic024 Application d?une analyse statique par sous- approximation à des réseaux d?automates synchronisés maxime.folschette@centralelille.fr
logic025 Difference Bound Matrices and Timed Automata mahsa@irif.fr
logic026 Formal Verification of Linear Dynamical Systems elefauch@mpi-sws.org
logic027 Résolution de contraintes pour graphes de ressources. Didier.Galmiche@loria.fr
logic028 Decision Procedure for Equivalence Relations Pierre.Corbineau@univ-grenoble-alpes.fr
logic029 CakeML: Formally Verified Functional Programming peter.hoefner@data61.csiro.au
logic030 Modeling, Verification, and Security at SRI International (Menlo Park, California, USA) shankar@csl.sri.com
logic031 Improving Cryptographic Protocols Verification: The Best of Two Worlds lucca.hirschi@inria.fr
logic032 Complex Analysis and Cauchy s Integral Theorem in Lean r.y.lewis@vu.nl
logic033 DEVELOPPEMENT D?UNE METHODE ET D?UN OUTIL DE VERIFICATION PRENANT EN COMPTE LES SYSTEMES BOUCLES DANS LE CONTROLE COMMANDE dina.irofti@edf.fr

(32 propositions dans ce thème )

Informatique linguistique

CodeTitreMèl
datamining046 Natural language processing and machine learning for detecting and characterizing patient phenotypes from their clinical records xavier.tannier@sorbonne-universite.fr
ling001 Generative Adversarial Networks for Taxonomy Induction davide.buscaldi@lipn.univ-paris13.fr
ling002 Word Embeddings using Rare but Discriminative Contexts remi.gilleron@univ-lille.fr
ling004 Deep-learning: modélisation dynamique de la popularité à partir du flux d actualité allauzen@limsi.fr
ling006 Natural language understanding for self-improving chatbots dimitri.lozeve@mindsay.com
ling007 Multilingual Named Entity Recognition iwakura.tomoya@fujitsu.com

(6 propositions dans ce thème )

Réseaux

CodeTitreMèl
misc002 Reducing the IEEE 802.11mc Location Traffic Overhead by Using the Passive TDOA Algorithm enrica.zola@upc.edu
misc003 Using the IEEE 802.11mc Facilities to Provide RTT Fingerprinting enrica.zola@upc.edu
net002 Centralized control plane and scheduling for Time‐Sensitive Networks (TSN) drincon@entel.upc.edu
net003 SDN‐based network synchronization testbed drincon@entel.upc.edu
net004 Deployment and testing of CORD (Central Office Rearchitected as a Data Center), a new SDNNFV‐ based architecture for 5G and PON access networks drincon@entel.upc.edu
net005 Implementing the WinIPS Algorithm with the IEEE 802.11mc Facilities enrica.zola@upc.edu
net006 Reinforcement Learning of Popularity bruno.gaujal@inria.fr
net007 Tuberculosis drug development: designing a mathematical framework for evaluating TB drug treatment for switching metabolism sn.mcquade@gmail.com
net008 Etude et modélisation probabiliste d un système d autopartage à travers l analyse de données à Montréal christine.fricker@inria.fr
net009 Topological Deep LearningNeural network analysis using Topological DataAnalysis umeda.yuhei@fujitsu.com

(10 propositions dans ce thème )

Systèmes d'exploitation

CodeTitreMèl
os001 Time-accurate Network Simulation Interconnecting QEMU VMs martin.quinson@ens-rennes.fr
os003 Prototyping a wide-area distributed Unix userland S.R.Kell@kent.ac.uk

(2 propositions dans ce thème )

Langages de programmation

CodeTitreMèl
pl001 Noyau réflexif et Isolation stephane.ducasse@inria.fr
pl002 Familial monads and structural operational semantics tom.hirschowitz@univ-smb.fr
pl003 Internships in PL and Formal Verification at the University of Pennsylvania bcpierce@cis.upenn.edu
pl005 A domain specific language for formally verified legislation denis.merigoux@inria.fr
pl006 Specification and verification of concurrent data structure libraries mbatty@cantab.net
pl007 Typage de Séquences Hétérogènes dans les Langages Dynamiques didier@lrde.epita.fr
pl008 Bayesian networks and linear logic quantitative semantics pagani@irif.fr
pl009 Implementing a differential programming framework based on linear logic negation pagani@irif.fr
pl011 Cellularité et sémantique opérationnelle tom.hirschowitz@univ-smb.fr

(9 propositions dans ce thème )

Sécurité, Cryptologie, Cybersécurité

CodeTitreMèl
sec001 Objective Metrics and Measures in Support of Security Evaluation jason.jaskolka@carleton.ca
sec002 Model Checking for Distributed System Cybersecurity jason.jaskolka@carleton.ca
sec003 Modeling and Simulation for Cyberattack Impact Analysis jason.jaskolka@carleton.ca
sec004 Simulation de réseaux quantiques harold.ollivier@mines.org
sec005 Attack Tree Operational Semantics and Abstraction sophie.pinchinat@irisa.fr
sec006 Comparaison des méthodes de mixnets et de chiffrement homomorphe pour les scrutins électroniques complexes veronique.cortier@loria.fr
sec007 Analyse de protocoles de vote électronique avec risque non négligeable d?attaques veronique.cortier@loria.fr
sec008 Sécurité des Systèmes Multi-Agents (SMA) Oum-El-Kheir.Aktouf@grenoble-inp.fr
sec009 Formalizing and Verifying the Privacy Guarantees of Cryptographic Protocols from the Noise Framework lucca.hirschi@inria.fr
sec010 ?tude des Attaques Boomerangs dans le Modèle à Clefs Liées virginie.lallemand@loria.fr
sec012 Automated low-level software security analysis sebastien.bardin@cea.fr
sec013 Formally Comparing and Evaluating Privacy Properties lucca.hirschi@inria.fr
sec014 Recherche de collision et applications à la cryptanalyse des systèmes à clé publique sorina.ionica@u-picardie.fr
sec015 Recherche de collision et applications à la cryptanalyse des systèmes à clé publique sorina.ionica@u-picardie.fr
sec016 Analysis of android applications protections internship@quarkslab.com
sec017 Aarch64 Emulator design to be run on x86_64 internship@quarkslab.com
sec018 A game of cat and mouse: defeating state-of-the-art dynamic analysis internship@quarkslab.com
sec019 Unpacking firmwares internship@quarkslab.com
sec020 Application Grand Challenge: Your protection is under attack! internship@quarkslab.com
sec021 Secure and efficient elliptic-curve signatures for emerging applications matthieu.rivain@cryptoexperts.com
sec022 Analyse des générateurs de emph{parsers} binaires pour le traitement des paquets réseau olivier.levillain@telecom-sudparis.eu
sec023 Identifying and removing dead code brought by web package managers pierre.laperdrix@inria.fr
sec024 Automatic discovery of browser fingerprinting attributes pierre.laperdrix@inria.fr
sec025 Removing information used for browser fingerprinting and quantifying its impact on page breakage pierre.laperdrix@inria.fr

(24 propositions dans ce thème )

Calcul formel

CodeTitreMèl
for001 Structures paresseuses pour le calcul de bases de Gröbner pierre-jean.spaenlehauer@inria.fr
for002 ?tude de singularités en petite caratéristique. adrien.poteaux@univ-lille.fr
for003 Exact Certificates for Noncommutative Polynomial Optimization vmagron@laas.fr

(3 propositions dans ce thème )

Recherche Opérationnelle

CodeTitreMèl
ro001 Evaluation du débit d un Synchronous Dataflow Graph Alix.Munier@lip6.fr
ro005 Stochastic control of queueing systems with partial observations jonatha.anselmi@inria.fr
ro007 Optimizing sums of Rayleigh quotients for model reduction vmagron@laas.fr
ro008 Algorithms for Operational Optimization of Emerging Transportation Systems samitha@cornell.edu

(4 propositions dans ce thème )

Intelligence Artificielle

CodeTitreMèl
datamining047 Online Algorithms for Fair Ad Auctions patrick.loiseau@inria.fr
ia001 STOCHASTIC DECISION MAKING FOR ELECTRICAL MICROGRIDS MANAGEMENT jdumas@uliege.be
ia002 ENERGY PRICES FORECASTING AND DECISION MAKING FOR ELECTRICAL MICROGRIDS MANAGEMENT jdumas@uliege.be
ia003 Community-specific learning in decentralized privacy-preserving learning jan.ramon@inria.fr
ia004 Sampling graph classes from their enumeration trees jan.ramon@inria.fr
ia005 Machine learning based approaches for distributed reputation management omar.hasan@insa-lyon.fr
ia006 Développement d?un modèle à base d?agents pour l?analyse de données expérimentales (imagerie de fluorescence UV, spectroscopie SAXS et SANS). evelyne.lutton@inra.fr
ia007 Solving the Winograd challenge fgcozman@usp.br
ia008 Opinion Formation in Complex Adaptive Networks ada.diaconescu@telecom-paris.fr
ia009 Empêcher de rejoindre: vers une IA qui comprend les verbes jean-louis.dessalles@telecom-paris.fr
ia010 Robot Social Dialoguant Perceptuellement Guidé fabrice.lefevre@univ-avignon.fr
ia011 Semantic extraction from small data using data fusion in industrial environment pierre.besset@isabo.ai
ia012 Centralised vs. Decentralised Coordination of Reproductive Tasks in Ant Colonies ada.diaconescu@telecom-paris.fr
ia014 Planification orientée information avec des rho-POMDP vincent.thomas@loria.fr
ia015 Extraction d expertise supportée par une ontologie pour la recommandation de workflows scientifiques valtchev.petko@uqam.ca
ia016 Extraction de motifs de graphes généralisés à base d?ontologies valtchev.petko@uqam.ca
ia018 Emergence of group size through multi-agent reinforcement learning in a simulated environment clement.moulinfrier@gmail.com
ia019 Emergence of communication systems as a way to maintain cooperative networks in multi-agent simulations clement.moulinfrier@gmail.com
ia020 Deep Neural-symbolic learning and reasoning for eXplainable AI natalia.diaz@ensta-paristech.fr
ia022 Dynamic modeling of an avatar s 3D language by deep networks slim.ouni@loria.fr
ia024 Contrôle du mouvement de la tête d?un avatar à partir de la parole en utilisant des techniques d apprentissage profond slim.ouni@loria.fr
ia026 Modélisation de la mise en forme de panneaux d aile d avion via l intelligence artificielle frederick.gosselin@polymtl.ca
ia027 Artificial curiosity to discover large repertoires of skills for humanoid robots j.triesch@googlemail.com
ia028 Unsupervised Learning in Multiple Time-Scale Recurrent Neural Networks j.triesch@googlemail.com
ia029 Musical Style Transfer with Deep Learning eleonore.bartenlian@u-psud.fr
ia030 Tracking contours of the speech articulators in MRI films of the vocal tract yves.laprie@loria.fr
ia047 Semantic Visual Question Answering michel.thomazo@polytechnique.edu
ia051 Improve text extraction deep learning algorithms using a generative approach simon.lembeye@polytechnique.edu
ia052 Robust and Secure Deep Learning in Cloud Computing Systems han.qiu@telecom-paristech.fr
ia053 Knowledge Graph for Conversational Question Answering anton.rael@polytechnique.edu
misc020 Semantic Visual Question Answering michel.thomazo@polytechnique.edu

(31 propositions dans ce thème )

Génie Logiciel

CodeTitreMèl
softwareen003 Automatic Synthesis of Self-Healing Android Applications Simon.Bliudze@inria.fr
softwareen004 Test Coverage analysis for Mobile and Context-Aware Applications Oum-El-Kheir.Aktouf@grenoble-inp.fr
softwareen005 "Slower than it used to be?" Performance "archaeology" of commodity software S.R.Kell@kent.ac.uk
softwareen006 Création et manipulation de modèle pour analyse de fiabilité dans Papyrus morayo.adedjouma@cea.fr

(4 propositions dans ce thème )

Divers

CodeTitreMèl
misc001 Contrôle non linéaire sous contraintes illustré sur un pendule inversé dmitry.sokolov@univ-lorraine.fr
misc007 Representation of scheduling information for machine learning and human comprehension pilla@lri.fr
misc008 Innovative interfaces and infrastructure for historians of art and science: constructing a digital scholarly edition of a sixteenth-century French manuscript ps2270@columbia.edu
misc009 I/O Data Compression for Astrophysical Simulations of Stellar Interiors T.A.Guillet@exeter.ac.uk
misc013 Developing quantum algorithms for graphs spectral analysis & graph based machine learning jean-francois.hullo@edfenergy.com
misc014 Teaching Computation through the Movement of Social Insects research@rise.org.cy
misc016 Assessing the filter bubble and echo-chamber phenomena in social media marco.viviani@unimib.it
misc017 Multilingual natural language processing and information retrieval gabriella.pasi@unimib.it
misc018 Tracking information diffusion in social media gabriella.pasi@unimib.it
misc019 Evaluating credibility of health-related information on the social web gabriella.pasi@unimib.it

(10 propositions dans ce thème )

TOTAL: 203 propositions



Other