Ahmed Irfan

About

I am an Applied Scientist at Amazon Web Services. Previously, 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

Competitions

Professional Activities

Software