Jad Assaf
Physics B.S. + Math Minor @ Youngstown State University. Systems software and computational physics, compilers, kernel programming, low-latency C++, GPU-accelerated simulations, and graphics programming. If you're interested in my work or just want to contact me you can reach me on any of these below.
Copied to clipboardRecent Projects
AQUADESIC
GPU-accelerated Weakly Compressible SPH solver for real-time CFD. OpenGL compute shaders, 12,000+ particles at 60 FPS, spatial hashing.
phi
Formally verified LISP compiler in Lean 4. Proves semantic equivalence
between source AST and stack bytecode using dependent types, zero sorry.
WIP haskompile
Ahead-of-time compiler in Haskell targeting LLVM IR for native executable generation.