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 ...