Award Recipient Dalal Alrajeh Imperial College London 2025 Amazon Research Award SOLAR: Symbolic Learning for Automated Requirements Consistency Research topic Automated reasoning
