Accept
Decline

Ahmed Irfan

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.

Ahmed Irfan

We recommend

PROCEEDINGS OF THE 25TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2025

PROCEEDINGS OF THE 25TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2025

ISBN: 978-3-85448-084-6