Public research university in College Park.
AI safety researcher and Programme Director at ARIA, leading a £59M Safeguarded AI programme focused on formal verification and mathematical guaran...