Ahmed Irfan is a Senior Computer Scientist at SRI International. Previously, he was an Applied Scientist at Amazon Web Services. He conducted postdoctoral research at Stanford University, USA, and at Fondazione Bruno Kessler (FBK), Italy. He received his PhD in Computer Science from the University of Trento, Italy.His research interests lie in the areas of formal methods, with a focus on SAT/SMT solving, nonlinear arithmetic, symbolic model checking, and formal verification. He has contributed to the development of several well-known verification tools, including Yices2, MathSAT5, Pono, and nuXmv.