• Hi, I’m @Izzimach

• 👀 I’m interested in ...

  • High-performance graphics
  • Writing concurrent/multithreaded programs
  • Ways to making sure concurrent/multithreaded programs don't deadlock or have race conditions
  • Distributed consensus that doesn't involve crypto/NFTs

• I’m currently learning ...

  • The Lean 4 theorem prover
  • Model checking of programs
  • Formal verification of (some) programs

• 💞️ I’m looking to collaborate on ...

  • Model checking or verification of OpenGL/Vulkan programs
  • Visualization of transition systems for Lean 4 in VS Code

• 📫 How to reach me ...

Mastodon: @Izzimach@c.im