Antonio Filieri

Antonio Filieri is a Senior Applied Scientist at Amazon Web Services (AWS), focusing on automated reasoning for static analysis, security, and test generation. He also holds a Visiting Associate Professor position at the Department of Computing, Imperial College London. His research interests revolve around formal methods, probabilistic program analysis, and control theory applied to software engineering. He has taught courses on data structures, concurrency, and probabilistic model checking, and has advised three PhD students.

His work is funded by EPSRC, The Royal Society, NCSC, and Imperial College London. Notable awards include the ACM Distinguished Paper Award (2023) and the Best Paper Award (2022). Key contributions include advancements in probabilistic symbolic execution, control-theoretic approaches for self-adaptive systems, and runtime verification techniques.

Filieri collaborates with leading institutions and researchers, such as Corina S. Pasareanu (NASA Ames) and Matt Dwyer (University of Virginia). His research bridges theoretical foundations with practical applications, addressing challenges in software reliability, security, and scalability.