Invited Talk: Davi Maximo (University of Pennsylvania, USA)