Senior Blockchain Lead @ π² | Pi Squared Inc. | Formal software systems modeling, design, and verification
- Champaign, IL
- @Mus_ab
- in/malturki
Popular repositories Loading
-
-
dbp-smc
dbp-smc PublicA Probabilistic Rewriting Model of the Hancke-Kuhn Family of Distance-bounding Protocols
Shell
-
casper-proofs
casper-proofs PublicForked from runtimeverification/casper-proofs
Coq definitions and lemmas for verification of Casper
TeX
-
-
malturki.github.io
malturki.github.io PublicForked from academicpages/academicpages.github.io
My personal website!
JavaScript
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.