Interest Areas

Things that I'm currently interested in / researching / actively working on:

• Security tooling, specifically for
  • Program analysis
  • Automatic fuzzing
• TEE programming
• LLM evaluation harnesses
• RAG systems tailored for small to medium enterprises
• Formally verified, sandboxed WASM state machines with instruction-level instrumentation