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.
Sign up to view 0 direct reports
Get started