Ahmed Irfan


I am a Computer Scientist at SRI International 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


Current Projects

Past Projects

Academic Service