Hassen Saidi
Chief Executive Officer at Entalus
San Francisco, California, United States
Summary
👤
Senior🎓
Top SchoolHassen Saidi is a veteran computer scientist and technology leader with 25+ years of research and applied experience, now serving as CEO of Entalus after a long tenure as Senior Computer Scientist at SRI International. He specializes in cybersecurity, mobile security, virtualization, malware analysis and reverse engineering, and led high-profile efforts such as the multi-institution Conficker response while contributing foundational work like inventing predicate abstraction for software verification. Hassen bridged cutting-edge research and Web3 practice as technical staff at DFINITY on the Internet Computer, bringing deep systems thinking to decentralized cloud services. His record spans theorem proving, model-based intrusion detection, and specification/verification of high-assurance hardware and software, reflecting a rare mix of theoretical rigor and operational impact. Based in San Francisco, he combines prolific publication and patent activity with hands-on leadership in making the digital world safer at scale.
10 years of coding experience
27 years of employment as a software developer
Master's Theoretical Computer Science, Master's Theoretical Computer Science at Université Paris CitéEngineer Computer Science, Engineer Computer Science at Université des Sciences et de la Technologie 'Houari Boumediène'computer science, computer science at Université Mentouri de ConstantinePhD Computer Science, PhD Computer Science at Université Joseph Fourier (Grenoble I)
French, Arabic
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (11)
bitcode9
android-ndk8
dfinity8
internet-computer8
motoko8
klee7
internet6
clang5
programming-language5
llvm4
python1
Programming languages (2)
Github contributions (5)
ICPorts-labs/chico
Jun 2022 - Nov 2022
Contributions:100 commits, 107 pushes, 3 branches in 5 months
HassenSaidi/cJSON
Nov 2024 - Nov 2024
Contributions:119 pushes in 5 days
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.