Ahmed Irfan

Senior Computer Scientist at SRI International

Ahmed Irfan is a Senior Computer Scientist at SRI International since September 2022, with prior experience as an Applied Scientist II at Amazon Web Services and a Postdoctoral Research Fellow at Stanford University. Ahmed has a strong background in automated reasoning, model checking, hardware verification, satisfiability modulo theories, and neural network verification. Ahmed's academic credentials include a Postdoc in Computer Science from Stanford University, a PhD in Information and Communication Technology from Università di Trento, an MS in Computational Logic from Technische Universität Dresden, and a BS in Computer Science from National University of Computer and Emerging Sciences. Previous roles include Expert Researcher at Fondazione Bruno Kessler, Research Assistant at University of Trento, Research Student at SAP, Systems Engineer at OMV, and Research Associate at COMSATS Institute of Information and Technology.

Links

Previous companies

Stanford University logo
SAP logo
COMSATS Institute of Information and Technology logo
OMV logo

Org chart

Sign up to view 0 direct reports

Get started