Ahmed Irfan

Ahmed Irfan ist ein Senior Computer Scientist bei SRI International. Zuvor war er Applied Scientist bei Amazon Web Services. Nach seiner Promotion forschte er an der Stanford University, USA, und an der Fondazione Bruno Kessler (FBK), Italien. Er erhielt seinen Doktortitel in Informatik von der Universität Trento, Italien.Seine Forschungsinteressen liegen im Bereich der formalen Methoden, mit einem Schwerpunkt auf SAT/SMT-Solvern, nichtlinearer Arithmetik, symbolischem Modellchecking und formaler Verifikation. Er hat zur Entwicklung mehrerer bekannter Verifikationstools beigetragen, darunter Yices2, MathSAT5, Pono und nuXmv.