“Constructive Real Numbers in the Agda Proof Assistant”, talk by Zach Murray at CQTS @ NYU Abu Dhabi