Autonomous & verifiable intelligent systems
How can autonomous systems interpret requirements, collaborate, and produce behavior we can meaningfully check? I explore agentic AI and autonomous software engineering, with verification as a central research question.