ADA Logo

Alessandro D'Angelo

AI + Formal Methods Engineer

Working to make AI safer and provably correct.