Broadly interested in AI security & safety (control research), formal verification, AI for science, LLMs, and self-organizing systems.

I'm currently:

• A co-founder at Enclave Intelligence.
• Doing AI security & vuln research at Xchg Labs.
• A visiting researcher at the AI Innovation Institute (AI3) at Stony Brook University, working on formal verification & AI safety.