Scholar
Ahmed Irfan
Google Scholar ID: rYIFql4AAAAJ
SRI International
Citations & Impact
Citations
559
H-index
12
i10-index
14
Publications
20
Co-authors
55
list available
Contact
Publications
Resume (English only)
Academic Achievements
- List of publications
- Academic Service: Co-Chair of FMCAD 2025; PC Member of ECAI 2025, SPIN 2025, SBMF 2024, SMT 2024, FM 2024, FMCAD 2024, SBMF 2023, SMT 2023, VSTTE 2023, TACAS-AE 2023, FMCAD 2022, NFM-AI-SAFETY 2020, NFM 2020, PAAR 2020, SC2 2020, TACAS-AE 2020, etc.
- Competitions: Yices2 at the SMT-COMP 2025, SMT-COMP 2024, SMT-COMP 2023; CVC4 at the SMT-COMP 2020; ic3ia at the CHC-COMP 2020; lazybv2int at the SMT-COMP 2020; Pono at the Hardware Model Checking Competition 2020; Prophic3 at the CHC-COMP 2020; Cosa2 at the Hardware Model Checking Competition 2019; MathSAT5 at the SMT-COMP 2019; CLAS at the SAT Competition 2014; Pcassco at the SAT Competition 2014 and 2013
Research Experience
- Current Projects: BTOR2YICES, Yices2 (An SMT solver)
- Past Projects: CVC4 (An SMT solver), Kratos (A software analyzer for C programs), LazyBV2Int (An SMT solver for Bit-Vectors), Marabou (A neural network verification tool), MathSAT5 (An SMT solver), nuXmv (A symbolic model checker), Pcassco (A parallel SAT solver), Pono (A symbolic model checker), prophic3 (Counterexample guided prophecy for model checking transition systems with arrays), Simulink2SMV (A translator for Simulink designs to SMV), Verilog2SMV (A translator for Verilog programs to SMV)
Background
- Research Interests: Automated Reasoning, SAT and SMT theories, Formal Methods, Model Checking, Neural Networks Verification
