I am a systems programmer, language designer, and entrepreneur. I build high-integrity tools for the future of computation and invest in the next generation of disruptive technology.

Voxlang – Verified Heterogeneous Systems Programming.

• A statically typed language built from the ground up for memory safety, formal verification (Z3), and first-class GPU-compute integration.
• Core Stack: Rust, LLVM, Z3, and GPU-Compute (HIP/CUDA).

• The Big Steppers: Co-founder of a competitive esports organization dedicated to excellence and performance.
• PukkaVC: Owner & Investor. Focused on identifying and scaling early-stage innovation.
• eventually Aimee-8b

• Interests: Language Design, Formal Verification, Systems Engineering, Venture Capital, Competitive Strategy.

• For technical inquiries or Voxlang-related issues, please contact me via: 264719186+sufiytv-dev@users.noreply.github.com
• I review all project-related feedback to ensure Voxlang remains safe, maintainable, and robust.