Award Recipient Muhammad Shafique New York University Abu Dhabi 2025 Amazon Research Award AVAAS – Automated Vulnerability Analysis Through Advanced Agentic Systems Research topic Agentic AI