EDIC Published theses

2026

Theses

Training Dynamics of Gradient Methods on Simple Neural Architectures

A. V. Varre / N. H. B. Flammarion (Dir.)  

Lausanne, EPFL, 2026. 

Compressing DNNs Using Microscaling Formats with Sensitivity and Sparsity

S. B. Harma / B. Falsafi; M. Jaggi (Dir.)  

Lausanne, EPFL, 2026. 

Accurate, Scalable, and Fast Time-Based Sampling of Full-System Simulation

S. Lin / B. Falsafi; M. Alian (Dir.)  

Lausanne, EPFL, 2026. 

Real-world Evaluation of Modern Generative AI Systems

A. Romanou / A. Bosselut; K. Aberer (Dir.)  

Lausanne, EPFL, 2026. 

Sublinear Time Algorithms for Structured Matrices

K. J. Sheth / M. Kapralov (Dir.)  

Lausanne, EPFL, 2026. 

Theoretical Studies of Learning in Overparameterized Neural Networks

Z. Zhu / V. Cevher (Dir.)  

Lausanne, EPFL, 2026. 

Learning Many Tasks via Weight-Space Geometry

N. Dimitriadis / P. Frossard; F. Fleuret (Dir.)  

Lausanne, EPFL, 2026. 

Training and inference efficiency of large language models

M. Pagliardini / M. Jaggi; F. Fleuret (Dir.)  

Lausanne, EPFL, 2026. 

Multi-modal action understanding: Datasets, benchmarks and models

H. Qi / A. Mathis (Dir.)  

Lausanne, EPFL, 2026. 

Universal Prediction in the Age of Large Language Models

M. Bondaschi / M. C. Gastpar (Dir.)  

Lausanne, EPFL, 2026. 

Optimization in Modern Machine Learning: Steepest Descent Theory and Trustworthy Models

Y. Wu / V. Cevher (Dir.)  

Lausanne, EPFL, 2026. 

Modeling the Ambient World and its Dynamics through Multimodality

A. Atanov / A. Roshan Zamir (Dir.)  

Lausanne, EPFL, 2026. 

Fundamental Limits and Solvable Models of Feature Learning in High-Dimensional Models and Attention Networks

E. Troiani / L. Zdeborová (Dir.)  

Lausanne, EPFL, 2026. 

Understanding Implicit Schemas of Reasoning

S. Gao / A. Bosselut (Dir.)  

Lausanne, EPFL, 2026. 

Using Language Models for Handling Structured Data at Scale

M. Sakota / R. West (Dir.)  

Lausanne, EPFL, 2026. 

Enabling Unsupervised Discovery and Adaptation with Foundation Models

A. Gadetskii / M. Brbic (Dir.)  

Lausanne, EPFL, 2026. 

Elastic Dataflow for Memory-Bound Digital Systems

C. Sönmez / P. Ienne (Dir.)  

Lausanne, EPFL, 2026. 

On Balanced Representation Learning in Neural Networks

A. Kosson / M. Jaggi (Dir.)  

Lausanne, EPFL, 2026. 

Designing Practical Federated Learning Systems under Data Heterogeneity

A. B. Dhasade / A-M. Kermarrec (Dir.)  

Lausanne, EPFL, 2026. 

Reward is not enough: Advances in reinforcement learning fromdemonstrations and preferences

L. Viano / V. Cevher (Dir.)  

Lausanne, EPFL, 2026. 

Online Algorithms for Edge Coloring

R. Vintan / O. N. A. Svensson (Dir.)  

Lausanne, EPFL, 2026. 

Understanding and controlling diffusion models for image generation

M. N. Everaert / S. Süsstrunk; R. Achanta (Dir.)  

Lausanne, EPFL, 2026. 

Scalable and Resource-Efficient Stream Processing

E. Zapridou / A. Ailamaki (Dir.)  

Lausanne, EPFL, 2026. 

Efficient Data Steering in Dataflow Circuits

A. A. G. K. Elakhras / P. Ienne; L. Josipovic (Dir.)  

Lausanne, EPFL, 2026. 

Decentralized by Design: Efficient, Trustworthy, and Scalable Collaborative AI

R. Sharma / A-M. Kermarrec (Dir.)  

Lausanne, EPFL, 2026. 

Implicit Neural Representations for Structured Shape Modeling and Engineering Design

N. Talabot / P. Fua (Dir.)  

Lausanne, EPFL, 2026. 

Scalable Any-to-Any Multimodal Modeling

R. C. Bachmann / A. Roshan Zamir (Dir.)  

Lausanne, EPFL, 2026. 

Hardware- and Workload-conscious Data Movement for Analytical Query Processing

H. M. H. Nicholson / A. Ailamaki (Dir.)  

Lausanne, EPFL, 2026. 

Deep Geometric Learning in Engineering Design

Z. Wei / P. Fua (Dir.)  

Lausanne, EPFL, 2026. 

Interactive and Automated Reasoning with Orthologic

S. Guilloud / V. Kuncak (Dir.)  

Lausanne, EPFL, 2026. 

Post-Quantum Cryptography beyond Encryption: Design and Cryptanalysis

L. C. A. Marco / S. Vaudenay; C. Petit (Dir.)  

Lausanne, EPFL, 2026. 

Technology-Aware Logic Synthesis for High-Performance Hardware

A. Costamagna / G. De Micheli (Dir.)  

Lausanne, EPFL, 2026. 

System Software Design for Undiluted Attestation

C. N. L. Castes / E. Bugnion (Dir.)  

Lausanne, EPFL, 2026. 

Inverse Rendering: From Surfaces to Continuous Formulations

Z. Zhang / W. A. Jakob (Dir.)  

Lausanne, EPFL, 2026. 

Kilian’s Protocol and Beyond: On Constructions and Limitations of Succinct Arguments

Z. Guan / A. Chiesa; M. T. Göös (Dir.)  

Lausanne, EPFL, 2026. 

Systems for Knowledge Reuse in Distributed Machine Learning

D. A. Petrescu / A-M. Kermarrec; R. Guerraoui (Dir.)  

Lausanne, EPFL, 2026. 

Complexity of Sampling and Communication

A. Riazanov / M. T. Göös (Dir.)  

Lausanne, EPFL, 2026. 

Noisy Gradient Descent in Machine Learning: generalization, games, and sampling

L. T. Dadi / V. Cevher (Dir.)  

Lausanne, EPFL, 2026. 

Redesigning Hardware/Software Contracts for Modern Datacenter Systems

Y. Li / B. Falsafi (Dir.)  

Lausanne, EPFL, 2026. 

Mapping Internet Latency through Gaming Footage

C. P. Alvarez Inostroza / A. Argyraki (Dir.)  

Lausanne, EPFL, 2026. 

From Monolithic to Multi-Stage Routing for FPGAs

S. Shrivastava / B. Falsafi; M. Stojilovic (Dir.)  

Lausanne, EPFL, 2026. 

2025

Theses

Data Heterogeneity in Linear Distributed Estimation and Learning

A. Pradeep / M. C. Gastpar (Dir.)  

Lausanne, EPFL, 2025. 

Scalable Methods for Knowledge Graph Reasoning and Generation

A. Janchevski / V. Cevher (Dir.)  

Lausanne, EPFL, 2025. 

Enhancing the Receiver-Driven Transport Paradigm with Sender Congestion Information

K. Prasopoulos / E. Bugnion; E. M. Kogias (Dir.)  

Lausanne, EPFL, 2025. 

Beyond the ratchet: practical challenges in secure messaging

S. Colombo / B. A. Ford (Dir.)  

Lausanne, EPFL, 2025. 

Scaling the Modalities in Multimodal Foundation Models

O. F. Kar / A. Roshan Zamir (Dir.)  

Lausanne, EPFL, 2025. 

Texture Synthesis using Neural Cellular Automata

E. Pajouheshgar / S. Süsstrunk (Dir.)  

Lausanne, EPFL, 2025. 

Personalizing Learning and Empowering Educators through Multi-Dimensional Clustering, Teacher Dashboards, and AI-Hybrid Learning Systems

P. Mejia-Domenzain / T. C. Käser Jacober (Dir.)  

Lausanne, EPFL, 2025. 

The Tight Cost of Byzantine Agreement

M. J. Ribeiro Vidigueira / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2025. 

On the identifiability and estimation of causal effects

Y. Kivva / N. Kiyavash (Dir.)  

Lausanne, EPFL, 2025. 

Uncertainty in Modern Deep Learning

N. Durasov / P. Fua (Dir.)  

Lausanne, EPFL, 2025. 

Structure and Computation in Disordered Systems and Neural Networks

F. Behrens / L. Zdeborová (Dir.)  

Lausanne, EPFL, 2025. 

Optimal Byzantine Agreement with Little Cryptography

J. Komatovic / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2025. 

Graph sparsification, sketching and adaptivity

M. Makarov / M. Kapralov (Dir.)  

Lausanne, EPFL, 2025. 

Improved Gradients for Inverse Rendering

B. Nicolet / W. Jakob (Dir.)  

Lausanne, EPFL, 2025. 

Exploration of Commonsense Causality

S. Cui / B. Faltings; A. Bosselut (Dir.)  

Lausanne, EPFL, 2025. 

Causal Discovery and Causal Effect Identification

E. Mokhtarian / N. Kiyavash (Dir.)  

Lausanne, EPFL, 2025. 

Deployable, Modular, and Reconfigurable: Computational Design of Umbrella Meshes

U. Kusupati / M. Pauly (Dir.)  

Lausanne, EPFL, 2025. 

Logic Synthesis and Optimization for CMOS and Post-CMOS Technologies

D. S. Marakkalage / G. De Micheli (Dir.)  

Lausanne, EPFL, 2025. 

Parameter-efficient Methods for Training and Inference of Transformer-based Models

M. Banaei / K. Aberer (Dir.)  

Lausanne, EPFL, 2025. 

Votegral: Towards Usable, End-to-End Verifiable, Coercion-Resistant Online Voting

L-H. M. J. Merino / B. A. Ford (Dir.)  

Lausanne, EPFL, 2025. 

Responsibly Building Multilingual Language Models for Hundreds of Languages

N. Foroutan Eghlidi / K. Aberer; A. Bosselut (Dir.)  

Lausanne, EPFL, 2025. 

Computational Design of Deployable Gridshells with Curved Elastic Beams

Q. Becker / M. Pauly (Dir.)  

Lausanne, EPFL, 2025. 

Cryptography Under Counter-Intuitive Settings

A. Talayhan / S. Vaudenay (Dir.)  

Lausanne, EPFL, 2025. 

Neural Garment Modeling

R. Li / P. Fua (Dir.)  

Lausanne, EPFL, 2025. 

Collaborative AI Agents in the Era of Large Language Models

M. Josifoski / R. West (Dir.)  

Lausanne, EPFL, 2025. 

On Adversarial Robustness and its Practical Applications

K. Kireev / C. González Troncoso (Dir.)  

Lausanne, EPFL, 2025. 

A Human-Centric Approach to Explainable AI for Personalized Education

V. Swamy / T. C. Käser Jacober; M. Jaggi (Dir.)  

Lausanne, EPFL, 2025. 

Learning to Reason with Neural Networks: Principles and Methods

A. Lotfi Jandaghi / E. Abbé (Dir.)  

Lausanne, EPFL, 2025. 

Nonconvex optimization: nonisolated minimizers and benign landscapes

Q. Rebjock / N. Boumal (Dir.)  

Lausanne, EPFL, 2025. 

Securing low-level code with minimal developer efforts: from preventing type confusion by design to automated library fuzzing

N. D. Badoux / M. J. Payer (Dir.)  

Lausanne, EPFL, 2025. 

The Power of Decision Trees for Composition and Search Problems

G. T. Maystre / M. Göös (Dir.)  

Lausanne, EPFL, 2025. 

Sequential Reasoning with Socially Caused Beliefs

M. Kayaalp / A. H. Sayed (Dir.)  

Lausanne, EPFL, 2025. 

Visual Correspondence : From Geometry, Appearance, to Reasoning Across Vision Tasks

Y. Ren / S. Süsstrunk (Dir.)  

Lausanne, EPFL, 2025. 

The Cost of Trust in Machine Learning: Privacy, Robustness, Unlearning, and their Interactions

Y. Allouah / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2025. 

Robust, Generalizable, and Reproducible Computational Imaging: A Lensless Perspective

E. Bezzam / M. Vetterli (Dir.)  

Lausanne, EPFL, 2025. 

Robust and High-Performance Wide-Area Consensus Protocols

P. N. Tennage / B. A. Ford; E. Kokoris Kogias (Dir.)  

Lausanne, EPFL, 2025. 

Transparent Multicore Scaling of Single-Threaded Network Functions with Performance Clarity

L. Yan / G. Candea (Dir.)  

Lausanne, EPFL, 2025. 

Generalised Modeling of Inquiry Behaviour: From Learning to Understanding

J. M. L. Cock / T. C. Käser Jacober (Dir.)  

Lausanne, EPFL, 2025. 

How to Make Measure Theory Completely Pointless

P. Quinton / E. Telatar (Dir.)  

Lausanne, EPFL, 2025. 

Enhanced Architectures and Optimization Methods for Efficient Language Modeling

A. Mohtashami / M. Jaggi (Dir.)  

Lausanne, EPFL, 2025. 

Image-based Pose Estimation for Previously-Unseen Objects

C. Zhao / M. Salzmann; P. Fua (Dir.)  

Lausanne, EPFL, 2025. 

Robust and Efficient Collaborative Learning

S. Farhadkhani / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2025. 

Towards Visually-Plausible and Controllable 3D Representations

D. Wang / S. Süsstrunk (Dir.)  

Lausanne, EPFL, 2025. 

Improving Human Pose & Shape Estimation with Explicit and Implicit Priors

A. Davydov / P. Fua; M. Salzmann (Dir.)  

Lausanne, EPFL, 2025. 

Privacy and Robustness in Federated Learning: From Theoretical Insights to Practical Implementation

J. Stephan / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2025. 

Methodological Advances in Causal Inference: Experimentation, Identification and Estimation

S. Akbari / N. Kiyavash (Dir.)  

Lausanne, EPFL, 2025. 

Theoretical characterization of uncertainty in high-dimensional machine learning

L. A. Clarte / L. Zdeborová (Dir.)  

Lausanne, EPFL, 2025. 

Computational Imaging: a Multi-Facet Perspective

S. Kashani / M. Vetterli; P. Hurley (Dir.)  

Lausanne, EPFL, 2025. 

Noisy Quantum Communication and Computation

D. K. S. Abdelhadi / R. Urbanke; J. Renes (Dir.)  

Lausanne, EPFL, 2025. 

Automated Induction for Proving Program Equivalence

D. Milovancevic / V. Kuncak (Dir.)  

Lausanne, EPFL, 2025. 

Robust and Personalized Federated Learning: Handling Data Corruption and Heterogeneity

L. Rokvic / B. Faltings (Dir.)  

Lausanne, EPFL, 2025. 

2024

Theses

Towards Language Learning From Passive Exposures To In-Context Examples

L. H. Klein / R. West (Dir.)  

Lausanne, EPFL, 2024. 

Scalable constrained optimization

M-L. Vladarean / N. H. B. Flammarion (Dir.)  

Lausanne, EPFL, 2024. 

Planetary-Scale Byzantine Fault Tolerance

M. Monti / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2024. 

On Speed and Advantage : Results in Information Velocity and Monitoring Problems

R. Inovan / E. Telatar (Dir.)  

Lausanne, EPFL, 2024. 

Automated Formal Verification of Software Network Functions

S. V. Pirelli / G. Candea (Dir.)  

Lausanne, EPFL, 2024. 

Optimization Algorithms for Decentralized, Distributed and Collaborative Machine Learning

A. Koloskova / M. Jaggi; S. U. Stich (Dir.)  

Lausanne, EPFL, 2024. 

Aggregating Spatial and Photometric Context for Photometric Stereo

D. Honzátko / P. Fua; E. Türetken (Dir.)  

Lausanne, EPFL, 2024. 

To Infinity, and Beyond (Coverage)

A. Hazimeh / M. J. Payer (Dir.)  

Lausanne, EPFL, 2024.