Award Recipient Jose Renau University of California, Santa Barbara Social website googlescholar 2024 Amazon Research Award Verification Constrained Hardware Optimization using Intelligent Design Agentic Programming Research topic Generative AI
