Ahmed Irfan


I am a Computer Scientist at SRI Internationl since September 2022. Earlier, I was an Applied Scientist at Amazon Web Services from April 2021 to September 2022. From May 2019 to April 2021, I was a Postdoc Researcher in Clark Barrett’s Group at Stanford University. Before that, I was a Postdoc Researcher at Fondazione Bruno Kessler, Embedded Systems Unit, led by Alessandro Cimatti. I recieved my PhD in May 2018 from University of Trento, under the supervision of Alessandro Cimatti, Roberto Sebastiani, and Alberto Griggio.

Research Interests


List of publications


Academic Service


Software Contributions