Show Menu
Hide Menu
巴黎六大计算机科学实验室
主任寄语
组织
巴黎六大计算机科学实验室-布局一览
主管
客务服务
IT Service
科学委员会
管理委员会
板
Teaching
交通路线
研究
Axes & Teams
刊物
项目
ERC Projects
European Projects
Priority Research Programmes and Equipments
Common Laboratories
ANR Projects
年报
估价
Our skills
Works with us
Software
专利
新兴公司
工作
职员电话号码
座谈会
🔒
📫
🇨🇳
🇫🇷
🇬🇧
🇨🇳
-
Computer Science Laboratory
研究
刊物
Thesis
现有科研组 :
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
以前研究课题 :
ANP
APA
ASIM
CALFOR
OASIS
RP
SPI
SRC
SYSDEF
FOURQUET Océane
:
“
Interpretable Classification Methods for Phenotype Prediction in Biomedicine
” 责任导师 Carola DOERR, 答辩 2025-6-23
HERIN Margot
:
“
Learning Preference Models: A Marriage between Decision Theory and Machine Learning
” 责任导师 Patrice PERNY, 答辩 2025-6-20
JAIME Damien
:
“
Analysis and evolution of dependencies in software ecosystems
” 责任导师 Pascal POIZAT, 答辩 2025-6-20
OUAGUENOUNI Mohamed
:
“
Learning and predicting preferences over sets under element interactions and preference cycles
” 责任导师 Olivier SPANJAARD, 答辩 2025-6-5
AYOUBI Solayman
:
“
Data-driven Evaluation of Network Intrusion Detection Systems
” 责任导师 Sébastien TIXEUIL, 答辩 2025-5-26
CALLE VIERA Andersson
:
“
Implementations of Post-Quantum Cryptography Algorithms Secured Against Physical Attacks
” 责任导师 Damien VERGNAUD, 答辩 2025-4-11
DOS SANTOS MARTINS Laura
:
“
Implementation of Protocols for Quantum Photonic Networks
” 责任导师 Eleni DIAMANTI, 答辩 2025-3-27
SUZANNE Hector
:
“
Reusable Static Resource Analyses for High-level Languages
” 责任导师 Emmanuel CHAILLOUX, 答辩 2025-3-20
PANDEY Ayush
:
“
CALock : Topological Multi-Granularity Locking for Hierarchical data
” 责任导师 Mesaac MAKPANGOU, 答辩 2025-3-17
VERGER Mélina
:
“
Algorithmic fairness analyses of supervised machine learning in education
” 责任导师 Vanda LUENGO, 答辩 2024-12-20
MEYER Uta Isabella
:
“
Nonlocality & Self-testing Graph States with Bounded Communication
” 责任导师 Damian MARKHAM, 答辩 2024-12-19
SAOULI Sabrine
:
“
Contributions to SAT Solving
” 责任导师 Souheib BAARIR, 答辩 2024-12-19
YACOUB Verena
:
“
Experimental Demonstration of Quantum Advantage for Computing and Communication Tasks
” 责任导师 Eleni DIAMANTI, 答辩 2024-12-18
XEFTERIS Michalis
:
“
Online and Approximation Algorithms: Beyond Worst-Case Paradigms
” 责任导师 Evripidis BAMPIS, Bruno ESCOFFIER, 答辩 2024-12-17
XU Hao
:
“
Hybridization of Constraint Compilation Methods, SAT Solvers, and Learning Techniques to Manage the Complexity of Renault’s Product Line
” 责任导师 Souheib BAARIR, 答辩 2024-12-16
MARTIN Garance
:
“
Image analysis with artificial intelligence methods for digestive endoscopic intervention
” 责任导师 Andrea PINNA, Isabell BLOCH, 答辩 2024-12-13
MUNRO Yann
:
“
Causal explanations for abstract argumentation : classical, temporal and quantitative bipolar frameworks
” 责任导师 Isabelle BLOCH, 答辩 2024-12-10
PIÉTRI Yoann
:
“
System Integration of High-Performance Continuous-Variable Quantum Key Distribution
” 责任导师 Eleni DIAMANTI, 答辩 2024-12-9
MILLET Maxime
:
“
Optimization and Time/Quality Trade-Off of an Optical Flow Algorithm on Low-Power SoC for Real-Time Meteor Detection Onboard a Nanosatellite
” 责任导师 Lionel LACASSAGNE, 答辩 2024-12-4
MAHAMDI Célia
:
“
Distributed Multi-Consensus: Aggregation and Revocability
” 责任导师 Mesaac MAKPANGOU, 答辩 2024-12-2
MAURICE Nathan
:
“
Design of efficient irregular algorithms on embedded and heterogeneous parallel platforms
” 责任导师 Lionel LACASSAGNE, 答辩 2024-11-29
SYLVESTRE Loic
:
“
Safe, expressive and efficient FPGA programming
” 责任导师 Emmanuel CHAILLOUX, 答辩 2024-11-25
HADJ ALI Mahdi
:
“
Enhancing AI Interpretability through Causal Reasoning: Preventing Misinterpretations with Improved Explanations
” 责任导师 Nicolas MAUDET, 答辩 2024-11-14
RAHIMI Hamed
:
“
Modeling Topic Evolution in Scientific Archives with Deep Learning
” 责任导师 Bernd AMANN, 答辩 2024-11-7
MOHR Rafael
:
“
Fast Groebner Bases Algorithms for Ideal Theoretic Computations in Commutative Algebra
” 责任导师 Mohab SAFEY EL DIN, 答辩 2024-10-25
FERRO Quentin
:
“
Precision auto-tuning and numerical validation
” 责任导师 Fabienne JÉZÉQUEL, Stef GRAILLAT, 答辩 2024-10-16
MAIRE Jules
:
“
Zero-Knowledge Arguments from Secure Multiparty Computation
” 责任导师 Damien VERGNAUD, 答辩 2024-10-11
MALLEM Maher
:
“
Parameterized Complexity and New Efficient Enumerative Schemes for RCPSP
” 责任导师 Claire HANEN, 答辩 2024-10-11
GUIGON Gaëlle
:
“
Asymmetric Scenarios for Multi-Player Serious Games
” 责任导师 Thibault CARRON, 答辩 2024-10-10
QUELENNEC Katia
:
“
Students-facing Learning Analytics Dashboards adapted, adaptable and adaptive over time: from design to modeling
” 责任导师 Thibault CARRON, 答辩 2024-10-10
ARCHAMBAULT Théo
:
“
Downscaling of oceans fields by fusion of heterogeneous observations using Deep Learning Algorithms
” 责任导师 Dominique BÉRÉZIAT, 答辩 2024-10-4
TAHERI SOJASI Yousef
:
“
Modeling Automated Legal and Ethical Compliance for Trustworthy AI
” 责任导师 Jean-Gabriel GANASCIA, Gauvain BOURGNE, 答辩 2024-10-4
DEL CISTIA-GALLIMARD Caroline
:
“
Flight loads recognition using machine learning in order to increase flight safety and improve maintenance predictive service
” 责任导师 Bertrand GRANADO,Christophe MARSALA, 答辩 2024-10-3
MOLINA Roméo
:
“
Mixed precision for High Performance Computing, application to low energy gamma radiation measurements
” 责任导师 Fabienne JÉZÉQUEL, 答辩 2024-9-30
GROSS-HUMBERT Nathanaël
:
“
Study of the notion of diversity in the context of allocation problems with groups of agents
” 责任导师 Aurélie BEYNIER, 答辩 2024-9-4
CLÉMENT François
:
“
Efficient algorithms for discrepancy subset selection
” 责任导师 Carola DOERR, 答辩 2024-7-18
CHARON Clara
:
“
Probabilistic Classification for the Prediction and Explanation of Adverse and Avoidable Health Events in Nursing Homes
” 责任导师 Patrice PERNY, 答辩 2024-7-9
PAROLINI Francesco
:
“
Static Analysis for Security Properties of Software by Abstract Interpretation
” 责任导师 Antoine MINÉ, 答辩 2024-6-26
BAYET Théophile
:
“
Characterizing inclusivity of deep learning based vision systems for southern countries
” 责任导师 Christophe DENIS, Alassane BAH, 答辩 2024-6-19
MARSAL Rémi
:
“
Motion Analysis in Videos with Deep Self-Supervised Learning
” 责任导师 Hichem SAHBI, 答辩 2024-5-29
FONTAINE Jonathan
:
“
Optimization of the insertion of countermeasures for the security of Integrated Circuits
” 责任导师 Roselyne CHOTIN, 答辩 2024-5-24
SARMIENTO LOZANO Camilo
:
“
Formalising ethical reasoning: modelling ethical processes and modelling, representing and automating causal reasoning
” 责任导师 Jean-Gabriel GANASCIA, Gauvain BOURGNE, 答辩 2024-4-26
FRADET Nathan
:
“
Deep Learning for Symbolic Music Modeling
” 责任导师 Amal EL FALLAH SEGHROUCHNI, 答辩 2024-3-14
LEICHTLE Dominik
:
“
Security and Efficiency of Delegated Quantum Computing
” 责任导师 Antoine JOUX, 答辩 2024-2-23
JEYASOTHY Adulam
:
“
Interprétabilité des modèles en apprentissage automatique
” 责任导师 Marie-Jeanne LESOT, Christophe MARSALA, 答辩 2024-2-20
HUANG Yining
:
“
Digital twin for the dynamic orchestration of autonomous and embedded systems
” 责任导师 Jacques MALENFANT, 答辩 2024-2-8
WLADDIMIRO Daniel
:
“
Dynamic Adaptation in Stream Processing System
” 责任导师 Pierre SENS, 答辩 2024-1-8
SHAMS Parham
:
“
Procedures based on Exchanges and new Relaxations of Envy-Freeness in Fair Division of Indivisible Goods
” 责任导师 Aurélie BEYNIER, Nicolas MAUDET, 答辩 2023-12-21
OUDRHIRI Ali
:
“
Performance of a Neural Network Accelerator Architecture and its Optimization Using a Pipeline-Based Approach
” 责任导师 Alix MUNIER, 答辩 2023-12-20
PRÉBET Rémi
:
“
Connectivity in real algebraic sets: algorithms and applications
” 责任导师 Mohab SAFEY EL DIN, 答辩 2023-12-20
KHEIREDDINE Anissa
:
“
Contribution to SAT-based Bounded Model Checking
” 责任导师 Souheib BAARIR, 答辩 2023-12-19
VAILLAUD Hugo Nicolas
:
“
Algorithms for the Search of a Moving Air Target with a Radar Onboard an Airborne Platform
” 责任导师 Claire HANEN, 答辩 2023-12-15
BAUDIN Alexis
:
“
Static and temporal cliques: enumeration and community detection algorithms
” 责任导师 Clémence MAGNIEN, Lionel TABOURIER, 答辩 2023-12-14
ANGRISANI Armando
:
“
The disparate impact of noise on quantum learning algorithms
” 责任导师 Elham KASHEFI, 答辩 2023-12-11
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
” 责任导师 Thibault CARRON, 答辩 2023-12-11
DUPONT Robin
:
“
Conception de modèles d'Apprentissage profond pour objets connectés
” 责任导师 Hichem SAHBI, 答辩 2023-12-8
MA Yao
:
“
Quantum Hardware Security and Near-term Applications
” 责任导师 Elham KASHEFI, 答辩 2023-12-4
MARULANDA ACOSTA Valentina
:
“
Quantum Key Distribution through atmospheric turbulence: secure satellite-to-ground links
” 责任导师 Eleni DIAMANTI, 答辩 2023-12-4
PONT Mathieu
:
“
Analysis of Ensembles of Topological Descriptors
” 责任导师 Julien TIERNY, 答辩 2023-12-1
CHAHAL Jamy
:
“
Multi-drones patrol and observation of mobile targets
” 责任导师 Amal EL FALLAH SEGHROUCHNI, 答辩 2023-11-30
CORREIA BRUM Rafaela
:
“
Multi-FedLS : A Scheduler of Federated Learning Applications in a Multi-Cloud Environment
” 责任导师 Lúcia Maria DE ASSUMPÇÃO DRUMMOND, 答辩 2023-11-29
GEREST Matthieu
:
“
Using Block Low-Rank compression in mixed precision for sparse direct linear solvers
” 责任导师 Fabienne JÉZÉQUEL, 答辩 2023-11-8
TALEB Abdul Rahman
:
“
Secure and Verified Cryptographic Implementations in the Random Probing Model
” 责任导师 Damien VERGNAUD, 答辩 2023-11-7
DALYAC Constantin
:
“
Analogue randomized benchmarking of Pasqal quantum processors
” 责任导师 Elham KASHEFI, 答辩 2023-10-20
ROMERA Thomas
:
“
Algorithm-Architecture Adaptation for Optical Flow on Embedded GPUs
” 责任导师 Lionel LACASSAGNE, 答辩 2023-10-13
MBA Mathieu Leonel
:
“
Automatic generation of distributed hardware platforms for signal processing applications
” 责任导师 Bertrand GRANADO, Paulin MELATAGIA YONTA, 答辩 2023-9-26
BOVE Clara
:
“
Design and evaluation of explanation user interfaces for complex machine-learning systems
” 责任导师 Marie-Jeanne LESOT, 答辩 2023-9-15
GUIFO FODJO Yvan
:
“
Separation of concerns in extended compartmental models
” 责任导师 Mikal ZIANE, Samuel BOWONG, 答辩 2023-9-15
LE PELLETIER DE WOILLEMONT Pierre
:
“
Simulation Of Diverse Human Play-Styles In Video Games: A Reinforcement Learning Approach
” 责任导师 Amal EL FALLAH SEGHROUCHNI, 答辩 2023-9-11
PANTIN Jérémie
:
“
Detection and semantic characterisation of textual outliers
” 责任导师 Christophe MARSALA, 答辩 2023-9-11
VINCENT Marc
:
“
Reinforcement Learning for Multi-Function Radar Resource Management
” 责任导师 Amal EL FALLAH SEGHROUCHNI, 答辩 2023-9-8
PROSPERI Laurent
:
“
Varda: a language for programming distributed systems by composition
” 责任导师 Mesaac MAKPANGOU, 答辩 2023-9-5
SYED Mohammad Imran
:
“
Wireless passive measurements: tool, redundancy, measurements, and analyses
” 责任导师 Anne FLADENMULLER, 答辩 2023-9-5
FONTES REBELLO Gabriel Antonio
:
“
Payment Channel Networks with Resource-constrained Devices
” 责任导师 Maria POTOP-BUTUCARU, Luís Henrique MACIEL KOSMALSKI COSTA, 答辩 2023-7-12
LÉCUYER Fabrice
:
“
Ordering nodes to scale to large real-world networks
” 责任导师 Lionel TABOURIER, 答辩 2023-7-6
MARTINEZ Florette
:
“
Mathematical studies of arithmetical pseudo-random numbers generators
” 责任导师 Damien VERGNAUD, 答辩 2023-7-4
VALLADE Vincent
:
“
Contributions to the parallel resolution of the SAT problem
” 责任导师 Souheib BAARIR, Fabrice KORDON, 答辩 2023-6-27
SENEL Bérat
:
“
Orchestration de conteneurs pour l'edge cloud
” 责任导师 Olivier FOURMAUX, 答辩 2023-6-23
DESCHAMPS Sébastien
:
“
Deep Active Learning for Visual Recognition with Few Examples
” 责任导师 Hichem SAHBI, 答辩 2023-6-15
GOUEL Matthieu
:
“
Internet-Scale Route Tracing Capture and Analysis
” 责任导师 Olivier FOURMAUX, 答辩 2023-6-12
SPYROU Theofilos
:
“
Functional safety and reliability of neuromorphic computing systems
” 责任导师 Haralampos STRATIGOPOULOS, 答辩 2023-6-7
BOURNIAS Ilias
:
“
Design space exploration of image processing algorithms on FPGAs
” 责任导师 Roselyne CHOTIN, Lionel LACASSAGNE, 答辩 2023-6-2
HATIA Saalik
:
“
Leveraging formal specification to implement a database backend
” 责任导师 Marc SHAPIRO, 答辩 2023-6-1
ALLÈGRE Olivier Sylvain
:
“
Adapting the Prerequisite Structure to the Learner in Student Modeling
” 责任导师 Vanda LUENGO, 答辩 2023-5-17
WILHELM Daniel
:
“
Causal broadcast algorithms for dynamic distributed systems
” 责任导师 Pierre SENS, 答辩 2023-5-17
HOURCADE Hugo
:
“
Enumération de motifs temporels
” 责任导师 Emmanuel CHAILLOUX, 答辩 2023-5-16
GARBAY Thomas
:
“
ZIP-CNN
” 责任导师 Bertrand GRANADO, 答辩 2023-5-13
MARTIN Benoît
:
“
TTCC: Transaction Turn Causal Consistency
” 责任导师 Mesaac MAKPANGOU, 答辩 2023-4-21
LOPEZ DAWN Ricardo
:
“
Stochastic modeling and data analysis for information dissemination in online social platforms
” 责任导师 Anastasios GIOVANIDIS, 答辩 2023-3-22
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
” 责任导师 Olivier SPANJAARD, 答辩 2023-3-21
DUCOUSSO Rieul
:
“
Securing access to and from devices in a RISC-V multicore architecture used for virtualization
” 责任导师 Emmanuelle ENCRENAZ, 答辩 2023-3-15
DOUWES Constance
:
“
On the environmental impact of deep generative models for audio
” 责任导师 Jean-Pierre BRIOT, 答辩 2023-3-10
GARCIA FONTÁN Jorge
:
“
Singularity and stability analysis of vision-based controllers
” 责任导师 Mohab SAFEY EL DIN, 答辩 2023-1-24
LE BOUDER Gabriel
:
“
Memory-Optimization for Self-Stabilizing Distributed Algorithms
” 责任导师 Franck PETIT, Lélia BLIN, 答辩 2023-1-6
CIVIT Pierre
:
“
Specification of dynamic probabilistic secure distributed systems
” 责任导师 Maria POTOP-BUTUCARU, 答辩 2022-12-15
KHACEF Kahina
:
“
Trade-off Between Security and Scalability in Blockchain Systems
” 责任导师 Salima BENBERNOU, 答辩 2022-12-9
VU Trung Hieu
:
“
Certificats exacts de positivité pour l'optimisation polynomiale
” 责任导师 Mohab SAFEY EL DIN, 答辩 2022-12-9
JANIAK Vincent
:
“
Monitoring regional lung ventilation to predict extubation failure
” 责任导师 Andrea PINNA, 答辩 2022-12-6
LEROY Cassandre
:
“
Incremental elicitation combined with heuristic search for multi-objective combinatorial optimization
” 责任导师 Patrice PERNY, 答辩 2022-12-5
NEVES Simon
:
“
Photonic Resources for the Implementation of Quantum Network Protocols
” 责任导师 Eleni DIAMANTI, 答辩 2022-12-2
CÓRDOVA MORALES David Alexis
:
“
Blockchain application for Mesh and Ad hoc networks
” 责任导师 Thi-Mai-Trang NGUYEN, 答辩 2022-11-30
FILOCHE Arthur
:
“
Variational Data Assimilation with Deep Prior. Application to Geophysical Motion Estimation
” 责任导师 Dominique BÉRÉZIAT, 答辩 2022-11-30
KHABAZ Sehla Nana
:
“
Radio Resource Allocation in C-V2X: From LTE-V2X to 5G-V2X
” 责任导师 Thi-Mai-Trang NGUYEN, 答辩 2022-11-30
LI Songlin
:
“
Modelling of an intelligent medical implant in its environment for functional monitoring of the spinal cord
” 责任导师 Sylvain FERUGLIO, 答辩 2022-11-30
DELMAS David
:
“
Static analysis of program portability by abstract interpretation
” 责任导师 Antoine MINÉ, 答辩 2022-11-28
TANG Ning
:
“
Fixed parameter tractibility of UET-UCT scheduling problems
” 责任导师 Alix MUNIER, 答辩 2022-11-28
NIGRON Pierre
:
“
Effectful programs and their proofs in type theory : application to certified compilation and certified packet processing
” 责任导师 Julia LAWALL, 答辩 2022-11-17
YANG Furong
:
“
” 责任导师 Giovanni PAU, 答辩 2022-11-2
FERGUSON Andrew
:
“
Exact Algorithms for Polynomial Optimisation
” 责任导师 Mohab SAFEY EL DIN, 答辩 2022-10-24
YEHIA Raja
:
“
Design and optimization tools for the quantum internet
” 责任导师 Eleni DIAMANTI, 答辩 2022-10-24
SAULPIC David
:
“
Approximation Algorithms and Sketches for Clustering
” 责任导师 Christoph DÜRR, 答辩 2022-9-13
SCIALOM Thomas
:
“
Natural Language Generation with Reinforcement Learning
” 责任导师 Patrick GALLINARI, 答辩 2022-7-6
LYS Léonard
:
“
Security and reliability of cross-chain exchanges
” 责任导师 Maria POTOP-BUTUCARU, 答辩 2022-7-5
SIMON Etienne
:
“
Deep Learning for Natural Language Understanding
” 责任导师 Vincent GUIGUE, 答辩 2022-7-5
GRARI Vincent
:
“
Fair machine learning
” 责任导师 Marcin DETYNIECKI, 答辩 2022-6-22
OLIVO Andrea
:
“
Sécurité des protocoles quantiques de vérification de la position
” 责任导师 Frédéric GROSSHANS, 答辩 2022-6-15
WU David
:
“
Optimization models for multi-stream energy consumption management
” 责任导师 Viet Hung NGUYEN, 答辩 2022-5-20
MARTIN Hugo
:
“
Multi-objective optimisation and preference elicitation based on rank-dependant models and reference points
” 责任导师 Patrice PERNY, 答辩 2022-5-18
DE BUFALA Nicolas
:
“
Impacts of digital automation on labor markets : an agent-based approach
” 责任导师 Jean-Daniel KANT, 答辩 2022-5-16
FACI Adam
:
“
Representation, simulation and exploitation of knowledge in the conceptual graphs formalism
” 责任导师 Marie-jeanne LESOT, 答辩 2022-4-13
DOGEAS Konstantinos
:
“
Minimisation de l'énergie, mouvements de données, et données incertaines: modèles et algorithmes
” 责任导师 Evripidis BAMPIS, 答辩 2022-4-6
COLISSON Léo
:
“
Study of Protocols between Classical Clients and a Quantum Server
” 责任导师 Elham KASHEFI, 答辩 2022-3-28
SAHEL Faten
:
“
Contribution to the modelling of crosstalk between power supplies and sensitive signals in high-density interconnection PCBs
” 责任导师 Sylvain FERUGLIO, 答辩 2022-3-28
ROMAN RODRIGUEZ Victor
:
“
Quantum Optics Systems for Long-Distance Cryptography and Quantum Networks
” 责任导师 Eleni DIAMANTI, 答辩 2022-3-25
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
” 责任导师 Eleni DIAMANTI, 答辩 2022-3-21
LASSERRE Marvin
:
“
Learning non-parametric Copula Bayesian Networks
” 责任导师 Christophe GONZALES, 答辩 2022-3-11
CASALS DO NASCIMENTO Arthur Henrique
:
“
Smart Mobility - An approach using multiagent planning and coordination
” 责任导师 Amal EL FALLAH SEGHROUCHNI, 答辩 2022-3-10
FAVIER Arnaud
:
“
Eventual Leader Elections in Dynamic Networks
” 责任导师 Pierre SENS, 答辩 2022-3-2
BOOTH Robert
:
“
Measurement-based quantum computation beyond qubits
” 责任导师 Damian MARKHAM, 答辩 2022-2-22
KHIZAR Sadia
:
“
Leveraging mobile devices beyond the edge toward task offloading
” 责任导师 Marcelo DIAS DE AMORIM, 答辩 2022-2-15
FRANCESCHI Jean-Yves
:
“
Representation Learning and Deep Generative Modeling in Dynamical Systems
” 责任导师 Patrick GALLINARI, 答辩 2022-2-14
HENNEQUIN Arthur
:
“
Performance optimisation for the LHCb experiment
” 责任导师 Lionel LACASSAGNE, 答辩 2022-1-31
BAAJ Ismail
:
“
Explainability of possibilistic and fuzzy rule-based systems
” 责任导师 Nicolas MAUDET, 答辩 2022-1-27
CHEN Yi-Ting
:
“
Random generation of executions of concurrent systems
” 责任导师 Jean MAIRESSE, 答辩 2022-1-7
DESSIMOND Boris
:
“
” 责任导师 Pau GIOVANNI, 答辩 2021-12-22
HOUHOU Sara
:
“
Parameterised Verification from Formal Specifications of Information Systems
” 责任导师 Pascal POIZAT, Laîd KAHLOUL, 答辩 2021-12-22
TOUMLILT Ilyas
:
“
Colony: A Hybrid Consistency System for Highly-Available Collaborative Edge Computing
” 责任导师 Marc SHAPIRO, 答辩 2021-12-21
SHETTELL Nathan
:
“
Quantum Information Techniques for Quantum Metrology
” 责任导师 Damian MARKHAM, 答辩 2021-12-20
JANKOVIC Anja
:
“
Towards Online Landscape-Aware Algorithm Selection in Numerical Black-Box Optimization
” 责任导师 Carola DOERR, 答辩 2021-12-17
MEIGNANT Clément
:
“
Multipartite communications over quantum networks
” 责任导师 Damian MARKHAM, 答辩 2021-12-17
MAHMOUD Doaa
:
“
Bandpass Sigma-Delta Modulators with one and two op-amp resonators.
” 责任导师 Hassan ABOUSHADY, Marie-Minerve LOUËRAT, 答辩 2021-12-15
ALVES ESTEVES José Jurandir
:
“
Optimization of Network Slice Placement in Distributed Large Scale Infrastructures : From Heuristics to Controlled Deep Reinforcement Learning
” 责任导师 Pierre SENS, 答辩 2021-12-13
GAINON DE FORSAN DE GABRIAC Clara
:
“
Deep Natural Language Processing for User Representation
” 责任导师 Patrick GALLINARI, 答辩 2021-12-13
SID-OTMANE Jonathan
:
“
A study of data consistency constraints in 5G, applied to limiting resource usage in network slices
” 责任导师 Marc SHAPIRO, 答辩 2021-12-13
VIDAL Jules
:
“
Progressivity in Topological Data Analysis
” 责任导师 Julien TIERNY, 答辩 2021-12-8
MAKAREM Nabil
:
“
Performance Evaluation and Improvement of Congestion Control of the Constrained Application Protocol for the Internet-of-Things
” 责任导师 Naceur MALOUCH, Imad MOUGHARBEL, 答辩 2021-12-7
MONAT Raphaël
:
“
Static Type and Value Analysis by Abstract Interpretation of Python Programs with Native C Libraries
” 责任导师 Antoine MINÉ, 答辩 2021-11-22
MORAIS CANELLAS Camila
:
“
A Learning Analytics Metamodel
” 责任导师 Vanda LUENGO, 答辩 2021-11-8
EMÉRIAU Pierre-Emmanuel
:
“
The interplay between quantum contextuality and Wigner negativity
” 责任导师 Elham KASHEFI, 答辩 2021-11-2
ALI EL SAYED Sarah
:
“
Fault Tolerance in Hardware Spiking Neural Networks
” 责任导师 Haralampos STRATIGOPOULOS, 答辩 2021-10-28
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
” 责任导师 Safia KEDAD-SIDHOUM, 答辩 2021-10-28
DE BEZENAC Emmanuel
:
“
Modeling Physical Processes with Deep Learning: A Dynamical Systems Approach
” 责任导师 Patrick GALLINARI, 答辩 2021-10-21
PEPIN Martin
:
“
Quantitative and algorithmic analysis of concurrent programs
” 责任导师 Antoine GENITRINI, 答辩 2021-9-29
LAMRAYAH Mehdi
:
“
Modèles de réseaux de neurones profonds interprétables pour la classification de séries temporelles univariées et multivariées
” 责任导师 Patrick GALLINARI, 答辩 2021-9-2
MUSIC Luka
:
“
Multi-Party Quantum Cryptography: From Folklore to Real-World
” 责任导师 Elham KASHEFI, 答辩 2021-7-9
ELSHAMY Mohamed
:
“
Design for security in mixed analog-digital integrated circuits
” 责任导师 Haralampos STRATIGOPOULOS, Marie-Minerve LOUËRAT, 答辩 2021-7-7
NAIR Sreeja
:
“
Designing safe and highly available distributed applications
” 责任导师 Marc SHAPIRO, 答辩 2021-7-1
VENIAT Tom
:
“
Neural Architecture Search under Budget Constraints
” 责任导师 Ludovic DENOYER, 答辩 2021-7-1
REBIERE Valentin
:
“
Image processing for a RGB-Z mixed matrix
” 责任导师 Andrea PINNA, 答辩 2021-6-30
GROLLEMUND Vincent
:
“
Data mining and modeling of poorly structured or unstructured data
” 责任导师 Jean-François PRADAT-PEYRE, 答辩 2021-6-25
LI Ke
:
“
Exploring Topic Evolution in Large Scientific Archives with Pivot Graphs
” 责任导师 Bernd AMANN, 答辩 2021-6-22
DUCAMP Gaspard
:
“
Probabilistic rules optimized compilation
” 责任导师 Christophe GONZALES, 答辩 2021-4-13
BEN EL OUAHMA Ines
:
“
Analyse de robustesse et sécurisation de codes assembleur contre les attaques physiques
” 责任导师 Emmanuelle ENCRENAZ, 答辩 2021-4-7
CRIBIER-DELANDE Perrine
:
“
Contexts and user modelling through disentangled representations learning
” 责任导师 Ludovic DENOYER, 答辩 2021-4-2
VU Son Tuan
:
“
Préservation des propriétés dans un flot de compilation optimisant
” 责任导师 Karine HEYDEMANN, 答辩 2021-4-2
LEONHARD Julian
:
“
Analog Hardware Security and Trust
” 责任导师 Haralampos STRATIGOPOULOS, 答辩 2021-3-25
PASS-LANNEAU Adèle
:
“
Anchored solutions in robust combinatorial optimization
” 责任导师 Pierre FOUILHOUX, 答辩 2021-3-16
AGUIARI Davide
:
“
Exploring Computing Continuum in IoT Systems: Sensing, Communicating and Processing at the Network Edge
” 责任导师 Giovanni PAU, 答辩 2021-2-25
VASILAS Dimitrios
:
“
A flexible and decentralised approach to query processing for geo-distributed data systems
” 责任导师 Marc SHAPIRO, 答辩 2021-2-19
GHORAI Shouvik
:
“
Continuous-variable quantum cryptographic protocols
” 责任导师 Eleni DIAMANTI, 答辩 2021-2-12
RYCKEGHEM Jocelyn
:
“
Design and Cryptanalysis in Multivariate Quantum-Safe Cryptography
” 责任导师 Jean-Charles FAUGÈRE, 答辩 2021-2-8
MATOUSSI Salma
:
“
User-Centric Slicing with Functional Splits in 5G Cloud-RAN
” 责任导师 Rami LANGAR, 答辩 2021-1-22
档案