Amirfarhad Nilizadeh
Staff SoC Pre-Silicon Verification Engineer HBM
Orlando, Florida, United States
Summary
👤
Senior🎓
Top SchoolAmirfarhad Nilizadeh is a Staff SoC Pre-Silicon Verification Engineer specializing in formal verification for high-bandwidth memory systems, with eight years of experience bridging software formal methods and hardware design. He progressed from research and teaching roles through internships and formal verification positions at AMD to his current role at Micron, applying rigorous specification-driven approaches to complex SoC verification. His background includes academic research (Ph.D./MS in Computer Science), hands-on fuzzing and space-time analysis work at Carnegie Mellon and Google Summer of Code, and practical FPGA/VHDL teaching—giving him a rare blend of theoretical depth and hardware implementation experience. Colleagues value his ability to translate software-verification techniques into scalable pre-silicon workflows that catch subtle semantic bugs early.
8 years of coding experience
1 year of employment as a software developer
Doctor of Philosophy (Ph.D.), Computer Science, 3.8, Doctor of Philosophy (Ph.D.), Computer Science, 3.8 at University of Central Florida
English, farsi (persian)
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (45)
applet9
repair9
parser8
java8
abstract-syntax-tree8
javadoc7
testing7
java-bytecode7
code-generation7
junit7
istanbul7
code-generator7
validate6
test-automation6
parsing6
Programming languages (1)
Github contributions (5)
Amirfarhad-Nilizadeh/Java-JML
May 2019 - Mar 2021
Contributions:4 commits, 1 push, 1 branch in 1 year 10 months
Amirfarhad-Nilizadeh/JMLKelinci
Dec 2020 - Jan 2022
Contributions:31 pushes, 1 branch in 1 year 1 month
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.