Student Projects

Expressions of interest — BSc, MSc & semester projects

I invite expressions of interest from Bachelor's and Master's students at ETH Zürich (Computer Science and Cyber Security programmes). I offer active, weekly supervision on research-grade topics in a welcoming atmosphere.

Topics span formal verification, privacy engineering, automated legal compliance, LLM security, and computational political analysis. Reaching out early with your own ideas is welcome. Contact: francois.hublet@inf.ethz.ch.

No open projects advertised at the moment. Feel free to reach out with your own proposal.

Completed projects

2026

A FUSE-based GDPR-Compliant File System (Semester project)

Wei-En Hsieh

2026

Refinement of Legal Specifications in the Lex Programming Language (MSc thesis)

Jonas Degelo (with Jakob Merane)

Thesis

2025

A Temporal Program Logic for Data Protection (MSc thesis)

Andrew Lee (with Linard Arquint)

Thesis

2025

AutoLex: Automated Legal Formalization with LLMs (MSc thesis)

Rolando G.

2024

Bridging Logics: Transforming Formalizations of GDPR into MFOTL (MSc thesis)

Alexander Kvamme (with Srđan Krstić)

Paper

2024

Proactive Real-time Enforcement with WhyEnf (BSc thesis)

Linda Hu (with Srđan Krstić)

Paper

See the full supervision list on the CV (PDF).