Broadly interested in AI transformation, AI security & safety (control research), formal verification, vulnerability research, and AI for science.

I'm currently:

• Incubating Enclave Intelligence and Xchg Labs.
• Incoming research fellow at MATS (12.0) under Jeff Alstott.
• A visiting researcher at the AI Innovation Institute (AI3) at Stony Brook University, working on formal verification & AI safety under Lav Varshney.