Imperial College London
Sergio Maffeis

Photo

Contents (show/hide all)

Current events

Teaching: Academic year 2025-2026

Selected papers on security and machine learning

Selected papers on security and formal methods

Selected final year projects

D = Distinguished; P = Prize; R = Research publication.

PhD Students

Current: Past:

PhD applicants

Grants

PC Memberships