Mo Fadiheh
Head Of Research And Development at LUBIS EDA
Kaiserslautern, Rhineland-Palatinate, Germany
Summary
👤
Senior🎓
Top SchoolMo Fadiheh is Head of Research and Development with a decade of experience bridging academic research and industrial practice in hardware security and formal verification. A postdoctoral scholar from Stanford’s Robust Systems Group, he pioneered Unique Program Execution Checking (UPEC), a formal technique that uncovered previously unknown microarchitectural side-channel vulnerabilities and drew industry attention. His work spans computer architecture, hardware/firmware interactions, and practical deployment of commercial and academic verification tools, reflecting hands-on experience from lab prototypes to industrial case studies. Based in Kaiserslautern, he combines a PhD in Electrical and Computer Engineering with leadership at LUBIS EDA to push formal methods toward wider, user-friendly adoption. He is focused on democratizing verification by developing efficient tools and methodologies for security- and safety-critical digital designs. An often-overlooked strength is his ability to translate deep theoretical results into practical verification workflows that find real vulnerabilities before they reach silicon.
10 years of coding experience
10 years of employment as a software developer
Amirkabir University of TechnologyDoctor of Philosophy - PhD, Electrical and Computer Engineering, Doctor of Philosophy - PhD, Electrical and Computer Engineering at University of Kaiserslautern
Github Skills (16)
fpga8
cpu7
asic7
risc-v6
risc6
linux4
systemverilog-hdl4
soc2
memory-allocation2
electrical-engineering2
embedded1
pulp1
xor1
microcontroller1
systemc1
Programming languages (2)
Github contributions (5)
RPTU-EIS/upec-boom-verification-suite
Mar 2021 - Jan 2023
Contributions:7 commits, 10 pushes, 1 branch in 1 year 10 months
mofadiheh/boom-v3-patched-by-upec
Jun 2021 - Sep 2021
Contributions:2 pushes, 1 branch in 3 months
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.