Ahmed Irfan

About

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

Publications

List of publications

Thesis

Professional Activities

Competitions

Software Contributions