Senior Lecturer (Associate Professor), King's College London
- (2018–2022) Lecturer, Royal Holloway University of London, UK
- (2016–2018) Post–doctoral Associate, Stony Brook University, USA
- (2014–2016) Research Assistant, University of Oxford, UK
- (2011–2013) Ph.D. Candidate, Universita di Camerino, IT
Grants
- (2022-2025) WP leader in grant: REXASI-PRO: REliable & eXplAinable Swarm Intelligence for People with Reduced mObility (ID: 101070028)
- (2022-2025) PI in grant: MCPS-Verisec: Model-based security of medical cyber-physical systems (ID: EP/W014785/1)
Awards
- (2022) Best paper award at at FORMATS 2022, the 20th International Conference on Formal Modeling and Analysis of Timed Systems
-
Any additional text goes here...
-
...and here.