Dr. François Hublet

Post-Doctoral Researcher · Formal & Computational Digital Governance

ETH ZÜRICH (ZURICH) / GROUPE D'ÉTUDES GÉOPOLITIQUES (PARIS)

I use formal and computational methods to make software systems, laws, and democratic processes transparent and verifiable — from automated GDPR enforcement to the quantitative study of elections.

My academic work intersects formal methods, privacy, and quantitative political science. I am currently advised by Prof. Dr. David Basin.

Besides, I also work as a political data analyst and regularly write in Le Grand Continent and other international outlets.

I hold a doctorate in computer science (2026) from ETH Zürich.

Jul 2026
Welcome / Wilkommen / Bienvenue / Benvenuti
This website had been down for a bit — It is now back for you to enjoy, with many new features.
Jul 2026
🚀 Soon: Paper & Dataset Announcements
Stay tuned for a few exciting publications and a brand-new dataset...
Jul 2026
« Élus et électorats européens » @ Science Po Strasbourg
I will be giving lectures in political science at the University of Strasbourg in the fall. Looking forward to contribute to France's oldest European studies Master's program!

Research

I conduct interdisciplinary research. Below are my main research lines and the funded projects I contribute to.

My research lines

01
Privacy — constructive & empirical

Privacy regulations such as the GDPR are poorly complied with. In my PhD work, I developed techniques and tools that make Privacy by Design more rigorous and automated. I also conduct empirical privacy work.

02
Formal methods for the legal & social sciences

Law and social science are “soft” sciences, yet they can benefit from formal and computational tools. I work together with legal and social-science scholars to develop interdisciplinary approaches for automated reasoning, compliance, and data analysis.

03
Neurosymbolic reasoning

In recent months, I have grown increasingly interested in approaches combining Large Language Models (LLMs) and logic. I collaborate with ML colleagues to develop neurosymbolic techniques that target both security/privacy and social science applications.

04
Computational infrastructure & data

Datasets, benchmarks, and data analysis methodologies are key to good policy and research alike. As a think-tank analyst, I have been collecting and analyzing multiple political-geography datasets, with a focus on European electoral sociology and cross-border spaces.

Funded projects & grants

Externally funded projects I contribute to.

SNSF · 2026–
The project covers both tool development and empirical investigation of the use of AI in the Swiss judiciary, bringing together scholars from law, computer science, and economics in cooperation with the Swiss court system.
SNF · 2022–2025
Model-Driven Security & Privacy
We developed new techniques and tools for ensuring the compliance of software systems with security and privacy requirements. This included both runtime enforcement and model-driven development approaches.
Principal investigator(s): David Basin, Srđan Krstić

Selected publications

14 papers & theses Full list →
Soon
Journal Political Science
BLUE_EP: A Dataset of Municipality-Level Results of European Parliament Elections to appear
François Hublet
European Political Science (EPS)
2026
Security Thesis Formal methods
François Hublet
2025
Conference Security
Computer and Communications Security (CCS)
2025
Journal Political Science
François Hublet & Mattéo Lanoë
Revue française de science politique (RFSP)
2025
Conference Formal methods
François Hublet, David Basin, Linda Hu, Srđan Krstić, & Lennard Reese
International Conference on Runtime Verification (RV)
2025
Conference Formal methods
International Conference on Computer Aided Verification (CAV)
Fall 2026
Électorats et élus européens
Sciences Po Strasbourg — Lecturer
Quantitative analysis of European electorates and elected representatives.
2022–2026
Formal Methods and Functional Programming
ETH Zürich — Teaching Assistant, Head Teaching Assistant (2023–2025)
Logic and functional programming for up to 400 BSc students. Course and exam logistics, guest lectures.

I welcome expressions of interest from Bachelor's and Master's students at ETH Zürich (Computer Science and Cyber Security). I offer active, weekly supervision on research-grade topics across formal verification, privacy engineering, LLM security, and computational data analysis.

Open project listings will appear here. See the full students page for past theses and research interests.

Software & Datasets

Full list →

I treat datasets and tools as first-class research outputs. Below is a selection of open-source software and datasets from my work.

EnfGuard
Software / tool OCaml GPL
EnfGuard is a runtime enforcement tool for Metric First-Order Temporal Logic (MFOTL).
Software / tool
BLUE_EP
Dataset
BLUE_EP is the first Europe-wide dataset of municipality-level results of European Parliament (EP) elections.
Dataset

Writing & media

Full list →

Beyond academic publications, I write regularly for the press — most often in Le Grand Continent — on European politics, elections, and digital governance.

I am a researcher working at the intersection of computer science, law, and quantitative political science. I hold a doctorate in computer science (ETH Zürich, 2026), supervised by Prof. Dr. David Basin.

I am currently a Post-Doctoral Researcher at ETH Zürich's Information Security Group (until early 2027), where I work on formal methods for privacy, runtime enforcement, and regulatory compliance. From 2027, I will join Prof. Dr. Stefan Bechtold (Center for Law and Economics) as a postdoctoral researcher.

In parallel, I work as a political data analyst and author with Groupe d'études géopolitiques, where I lead the BLUE electoral bulletin project and have written 150+ pieces for Le Grand Continent on European politics and elections.

Outside research, I enjoy learning languages, hunting for old books, hiking through Graubünden, traveling by train, istening to classical music, baking cakes, and reading and writing on political theory.

Positions
2026 – 2027
Post-Doctoral Researcher
ETH Zürich — Information Security Group
2021 – 2026
Doctoral Researcher
ETH Zürich — Information Security Group
2018 –
Editor, Data Analyst & Team Lead
Groupe d'études géopolitiques
Education
2021 – 2026
Dr. sc., Computer Science
ETH Zürich
2019 – 2021
M.Sc., Computer Science
ETH Zürich
2016 – 2020
M.Sc., Engineering
École polytechnique, Palaiseau
2017 – 2018
B.A., Classics
Université Toulouse-II
2014 – 2016
Classes préparatoires
Lycée Louis-le-Grand, Paris
Languages
Native or near-native
English · French · German
Fluent
Italian · Latin · Spanish · Swiss German
Intermediate
BCMS · Dutch · Swedish
Basic
Ancient Greek · Corsican · Icelandic · Romanian · Russian
Collaborators

Prof. Dr. David Basin, Daniel Galán Pascual, Prof. Dr. Srđan Krstić (University of Copenhagen), Mattéo Lanoë (Sciences Po & INED), Dr. Leonardo Lima, Mihael Liskij, Nadia Markova (INSAIT), Dr. Jakob Merane, Hoàng Nguyễn, Lennard Reese (University of Copenhagen), Dr. Aurore Sallard, Jesús Solano, Prof. Dr. Dmitriy Traytel

External reviewer and subreviewer for CAV, RV, and IEEE TDSC. Invited talks at the University of Copenhagen, MPI for Behavioral Economics (Bonn), and Yale University.