Scholar
Antonio Filieri
Google Scholar ID: MdbPRwMAAAAJ
Amazon Web Services, Imperial College London
Citations & Impact
Citations
1,384
H-index
20
i10-index
32
Publications
20
Co-authors
21
list available
Publications
Resume (English only)
Academic Achievements
- PhD Students: Donato Clun (expected 2024), Runan Wang (expected 2024), Xiaotong Ji (expected 2025).
Research Experience
- Senior Applied Scientist at Amazon Web Services working on automated reasoning for static analysis, automated test generation, and security. Also holds a position as Visiting Associate Professor at the Department of Computing, Imperial College London. Previously, held a tenured position as Associate Professor at the Department of Computing, Imperial College London (Assistant from 2016 to 2022, Associate from 2022 to 2024). Between 2013 and 2015, was Assistant Professor at the University of Stuttgart.
Background
- Research interests are in sound and industry-strength formal mathematical methods for software design, verification, self-adaptation, and security. Main research topics include: static analysis, privacy, and automated test generation for security; exact and approximate methods for probabilistic program analysis and programming; control theory for adaptive software; quantitative verification and model checking; runtime-efficient and incremental verification.
Miscellany
- Personal motto: 'In God we trust; all others must bring data' (W. Edwards Deming), or a good proof.
