ADA Logo

Alessandro D'Angelo

AI + Formal Methods Engineer

GitHubLinkedIn

Working to make AI safer and provably correct.