Marcus Vance is a Postdoctoral Research Fellow at Aura Computing & Intelligence Lab. He holds a Ph.D. in Computer Science (focusing on Automated Reasoning & Formal Methods). His research investigates invariant synthesis for LLM-generated software and verifiable agent planning algorithms.