Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Former teams : | ACASA AnimatLab MALIRE MLIA Phare REGAL SALSA SPI SPIRAL Whisper |
Former research topics : | ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF |
- GROSS-HUMBERT Nathanaël : “Study of the notion of diversity in the context of allocation problems with groups of agents”, supervision Aurélie BEYNIER, defence 09/04/2024.
- CHARON Clara : “Probabilistic Classification for the Prediction and Explanation of Adverse and Avoidable Health Events in Nursing Homes”, supervision Patrice PERNY, defence 07/09/2024.
- PAROLINI Francesco : “Static Analysis for Security Properties of Software by Abstract Interpretation”, supervision Antoine MINÉ, defence 06/26/2024.
- BAYET Théophile : “Characterizing inclusivity of deep learning based vision systems for southern countries”, supervision Christophe DENISn Alassane BAH, defence 06/19/2024.
- MARSAL Rémi : “Motion Analysis in Videos with Deep Self-Supervised Learning”, supervision Hichem SAHBI, defence 05/29/2024.
- FONTAINE Jonathan : “Optimization of the insertion of countermeasures for the security of Integrated Circuits”, supervision Roselyne CHOTIN, defence 05/24/2024.
- SARMIENTO LOZANO Camilo : “Formalising ethical reasoning: modelling ethical processes and modelling, representing and automating causal reasoning”, supervision Jean-Gabriel GANASCIA, Gauvain BOURGNE, defence 04/26/2024.
- FRADET Nathan : “Deep Learning for Symbolic Music Modeling”, supervision Amal EL FALLAH SEGHROUCHNI, defence 03/14/2024.
- LEICHTLE Dominik : “Security and Efficiency of Delegated Quantum Computing”, supervision Antoine JOUX, defence 02/23/2024.
- JEYASOTHY Adulam : “Interprétabilité des modèles en apprentissage automatique”, supervision Marie-Jeanne LESOT, Christophe MARSALA, defence 02/20/2024.
- HUANG Yining : “Digital twin for the dynamic orchestration of autonomous and embedded systems”, supervision Jacques MALENFANT, defence 02/08/2024.
- WLADDIMIRO Daniel : “Dynamic Adaptation in Stream Processing System”, supervision Pierre SENS, defence 01/08/2024.
- SHAMS Parham : “Procedures based on Exchanges and new Relaxations of Envy-Freeness in Fair Division of Indivisible Goods”, supervision Aurélie BEYNIER, Nicolas MAUDET, defence 12/21/2023.
- OUDRHIRI Ali : “Performance of a Neural Network Accelerator Architecture and its Optimization Using a Pipeline-Based Approach”, supervision Alix MUNIER, defence 12/20/2023.
- PRÉBET Rémi : “Connectivity in real algebraic sets: algorithms and applications”, supervision Mohab SAFEY EL DIN, defence 12/20/2023.
- VAILLAUD Hugo Nicolas : “Algorithms for the Search of a Moving Air Target with a Radar Onboard an Airborne Platform”, supervision Claire HANEN, defence 12/15/2023.
- BAUDIN Alexis : “Static and temporal cliques: enumeration and community detection algorithms”, supervision Clémence MAGNIEN, Lionel TABOURIER, defence 12/14/2023.
- ANGRISANI Armando : “The disparate impact of noise on quantum learning algorithms”, supervision Elham KASHEFI, defence 12/11/2023.
- HERNANDEZ Jérôme : “Facilitating the Development of Game-Based Evaluations: Exploration of Behavioral Profile Recognition and Soft Skills of an Individual Through Gamified Situational Judgment Tests”, supervision Thibault CARRON, defence 12/11/2023.
- DUPONT Robin : “Conception de modèles d'Apprentissage profond pour objets connectés”, supervision Hichem SAHBI, defence 12/08/2023.
- MA Yao : “Quantum Hardware Security and Near-term Applications”, supervision Elham KASHEFI, defence 12/04/2023.
- MARULANDA ACOSTA Valentina : “Quantum Key Distribution through atmospheric turbulence: secure satellite-to-ground links”, supervision Eleni DIAMANTI, defence 12/04/2023.
- PONT Mathieu : “Analysis of Ensembles of Topological Descriptors”, supervision Julien TIERNY, defence 12/01/2023.
- CHAHAL Jamy : “Multi-drones patrol and observation of mobile targets”, supervision Amal EL FALLAH SEGHROUCHNI, defence 11/30/2023.
- GEREST Matthieu : “Using Block Low-Rank compression in mixed precision for sparse direct linear solvers”, supervision Fabienne JÉZÉQUEL, defence 11/08/2023.
- TALEB Abdul Rahman : “Secure and Verified Cryptographic Implementations in the Random Probing Model”, supervision Damien VERGNAUD, defence 11/07/2023.
- DURAND Martin : “Axiomatic and computational aspects of discrete optimization problems in collective settings”, supervision Fanny PASCUAL, defence 10/23/2023.
- DALYAC Constantin : “Analogue randomized benchmarking of Pasqal quantum processors”, supervision Elham KASHEFI, defence 10/20/2023.
- ROMERA Thomas : “Algorithm-Architecture Adaptation for Optical Flow on Embedded GPUs”, supervision Lionel LACASSAGNE, defence 10/13/2023.
- MBA Mathieu Leonel : “Automatic generation of distributed hardware platforms for signal processing applications”, supervision Bertrand GRANADO, Paulin MELATAGIA YONTA, defence 09/26/2023.
- BOVE Clara : “Design and evaluation of explanation user interfaces for complex machine-learning systems”, supervision Marie-Jeanne LESOT, defence 09/15/2023.
- GUIFO FODJO Yvan : “Separation of concerns in extended compartmental models”, supervision Mikal ZIANE, Samuel BOWONG, defence 09/15/2023.
- LE PELLETIER DE WOILLEMONT Pierre : “Simulation Of Diverse Human Play-Styles In Video Games: A Reinforcement Learning Approach”, supervision Amal EL FALLAH SEGHROUCHNI, defence 09/11/2023.
- PANTIN Jérémie : “Detection and semantic characterisation of textual outliers”, supervision Christophe MARSALA, defence 09/11/2023.
- VINCENT Marc : “Reinforcement Learning for Multi-Function Radar Resource Management”, supervision Amal EL FALLAH SEGHROUCHNI, defence 09/08/2023.
- PROSPERI Laurent : “Varda: a language for programming distributed systems by composition”, supervision Mesaac MAKPANGOU, defence 09/05/2023.
- SYED Mohammad Imran : “Wireless passive measurements: tool, redundancy, measurements, and analyses”, supervision Anne FLADENMULLER, defence 09/05/2023.
- FONTES REBELLO Gabriel Antonio : “Payment Channel Networks with Resource-constrained Devices”, supervision Maria POTOP-BUTUCARU, Luís Henrique MACIEL KOSMALSKI COSTA, defence 07/12/2023.
- LÉCUYER Fabrice : “Ordering nodes to scale to large real-world networks”, supervision Lionel TABOURIER, defence 07/06/2023.
- MARTINEZ Florette : “Mathematical studies of arithmetical pseudo-random numbers generators”, supervision Damien VERGNAUD, defence 07/04/2023.
- VALLADE Vincent : “Contributions to the parallel resolution of the SAT problem”, supervision Souheib BAARIR, Fabrice KORDON, defence 06/27/2023.
- SENEL Bérat : “Orchestration de conteneurs pour l'edge cloud”, supervision Olivier FOURMAUX, defence 06/23/2023.
- DESCHAMPS Sébastien : “Deep Active Learning for Visual Recognition with Few Examples”, supervision Hichem SAHBI, defence 06/15/2023.
- GOUEL Matthieu : “Internet-Scale Route Tracing Capture and Analysis”, supervision Olivier FOURMAUX, defence 06/12/2023.
- SPYROU Theofilos : “Functional safety and reliability of neuromorphic computing systems”, supervision Haralampos STRATIGOPOULOS, defence 06/07/2023.
- BOURNIAS Ilias : “Design space exploration of image processing algorithms on FPGAs”, supervision Roselyne CHOTIN, Lionel LACASSAGNE, defence 06/02/2023.
- HATIA Saalik : “Leveraging formal specification to implement a database backend”, supervision Marc SHAPIRO, defence 06/01/2023.
- ALLÈGRE Olivier Sylvain : “Adapting the Prerequisite Structure to the Learner in Student Modeling”, supervision Vanda LUENGO, defence 05/17/2023.
- WILHELM Daniel : “Causal broadcast algorithms for dynamic distributed systems”, supervision Pierre SENS, defence 05/17/2023.
- HOURCADE Hugo : “Enumération de motifs temporels”, supervision Emmanuel CHAILLOUX, defence 05/16/2023.
- GARBAY Thomas : “ZIP-CNN”, supervision Bertrand GRANADO, defence 05/13/2023.
- MARTIN Benoît : “TTCC: Transaction Turn Causal Consistency”, supervision Mesaac MAKPANGOU, defence 04/21/2023.
- LOPEZ DAWN Ricardo : “Stochastic modeling and data analysis for information dissemination in online social platforms”, supervision Anastasios GIOVANIDIS, defence 03/22/2023.
- TYDRICHOVA Magdaléna : “Structural and algorithmic aspects of preference domain restrictions in collective decision making: contributions to the study of single-peaked and Euclidean preferences”, supervision Olivier SPANJAARD, defence 03/21/2023.
- DUCOUSSO Rieul : “Securing access to and from devices in a RISC-V multicore architecture used for virtualization”, supervision Emmanuelle ENCRENAZ, defence 03/15/2023.
- DOUWES Constance : “On the environmental impact of deep generative models for audio”, supervision Jean-Pierre BRIOT, defence 03/10/2023.
- GARCIA FONTÁN Jorge : “Singularity and stability analysis of vision-based controllers”, supervision Mohab SAFEY EL DIN, defence 01/24/2023.
- LE BOUDER Gabriel : “Memory-Optimization for Self-Stabilizing Distributed Algorithms”, supervision Franck PETIT, Lélia BLIN, defence 01/06/2023.
- CIVIT Pierre : “Specification of dynamic probabilistic secure distributed systems”, supervision Maria POTOP-BUTUCARU, defence 12/15/2022.
- KHACEF Kahina : “Trade-off Between Security and Scalability in Blockchain Systems”, supervision Salima BENBERNOU, defence 12/09/2022.
- VU Trung Hieu : “Certificats exacts de positivité pour l'optimisation polynomiale ”, supervision Mohab SAFEY EL DIN, defence 12/09/2022.
- JANIAK Vincent : “Monitoring regional lung ventilation to predict extubation failure”, supervision Andrea PINNA, defence 12/06/2022.
- LEROY Cassandre : “Incremental elicitation combined with heuristic search for multi-objective combinatorial optimization”, supervision Patrice PERNY, defence 12/05/2022.
- NEVES Simon : “Photonic Resources for the Implementation of Quantum Network Protocols”, supervision Eleni DIAMANTI, defence 12/02/2022.
- CÓRDOVA MORALES David Alexis : “Blockchain application for Mesh and Ad hoc networks”, supervision Thi-Mai-Trang NGUYEN, defence 11/30/2022.
- FILOCHE Arthur : “Variational Data Assimilation with Deep Prior. Application to Geophysical Motion Estimation”, supervision Dominique BÉRÉZIAT, defence 11/30/2022.
- KHABAZ Sehla Nana : “Radio Resource Allocation in C-V2X: From LTE-V2X to 5G-V2X”, supervision Thi-Mai-Trang NGUYEN, defence 11/30/2022.
- LI Songlin : “Modelling of an intelligent medical implant in its environment for functional monitoring of the spinal cord”, supervision Sylvain FERUGLIO, defence 11/30/2022.
- DELMAS David : “Static analysis of program portability by abstract interpretation”, supervision Antoine MINÉ, defence 11/28/2022.
- TANG Ning : “Fixed parameter tractibility of UET-UCT scheduling problems”, supervision Alix MUNIER, defence 11/28/2022.
- NIGRON Pierre : “Effectful programs and their proofs in type theory : application to certified compilation and certified packet processing”, supervision Julia LAWALL, defence 11/17/2022.
- YANG Furong : “”, supervision Giovanni PAU, defence 11/02/2022.
- FERGUSON Andrew : “Exact Algorithms for Polynomial Optimisation”, supervision Mohab SAFEY EL DIN, defence 10/24/2022.
- YEHIA Raja : “Design and optimization tools for the quantum internet”, supervision Eleni DIAMANTI, defence 10/24/2022.
- SAULPIC David : “Approximation Algorithms and Sketches for Clustering”, supervision Christoph DÜRR, defence 09/13/2022.
- SCIALOM Thomas : “Natural Language Generation with Reinforcement Learning”, supervision Patrick GALLINARI, defence 07/06/2022.
- LYS Léonard : “Security and reliability of cross-chain exchanges”, supervision Maria POTOP-BUTUCARU, defence 07/05/2022.
- SIMON Etienne : “Deep Learning for Natural Language Understanding”, supervision Vincent GUIGUE, defence 07/05/2022.
- GRARI Vincent : “Fair machine learning”, supervision Marcin DETYNIECKI, defence 06/22/2022.
- OLIVO Andrea : “Sécurité des protocoles quantiques de vérification de la position”, supervision Frédéric GROSSHANS, defence 06/15/2022.
- WU David : “Optimization models for multi-stream energy consumption management”, supervision Viet Hung NGUYEN, defence 05/20/2022.
- MARTIN Hugo : “Multi-objective optimisation and preference elicitation based on rank-dependant models and reference points”, supervision Patrice PERNY, defence 05/18/2022.
- DE BUFALA Nicolas : “Impacts of digital automation on labor markets : an agent-based approach”, supervision Jean-Daniel KANT, defence 05/16/2022.
- FACI Adam : “Representation, simulation and exploitation of knowledge in the conceptual graphs formalism”, supervision Marie-jeanne LESOT, defence 04/13/2022.
- DOGEAS Konstantinos : “Minimisation de l'énergie, mouvements de données, et données incertaines: modèles et algorithmes”, supervision Evripidis BAMPIS, defence 04/06/2022.
- COLISSON Léo : “Study of Protocols between Classical Clients and a Quantum Server”, supervision Elham KASHEFI, defence 03/28/2022.
- SAHEL Faten : “Contribution to the modelling of crosstalk between power supplies and sensitive signals in high-density interconnection PCBs”, supervision Sylvain FERUGLIO, defence 03/28/2022.
- ROMAN RODRIGUEZ Victor : “Quantum Optics Systems for Long-Distance Cryptography and Quantum Networks”, supervision Eleni DIAMANTI, defence 03/25/2022.
- ROUMESTAN François : “Techniques avancées de traitement de signal et codage pour les systèmes à distribution de clé quantique sur fille optique basés sur des variables continues ”, supervision Eleni DIAMANTI, defence 03/21/2022.
- LASSERRE Marvin : “Learning non-parametric Copula Bayesian Networks”, supervision Christophe GONZALES, defence 03/11/2022.
- CASALS DO NASCIMENTO Arthur Henrique : “Smart Mobility - An approach using multiagent planning and coordination”, supervision Amal EL FALLAH SEGHROUCHNI, defence 03/10/2022.
- FAVIER Arnaud : “Eventual Leader Elections in Dynamic Networks”, supervision Pierre SENS, defence 03/02/2022.
- BOOTH Robert : “Measurement-based quantum computation beyond qubits”, supervision Damian MARKHAM, defence 02/22/2022.
- KHIZAR Sadia : “Leveraging mobile devices beyond the edge toward task offloading”, supervision Marcelo DIAS DE AMORIM, defence 02/15/2022.
- FRANCESCHI Jean-Yves : “Representation Learning and Deep Generative Modeling in Dynamical Systems”, supervision Patrick GALLINARI, defence 02/14/2022.
- HENNEQUIN Arthur : “Performance optimisation for the LHCb experiment”, supervision Lionel LACASSAGNE, defence 01/31/2022.
- BAAJ Ismail : “Explainability of possibilistic and fuzzy rule-based systems”, supervision Nicolas MAUDET, defence 01/27/2022.
- CHEN Yi-Ting : “Random generation of executions of concurrent systems”, supervision Jean MAIRESSE, defence 01/07/2022.
- DESSIMOND Boris : “”, supervision Pau GIOVANNI, defence 12/22/2021.
- HOUHOU Sara : “Parameterised Verification from Formal Specifications of Information Systems”, supervision Pascal POIZAT, Laîd KAHLOUL, defence 12/22/2021.
- TOUMLILT Ilyas : “Colony: A Hybrid Consistency System for Highly-Available Collaborative Edge Computing”, supervision Marc SHAPIRO, defence 12/21/2021.
- SHETTELL Nathan : “Quantum Information Techniques for Quantum Metrology”, supervision Damian MARKHAM, defence 12/20/2021.
- JANKOVIC Anja : “Towards Online Landscape-Aware Algorithm Selection in Numerical Black-Box Optimization”, supervision Carola DOERR, defence 12/17/2021.
- MEIGNANT Clément : “Multipartite communications over quantum networks”, supervision Damian MARKHAM, defence 12/17/2021.
- MAHMOUD Doaa : “Bandpass Sigma-Delta Modulators with one and two op-amp resonators.”, supervision Hassan ABOUSHADY, Marie-Minerve LOUËRAT, defence 12/15/2021.
- ALVES ESTEVES José Jurandir : “Optimization of Network Slice Placement in Distributed Large Scale Infrastructures : From Heuristics to Controlled Deep Reinforcement Learning”, supervision Pierre SENS, defence 12/13/2021.
- GAINON DE FORSAN DE GABRIAC Clara : “Deep Natural Language Processing for User Representation”, supervision Patrick GALLINARI, defence 12/13/2021.
- SID-OTMANE Jonathan : “A study of data consistency constraints in 5G, applied to limiting resource usage in network slices”, supervision Marc SHAPIRO, defence 12/13/2021.
- VIDAL Jules : “Progressivity in Topological Data Analysis”, supervision Julien TIERNY, defence 12/08/2021.
- MAKAREM Nabil : “Performance Evaluation and Improvement of Congestion Control of the Constrained Application Protocol for the Internet-of-Things”, supervision Naceur MALOUCH, Imad MOUGHARBEL, defence 12/07/2021.
- MONAT Raphaël : “Static Type and Value Analysis by Abstract Interpretation of Python Programs with Native C Libraries”, supervision Antoine MINÉ, defence 11/22/2021.
- MORAIS CANELLAS Camila : “A Learning Analytics Metamodel”, supervision Vanda LUENGO, defence 11/08/2021.
- EMÉRIAU Pierre-Emmanuel : “The interplay between quantum contextuality and Wigner negativity”, supervision Elham KASHEFI, defence 11/02/2021.
- ALI EL SAYED Sarah : “Fault Tolerance in Hardware Spiking Neural Networks”, supervision Haralampos STRATIGOPOULOS, defence 10/28/2021.
- QUEZADA Franco : “Génération des coupes et approches basées sur la décomposition pour résoudre des problèmes lot-sizing stochastiques à plusieurs étapes”, supervision Safia KEDAD-SIDHOUM, defence 10/28/2021.
- DE BEZENAC Emmanuel : “Modeling Physical Processes with Deep Learning: A Dynamical Systems Approach”, supervision Patrick GALLINARI, defence 10/21/2021.
- PEPIN Martin : “Quantitative and algorithmic analysis of concurrent programs”, supervision Antoine GENITRINI, defence 09/29/2021.
- LAMRAYAH Mehdi : “Modèles de réseaux de neurones profonds interprétables pour la classification de séries temporelles univariées et multivariées”, supervision Patrick GALLINARI, defence 09/02/2021.
- MUSIC Luka : “Multi-Party Quantum Cryptography: From Folklore to Real-World”, supervision Elham KASHEFI, defence 07/09/2021.
- ELSHAMY Mohamed : “Design for security in mixed analog-digital integrated circuits”, supervision Haralampos STRATIGOPOULOS, Marie-Minerve LOUËRAT, defence 07/07/2021.
- NAIR Sreeja : “Designing safe and highly available distributed applications”, supervision Marc SHAPIRO, defence 07/01/2021.
- VENIAT Tom : “Neural Architecture Search under Budget Constraints”, supervision Ludovic DENOYER, defence 07/01/2021.
- REBIERE Valentin : “Image processing for a RGB-Z mixed matrix”, supervision Andrea PINNA, defence 06/30/2021.
- GROLLEMUND Vincent : “Data mining and modeling of poorly structured or unstructured data”, supervision Jean-François PRADAT-PEYRE, defence 06/25/2021.
- LI Ke : “Exploring Topic Evolution in Large Scientific Archives with Pivot Graphs”, supervision Bernd AMANN, defence 06/22/2021.
- DUCAMP Gaspard : “Probabilistic rules optimized compilation”, supervision Christophe GONZALES, defence 04/13/2021.
- BEN EL OUAHMA Ines : “Analyse de robustesse et sécurisation de codes assembleur contre les attaques physiques”, supervision Emmanuelle ENCRENAZ, defence 04/07/2021.
- CRIBIER-DELANDE Perrine : “Contexts and user modelling through disentangled representations learning”, supervision Ludovic DENOYER, defence 04/02/2021.
- VU Son Tuan : “Préservation des propriétés dans un flot de compilation optimisant”, supervision Karine HEYDEMANN, defence 04/02/2021.
- LEONHARD Julian : “Analog Hardware Security and Trust”, supervision Haralampos STRATIGOPOULOS, defence 03/25/2021.
- PASS-LANNEAU Adèle : “Anchored solutions in robust combinatorial optimization”, supervision Pierre FOUILHOUX, defence 03/16/2021.
- AGUIARI Davide : “Exploring Computing Continuum in IoT Systems: Sensing, Communicating and Processing at the Network Edge”, supervision Giovanni PAU, defence 02/25/2021.
- VASILAS Dimitrios : “A flexible and decentralised approach to query processing for geo-distributed data systems”, supervision Marc SHAPIRO, defence 02/19/2021.
- GHORAI Shouvik : “Continuous-variable quantum cryptographic protocols”, supervision Eleni DIAMANTI, defence 02/12/2021.
- RYCKEGHEM Jocelyn : “Design and Cryptanalysis in Multivariate Quantum-Safe Cryptography”, supervision Jean-Charles FAUGÈRE, defence 02/08/2021.
- MATOUSSI Salma : “User-Centric Slicing with Functional Splits in 5G Cloud-RAN”, supervision Rami LANGAR, defence 01/22/2021.
- FARINA Giovanni : “Tractable reliable communication in dynamic compromised network”, supervision Sébastien TIXEUIL, Silvia BONOMI, defence 12/21/2020.
- FRAYSSE Guillaume : “Distributed resource allocation for virtual networks”, supervision Pierre SENS, defence 12/18/2020.
- LEHAUT Mathieu : “Synthesis for Parameterized Systems”, supervision Béatrice BÉRARD, defence 12/17/2020.
- CHAKRABORTY Olive : “Design and cryptanalysis of post-quantum cryptosystems”, supervision Jean-Charles FAUGÈRE, defence 12/16/2020.
- BARTHÉLÉMY Lucas : “A First Approach To Asymmetric White-Box Cryptography and a Study of Permutation Polynomials Modulo 2^n in Obfuscation”, supervision Jean-Claude BAJARD, defence 12/14/2020.
- BLAISE Agathe : “Novel anomaly detection and classification algorithms for IP and mobile networks”, supervision Stefano SECCI, defence 12/14/2020.
- BOUFEDJI Dounia : “Vers une approche d’ingénierie multi-agents à base de lignes de produits logiciels”, supervision Zahia GUESSOUM, defence 12/14/2020.
- HERIBAN Adam : “Realistic Robot Networks”, supervision Sébastien TIXEUIL, defence 12/09/2020.
- VU Thi Xuan : “Homotopy algorithms for solving structured determinantal systems”, supervision Mohab SAFEY EL DIN, defence 12/09/2020.
- ZALESKI Laetitia : “Decision-making and negotiation assistant using viability analysis. An application to the participatory management of protected areas”, supervision Jean-Pierre BRIOT, Isabelle ALVAREZ, Marta DE AZEVEDO IRVING, defence 12/08/2020.
- POULAIN Rémy : “Analyse et modélisation de la diversité des structures relationnelles à l’aide de graphes multipartis”, supervision Clémence MAGNIEN, defence 12/04/2020.
- TEILLER Alexandre : “Algorithmic Aspects of “Multistage” Optimization”, supervision Bruno ESCOFFIER, defence 12/01/2020.
- BORDES Patrick : “Deep Multimodal Learning for Joint Textual and Visual Reasoning”, supervision Patrick GALLINARI, defence 11/26/2020.
- SERRANO Lucas : “Automatic Inference of Software transformation rules for automatically back and forward portiing legacy infrastructure sofware”, supervision Julia LAWALL, defence 11/25/2020.
- MERCADIER Darius : “Usuba, Optimizing Bitslicing Compiler”, supervision Gilles MULLER, defence 11/20/2020.
- BOTTERMAN Hong-Lan : “Opinion Dynamics and Political Conficts in the Media - a complex Network Perspective”, supervision Clémence MAGNIEN, defence 11/19/2020.
- GÉRALD Thomas : “Representation Learning for large scale classification”, supervision Patrick GALLINARI, defence 11/17/2020.
- LANIEL Francis : “MemOpLight: toward memory consolidation for containers thanks to application feedback”, supervision Marc SHAPIRO, defence 11/09/2020.
- RANNOU Léo : “Temporal Connectivity and Path Computation for Stream Graph”, supervision Matthieu LATAPY, defence 11/09/2020.
- FALQ Anne-Elisabeth : “Dominances en programmation linéaire : ordonnancement autour d’une date d’échéance commune”, supervision Safia KEDAD-SIDHOUM, Pierre FOUILHOUX, defence 11/02/2020.
- GOUICEM Redha : “Thread Scheduling in Multi-core Operating Systems”, supervision Gilles MULLER, defence 10/23/2020.
- AMOUSSOU-GUENOU Yackolley : “Governing the commons in Blockchains”, supervision Maria POTOP-BUTUCARU, defence 10/08/2020.
- LENART Marcin : “Sensor Information Scoring for Decision-Aid Systems in Railway Domain”, supervision Marie-Jeanne LESOT, Andrzej BIELECKI, defence 10/02/2020.
- SALL Boubacar Demba : “Programmation impérative par raffinements avec l'assistant de preuve Coq”, supervision Emmanuel CHAILLOUX, defence 10/01/2020.
- MAZARI Ahmed : “Graph Convolutional Neural Networks and Multiple Kernel Learning for Action Recognition in Videos”, supervision Hichem SAHBI, defence 09/22/2020.
- COURTOIS Jérome : “Study of cryptosystem implementation leaks in random RNS arithmetic”, supervision Jean-Claude BAJARD, defence 09/10/2020.
- CHEN Yifu : “Deep learning for visual semantic segmentation”, supervision Matthieu CORD, defence 09/09/2020.
- CHABAUD Ulysse : “Continuous Variable Quantum Advantages and Applications in Quantum Optics”, supervision Damian MARKHAM, defence 07/22/2020.
- CADENE Rémi : “Deep multimodal learning for vision and language processing”, supervision Matthieu CORD, defence 07/08/2020.
- BROOKS Daniel : “Deep Learning and Information Geometry for Time-Series Classification”, supervision Matthieu CORD, defence 07/03/2020.
- LAUGEL Thibault : “Local Post-hoc Interpretability for Black-box Classifiers”, supervision Christophe MARSALA, Marie-Jeanne LESOT, defence 07/03/2020.
- CHEN Mickael : “Learning with Weak Supervision Using Deep Generative Networks”, supervision Ludovic DENOYER, defence 07/02/2020.
- DELASALLES Edouard : “Inferring and Predicting Dynamic Representations for Structured Temporal Data”, supervision Ludovic DENOYER, defence 06/30/2020.
- PETRETO Andrea : “Débruitage Vidéo Temps Réel pour Systèmes Embarqués”, supervision Lionel LACASSAGNE, defence 06/29/2020.
- BREJON Jean-Baptiste : “Quantification de la sécurité des applications en présence d'attaques physiques et détection de chemins d'attaques”, supervision Karine HEYDEMANN, Emmanuelle ENCRENAZ, defence 06/26/2020.
- LIU Rutian : “Semantic Services for Assisting Users to Augment Data in the Context of Analytic Data Sources”, supervision Bernd AMANN, defence 06/24/2020.
- ENGILBERGE Martin : “Deep multimodal embeddings and grounding”, supervision Matthieu CORD, defence 06/12/2020.
- ZEBIRI Aniss : “Estimation of dynamics from multiscale image assimilation. Application to : Rain nowcasting from ground radar images”, supervision Dominique BÉRÉZIAT, defence 06/11/2020.
- AIT ABA Massinissa : “Optimisation de l’énergie et de la performance d’applications sur des micro-servers hétérogènes”, supervision Alix MUNIER, defence 06/04/2020.
- BADRAN Tamer : “Spectrum Sensing Using RF Software Defined Radio Receivers”, supervision Hassan ABOUSHADY, defence 06/02/2020.
- VERMEULEN Kévin : “Improved algorithms for capturing Internet maps”, supervision Prométhée SPATHIS, defence 06/02/2020.
- KHARCHENKO Natalia : “Lattice algorithms and lattice-based cryptography”, supervision Antoine JOUX, defence 05/27/2020.
- JIN Shendan : “Algorithmes en ligne avec re-optimisation”, supervision Christoph DÜRR, defence 05/18/2020.
- COURTAUD Cédric : “Characterization of the sensitivity to memory interferences in real-time systems embedded on multi-core platforms”, supervision Gilles MULLER, defence 01/28/2020.
- ESPITAU Thomas : “Algorithmic aspects of algebraic lattices”, supervision Antoine JOUX, defence 01/14/2020.
- BERTIER Clément : “Quantification in Device-to-Device Networks: from Link Estimation to Graph Utility”, supervision Marcelo DIAS DE AMORIM, defence 01/13/2020.
- PAJOT Arthur : “Incorporating Physical Knowledge Into Deep Neural Network”, supervision Patrick GALLINARI, defence 12/19/2019.
- METIN Hakan : “Exploitation des symétries dynamiques pour la résolution des problèmes SAT”, supervision Fabrice KORDON, defence 12/18/2019.
- BU Gewu : “Reliability, security and privacy in WBAN”, supervision Maria POTOP-BUTUCARU, defence 12/11/2019.
- OTHMANI Mehdi : “Apport des methodes de deep learning au probleme de la patrouille multiagent dans un environnement dynamique”, supervision Amal EL FALLAH SEGHROUCHNI, defence 12/11/2019.
- DIAS Charles-Emmanuel : “Expliciter le filtrage collaboratif par le traitement automatique des langues”, supervision Patrick GALLINARI, defence 12/10/2019.
- NZEKON NZEKO'O Armel Jacques : “Recommender system with temporal dynamics based on link streams”, supervision Matthieu LATAPY, defence 12/09/2019.
- BAH Mamadou Tahirou : “Definition of a language for the unification of local and cloud networks”, supervision Thi-Mai-Trang NGUYEN, defence 12/06/2019.
- MARREZ Jeremy : “Arithmétiques Randomisées pour la cryptographie”, supervision Jean-Claude BAJARD, defence 12/06/2019.
- ROUX Antoine Dimitri : “Streaming unidirectional auto-correcting codes through ELIPS-SD diods”, supervision Michèle SORIA, Laurent FREREBEAU, Hervé DELPEYRAT, defence 12/02/2019.
- FOSSATI Francesca : “Novel notions of fairness and resource allocation for congested networked systems”, supervision Stefano SECCI, defence 11/29/2019.
- CHUQUIMIA CAMACHO Orlando Luis : “Smart Vision Chip for colon exploration”, supervision Bertrand GRANADO, Xavier DRAY, defence 11/22/2019.
- JOURNAULT Matthieu : “Precise and modular static analysis by abstract interpretation for the automatic proof of program soundness and contracts inference”, supervision Antoine MINÉ, defence 11/21/2019.
- MEZHER Rawad : “Randomness for quantum information processing”, supervision Damian MARKHAM, Joseph DGHEIM, defence 11/15/2019.
- VAROUMAS Steven : “High-level programming models for microcontrollers with scarce resources”, supervision Tristan CROLARD, defence 11/05/2019.
- EFFA BELLA Emma : “Benefits of semi-supervised learning techniques in recovering traceability links between design artifacts”, supervision Marie-Pierre GERVAIS, defence 10/28/2019.
- HARRAK Fatima : “Analyzing learners questions and associated profiles in online environments”, supervision Vanda LUENGO, defence 10/25/2019.
- BOZIC Nikola : “Blockchain technologies and their application to secure virtualized infrastructure control”, supervision Guy PUJOLLE, defence 10/18/2019.
- LAMPLE Guillaume : “Unsupervised Machine Translation”, supervision Ludovic DENOYER, defence 10/17/2019.
- ZABLOCKI Eloi : “Multimodal machine learning: complementarity of textual and visual contexts”, supervision Patrick GALLINARI, Benjamin PIWOWARSKI, Laure SOULIER, defence 10/14/2019.
- MEHR Eloi : “Unsupervised Learning of 3D Shape Spaces for 3D Modeling”, supervision Matthieu CORD, defence 10/10/2019.
- ABED Hamza : “Serious Game Design Models for Vocational Training. Application to the contexts of Factory of the future and the medical field”, supervision Thibault CARRON, defence 10/09/2019.
- ROBERT Thomas : “Improving ConvNets Latent Representations for Visual Understanding”, supervision Matthieu CORD, defence 10/03/2019.
- BOUCHARD Sébastien : “On the Deterministic Gathering of Mobile Agents”, supervision Franck PETIT, defence 09/26/2019.
- GUINEBERT Mathieu : “Automatic Detection of peer interactions in Multi-Player Learning Game”, supervision Vanda LUENGO, defence 09/20/2019.
- WILMET Audrey : “Anomaly Detection in Link Streams. Combining Structural and Temporal features”, supervision Matthieu LATAPY, defence 07/23/2019.
- TONNELIER Emeric : “Apprentissage de représentations pour les traces de mobilité”, supervision Patrick GALLINARI, defence 07/11/2019.
- LE FRIOUX Ludovic : “Towards more efficient parallel SAT solving”, supervision Fabrice KORDON, defence 07/03/2019.
- HANNOU Fatma : “A model and an algebra of motifs for the representation and interrogation of completeness of relative information”, supervision Bernd AMANN, defence 06/28/2019.
- BOURNAT Marjorie : “Graceful Degradation and Speculation for Robots in Highly Dynamic Environments”, supervision Franck PETIT, defence 06/27/2019.
- BOURRIER Yannick : “Diagnostic et prise de décision pour la construction de compétences non-techniques en situation critique”, supervision Vanda LUENGO, Catherine GARBAY, defence 06/21/2019.
- SOLER Maxime : “Large Data Reduction and Structure Comparison with Topological Data Analysis”, supervision Julien TIERNY, defence 06/20/2019.
- MBATCHOU Guy : “Towards a model to support the learning in Learning Management Systems”, supervision Thibault CARRON, defence 06/13/2019.
- BENDER Matias Rafael : “Algorithms for sparse polynomial systems : Gröbner bases and resultants”, supervision Jean-Charles FAUGÈRE, defence 06/03/2019.
- JEANGOUDOUX Clothilde : “Automatic Test Generation for Numerical Software in the Context of Aircraft Certification”, supervision Stef GRAILLAT, defence 05/21/2019.
- BEN YOUNES Hedi : “Multi-modal representation learning towards visual reasoning”, supervision Matthieu CORD, defence 05/20/2019.
- CARVER Damien : “Advanced consolidation for dynamic containers”, supervision Sébastien MONNET, defence 05/17/2019.
- LEBIS Alexis : “Modèles et outils pour créer et formaliser des processus d’analyses de traces d’interaction dans le contexte du e-learning en vue de leur capitalisation, enrichissement et réutilisation.”, supervision Vanda LUENGO, defence 05/16/2019.
- LÉON Aurélia : “Budgeted sequential learning for extreme classification and for the discovery of hierarchy in reinforcement learning”, supervision Ludovic DENOYER, defence 05/10/2019.
- DE ARAUJO João Paulo : “A Communication-Efficient Causal Broadcast Publish/Subscribe System”, supervision Pierre SENS, defence 04/05/2019.
- GUILLON Arthur : “Regularization operators for fuzzy subspace clustering”, supervision Christophe MARSALA, defence 03/01/2019.
- SUZANNE Thibault : “Verification by Abstract Interpretation Under Weakly Consistent Memory”, supervision Antoine MINÉ, defence 02/26/2019.
- GUEUNET Charles : “High Performance Level-set based Topological Data Analysis”, supervision Julien TIERNY, defence 02/15/2019.
- LEMAITRE Florian : “Tracking haute fréquence pour architectures SIMD : optimisation de la reconstruction LHCb”, supervision Lionel LACASSAGNE, defence 02/13/2019.
- CARRASCAL MANZANARES Carlos : “Parallélisation d’un code éléments finis spectraux. Application au contrôle non destructif par ultrasons”, supervision Lionel LACASSAGNE, defence 02/08/2019.
- CEROVIC Danilo : “Resilient and highly performant network architecture for virtualized data centers”, supervision Guy PUJOLLE, defence 02/07/2019.