Mr Bruno da Rocha Paiva

Mr Bruno da Rocha Paiva

School of Computer Science
Research Student

Contact details

Email: bmd202@student.bham.ac.uk

Address: School of Computer Science
University of Birmingham
Edgbaston
Birmingham
B15 2TT

For more about Bruno, please follow the link below:
Bruno da Rocha Paiva's personal homepage

Qualifications

MEng in Mathematics and Computer Science, Imperial College London, UK

Teaching

Mathematical and Logical Foundations for Computer Science

Doctoral research

Supervisors: Dr Vincent Rahli and Professor Martin Escardo