Antonio Filieri
Antonio Filieri
Honorary Associate Professor, Imperial College London
Senior Applied Scientist, Amazon AWS
Joined
July 2019
Names
Emails
****@imperial.ac.uk (Confirmed)
****@gmail.com (Confirmed)
****@amazon.com (Confirmed)
Personal Links
Career & Education History
Honorary Associate Professor
Imperial College London (ic.ac.uk)
2024 – Present
Senior Applied Scientist
Amazon AWS (amazon.com)
2022 – Present
Associate Professor
Imperial College London (ic.ac.uk)
2022 – 2024
Assistant Professor
Imperial College London (ic.ac.uk)
2015 – 2021
Assistant Professor
Universität Stuttgart (uni-stuttgart.de)
2013 – 2015
PhD student
Politecnico di Milano (polimi.it)
2010 – 2013
Advisors, Relations & Conflicts
PhD Advisor
Carlo Ghezzi
2010 – 2013
Expertise
software engineering
Present
formal methods
Present
verification
Present
program analysis
Present
self-adaptive software
Present
probabilistic model checking
Present
stochastic models
Present
probabilistic programming
Present
Publications
Co-Authors
- Ada Diaconescu
- Ahmad Alnafessah
- Alberto Leva
- Alessandro Maria Rizzi
- Alessandro Vittorio Papadopoulos
- Alessio Gambi
- Alim Ul Gias
- Amir Molzam Sharifloo
- Anders Robertsson
- Andrea Ciancone
- Andreas B. Hempel
- Andreas Berndt Hempel
- André van Hoorn
- Aritra Sengupta
- Barbara A. Kitchenham
- Burak Turhan
- Carlo Alberto Furia
- Carlo Ghezzi
- Christoph Treude
- Corina S. Pasareanu
- Cristian Klein
- Damian A. Tamburri
- Daniel Graziotin
- Daniel Méndez
- David Lo