Sergio Maffeis Imperial College London



Photo

Contents (show/hide all)

Current events

Teaching: Academic year 2020-2021

Selected papers on security and machine learning

Selected papers on security and formal methods

Distinguished and prize-winning final year projects

PhD Students

PhD applicants

Grants

PC Memberships