Interested in formal methods, software verification, distributed systems, Dafny, Scala
- Sydney
- https://franck44.github.io
Cheng JIANG
GopherJ
Rust, CUDA/SIMD, TypeScript, Solidity, Go Developer.
ZK Engineer @QEDProtocol @L2Ordinals
ex-Core @parallel-finance @para-space @Ubudu @casbin
@QEDProtocol c(x, w) = 0
René M Salvo
salvotoshi77-creator
I love technology and learning. I'd really like to see security solutions increase with touch sensitive 2fa encrypted solutions.
Salvo Enterprise
Felipe Tavares
felipetavares
People. Business. Travel. Violin. Software. Games. Electronics.
Pragma Team Sydney, Australia
Arran Stewart
arranstewart
Lecturer in the School of Computer Science and Software Engineering at the University of Western Australia
@uwa Perth, Western Australia