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 |
- 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.
- TAKOUGANG TCHINDA Sylvain Fidel : “Automatic Interpretation of Bitstream and Malicious Circuit Detection by Artificial Intelligence for FPGA Security”, supervision Andrea PINNA, defence 01/10/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.