Sam Sammane
Co-Founder & Chief Scientist · PhD, Formal Verification
Sam Sammane founded QGI with a clear mandate:
Intelligence must not outpace responsibility.
Before QGI, Sam spent more than a decade in formal verification research — the discipline of mathematically proving that complex hardware and mixed-signal systems behave as specified. That background is the reason QGI treats explainability as an engineering invariant, not a feature.
If an intelligent system cannot explain itself, it should not be trusted with critical decisions.
This principle is embedded directly into QGI's design philosophy — not as policy, but as structure.
QGI is not built to explore what intelligence can do.
It is built to define what intelligence should do.
Two decades of peer-reviewed work.
Published as Ghiath Al Sammane across IEEE, ACM, and Springer venues. The symbolic-reasoning track record that anchors QGI's decision-grade platform — and the research archive readers can use to evaluate the work behind the product.
20+
peer-reviewed papers
91+
attributable citations
3
topic areas
Selected publications
-
Automatic Verification of Reduction Techniques in Higher Order Logic
2013
S. Abed, O. Ait Mohamed, G. Al Sammane — Formal Aspects of Computing (Springer)
Mechanizes correctness proofs for MDG reduction techniques inside HOL, enabling trusted model-checking workflows.
-
Reachability Analysis Using Multiway Decision Graphs in the HOL Theorem Prover
2008
S. Abed, O. Ait Mohamed, G. Al Sammane — ACM Symposium on Applied Computing (SAC)
Embeds multiway decision graphs (MDGs) inside the HOL theorem prover to scale reachability analysis beyond pure BDDs.
-
Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL
2007
G. Al Sammane, M. H. Zaki, Z. J. Dong, S. Tahar — Forum on Specification and Design Languages (FDL)
Extends the IEEE Property Specification Language (PSL) to analog and mixed-signal designs, enabling assertion-based verification in traditionally simulation-only domains.
-
A Symbolic Methodology for the Verification of Analog and Mixed Signal Designs
2007
G. Al-Sammane, M. H. Zaki, S. Tahar — Design, Automation & Test in Europe (DATE)
A symbolic framework for AMS verification that replaces exhaustive simulation with provable coverage of continuous-time behaviors.
-
TheoSim: Combining Symbolic Simulation and Theorem Proving for Hardware Verification
2004
G. Al Sammane, J. Schmaltz, D. Toma, P. Ostier, D. Borrione — Symposium on Integrated Circuits and System Design (SBCCI)
The TheoSim framework — foundational work unifying symbolic simulation with theorem proving for hardware verification. Forms the theoretical basis for combining neural simulation with symbolic reasoning under a single verification regime.
Ethics as Architecture
At QGI, ethics are not guidelines added after deployment.
They are engineered into the system itself.
Every decision is shaped by:
This is not philosophical positioning.
It is operational discipline.
Outside of QGI, Sam maintains a few personal properties covering writing, speaking, and AI ethics Q&A. These are his independent work — not part of QGI.
Connect with QGI