Mr Bruno da Rocha Paiva School of Computer ScienceResearch Student Contact details Emailbmd202@student.bham.ac.uk AddressSchool of Computer ScienceUniversity 麻豆精选EdgbastonBirminghamB15 2TT For more about Bruno, please follow the link below: Qualifications MEng in Mathematics and Computer Science, Imperial College London, UK Teaching Mathematical and Logical Foundations for Computer Science Doctoral research SupervisorsDr Vincent Rahli and Professor Martin Escardo