Jad Assaf
Physics B.S. + Math Minor @ Youngstown State University. Systems software and computational physics, compilers, kernel programming, low-latency C++, GPU-accelerated simulations, Classical Analysis & ODES, PDES, 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.
haskompile
Ahead-of-time compiler in Haskell targeting LLVM IR for native executable generation.